Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Proof_assistent> ?p ?o. }
Showing items 1 to 7 of
7
with 100 items per page.
- Proof_assistent wikiPageID "16254746".
- Proof_assistent wikiPageRedirects Automated_theorem_proving.
- Proof_assistent wikiPageRevisionID "197685978".
- Proof_assistent label "Proof assistent".
- Proof_assistent sameAs m.0_8m.
- Proof_assistent wasDerivedFrom Proof_assistent?oldid=197685978.
- Proof_assistent isPrimaryTopicOf Proof_assistent.