About: Model elimination

An Entity of Type: Thing, from Named Graph: http://dbpedia.org, within Data Space: dbpedia.org

unknown

Property	Value
dbo:wikiPageExternalLink	https://link.springer.com/chapter/10.1007/978-3-642-81955-1_8
dbo:wikiPageWikiLink	dbr:Logic_programming dbr:Resolution_(logic) dbr:Prolog dbr:Automated_theorem_proving dbc:Logical_calculi dbr:Donald_W._Loveland dbc:Logic_in_computer_science dbr:Proof_procedure dbc:Automated_theorem_proving dbr:Method_of_analytic_tableaux dbr:SLD_resolution dbr:Disjunctive_logic_programming
dct:subject	dbc:Logical_calculi dbc:Logic_in_computer_science dbc:Automated_theorem_proving
gold:hypernym	dbr:Name
rdfs:label	Model elimination (en)
owl:sameAs	freebase:Model elimination wikidata:Model elimination dbpedia-global:Model elimination
prov:wasDerivedFrom	wikipedia-en:Model_elimination?oldid=1180455594&ns=0
foaf:isPrimaryTopicOf	wikipedia-en:Model_elimination
is dbo:wikiPageWikiLink of	dbr:Automated_theorem_proving dbr:Donald_W._Loveland
is foaf:primaryTopic of	wikipedia-en:Model_elimination

This content was extracted from Wikipedia and is licensed under the Creative Commons Attribution-ShareAlike 4.0 International