About: Resolution proof compression by splitting

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

unknown

Property	Value
dbo:wikiPageWikiLink	dbr:Resolution_(logic) dbc:Proof_theory dbr:Proof_compression dbr:Algorithm dbr:Mathematical_logic
dbp:wikiPageUsesTemplate	dbt:Reflist dbt:Single_source
dct:subject	dbc:Proof_theory
rdfs:label	Resolution proof compression by splitting (en)
owl:sameAs	freebase:Resolution proof compression by splitting wikidata:Resolution proof compression by splitting dbpedia-global:Resolution proof compression by splitting
prov:wasDerivedFrom	wikipedia-en:Resolution_proof_compression_by_splitting?oldid=1289429868&ns=0
foaf:isPrimaryTopicOf	wikipedia-en:Resolution_proof_compression_by_splitting
is dbo:wikiPageWikiLink of	dbr:Proof_compression
is foaf:primaryTopic of	wikipedia-en:Resolution_proof_compression_by_splitting

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