Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Models_And_Counter-Examples> ?p ?o }
Showing triples 1 to 25 of
25
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 Prover9.
- Models_And_Counter-Examples wikiPageWikiLinkText "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 Q16905864.
- Models_And_Counter-Examples sameAs m.0h1f9m1.
- 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.