About: Proof compression

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

unknown

Property	Value
dbo:wikiPageWikiLink	dbr:RecycleUnits dbr:Sequent_calculus dbr:Resolution_(logic) dbr:Resolution_inference dbc:Proof_theory dbr:Automated_theorem_proving dbr:Proof_assistant dbr:Proof_theory dbr:Propositional_logic dbr:Directed_acyclic_graph dbr:SAT_solver dbr:Algorithm dbr:Mathematical_logic dbr:Resolution_proof_compression_by_splitting dbr:Resolution_proof_reduction_via_local_context_rewriting dbr:LowerUnivalents dbr:First-order_theorem_provers dbr:LowerUnits dbr:Cut-elimination dbr:SMT_solver dbr:Cut-introduction dbr:RecyclePivots dbr:RecyclePivotsWithIntersection dbr:Subsumption_(logic)
dbp:wikiPageUsesTemplate	dbt:Reflist
dct:subject	dbc:Proof_theory
gold:hypernym	dbr:Problem
rdfs:label	Proof compression (en)
owl:sameAs	freebase:Proof compression wikidata:Proof compression dbpedia-global:Proof compression
prov:wasDerivedFrom	wikipedia-en:Proof_compression?oldid=1206721463&ns=0
foaf:isPrimaryTopicOf	wikipedia-en:Proof_compression
is dbo:wikiPageWikiLink of	dbr:Automated_theorem_proving dbr:Resolution_proof_compression_by_splitting dbr:Resolution_proof_reduction_via_local_context_rewriting dbr:LowerUnivalents dbr:LowerUnits
is foaf:primaryTopic of	wikipedia-en:Proof_compression

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