Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/Models_And_Counter-Examples> ?p ?o }
Showing triples 1 to 27 of
27
with 100 triples per page.
- Models_And_Counter-Examples abstract "Mace stands for "Models And Counter-Examples", and is an automated theorem prover based on model generation It is GNU GPL licensed.".
- Models_And_Counter-Examples wikiPageExternalLink mace4.
- Models_And_Counter-Examples wikiPageID "32501004".
- Models_And_Counter-Examples wikiPageLength "585".
- Models_And_Counter-Examples wikiPageOutDegree "5".
- Models_And_Counter-Examples wikiPageRevisionID "473492561".
- Models_And_Counter-Examples wikiPageWikiLink Automated_theorem_proving.
- Models_And_Counter-Examples wikiPageWikiLink Category:Free_software.
- Models_And_Counter-Examples wikiPageWikiLink Category:Free_theorem_provers.
- Models_And_Counter-Examples wikiPageWikiLink Model_generation.
- Models_And_Counter-Examples wikiPageWikiLink Otter_(theorem_prover).
- Models_And_Counter-Examples wikiPageWikiLinkText "MACE".
- Models_And_Counter-Examples wikiPageWikiLinkText "Models And Counter-Examples".
- Models_And_Counter-Examples hasPhotoCollection Models_And_Counter-Examples.
- Models_And_Counter-Examples wikiPageUsesTemplate Template:Logic-stub.
- Models_And_Counter-Examples wikiPageUsesTemplate Template:Reflist.
- Models_And_Counter-Examples subject Category:Free_software.
- Models_And_Counter-Examples subject Category:Free_theorem_provers.
- Models_And_Counter-Examples hypernym Prover.
- Models_And_Counter-Examples type Software.
- Models_And_Counter-Examples comment "Mace stands for "Models And Counter-Examples", and is an automated theorem prover based on model generation It is GNU GPL licensed.".
- Models_And_Counter-Examples label "Models And Counter-Examples".
- Models_And_Counter-Examples sameAs m.0h1f9m1.
- Models_And_Counter-Examples sameAs Q16905864.
- Models_And_Counter-Examples sameAs Q16905864.
- Models_And_Counter-Examples wasDerivedFrom Models_And_Counter-Examples?oldid=473492561.
- Models_And_Counter-Examples isPrimaryTopicOf Models_And_Counter-Examples.