Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Models_And_Counter-Examples> ?p ?o. }
Showing items 1 to 14 of
14
with 100 items 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 wikiPageRevisionID "473492561".
- Models_And_Counter-Examples hasPhotoCollection Models_And_Counter-Examples.
- Models_And_Counter-Examples subject Category:Free_software.
- Models_And_Counter-Examples subject Category:Free_theorem_provers.
- 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.