Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/Proof_compression> ?p ?o }
Showing triples 1 to 49 of
49
with 100 triples per page.
- Proof_compression abstract "In proof theory, an area of mathematical logic, proof compression is the problem of algorithmically compressing formal proofs. The developed algorithms can be used to improve the proofs generated by automated theorem proving tools such as sat-solvers, SMT-solvers, first-order theorem provers and proof assistants.".
- Proof_compression wikiPageID "35066763".
- Proof_compression wikiPageLength "5807".
- Proof_compression wikiPageOutDegree "25".
- Proof_compression wikiPageRevisionID "683617033".
- Proof_compression wikiPageWikiLink Algorithm.
- Proof_compression wikiPageWikiLink Automated_theorem_proving.
- Proof_compression wikiPageWikiLink Boolean_satisfiability_problem.
- Proof_compression wikiPageWikiLink Category:Proof_theory.
- Proof_compression wikiPageWikiLink Cut-elimination.
- Proof_compression wikiPageWikiLink Cut-elimination_theorem.
- Proof_compression wikiPageWikiLink Cut-introduction.
- Proof_compression wikiPageWikiLink Directed_acyclic_graph.
- Proof_compression wikiPageWikiLink First-order_theorem_provers.
- Proof_compression wikiPageWikiLink LowerUnits.
- Proof_compression wikiPageWikiLink LowerUnivalents.
- Proof_compression wikiPageWikiLink Mathematical_logic.
- Proof_compression wikiPageWikiLink Proof_assistant.
- Proof_compression wikiPageWikiLink Proof_theory.
- Proof_compression wikiPageWikiLink Propositional_calculus.
- Proof_compression wikiPageWikiLink Propositional_logic.
- Proof_compression wikiPageWikiLink RecyclePivots.
- Proof_compression wikiPageWikiLink RecyclePivotsWithIntersection.
- Proof_compression wikiPageWikiLink RecycleUnits.
- Proof_compression wikiPageWikiLink Resolution_(logic).
- Proof_compression wikiPageWikiLink Resolution_inference.
- Proof_compression wikiPageWikiLink Resolution_proof_compression_by_splitting.
- Proof_compression wikiPageWikiLink Resolution_proof_reduction_via_local_context_rewriting.
- Proof_compression wikiPageWikiLink SAT_solver.
- Proof_compression wikiPageWikiLink SMT_solver.
- Proof_compression wikiPageWikiLink Satisfiability_modulo_theories.
- Proof_compression wikiPageWikiLink Sequent_calculus.
- Proof_compression wikiPageWikiLink Subsumption_(logic).
- Proof_compression wikiPageWikiLinkText "proof compression".
- Proof_compression wikiPageWikiLinkText "proof reduction".
- Proof_compression hasPhotoCollection Proof_compression.
- Proof_compression wikiPageUsesTemplate Template:Mathlogic-stub.
- Proof_compression wikiPageUsesTemplate Template:Reflist.
- Proof_compression subject Category:Proof_theory.
- Proof_compression hypernym Problem.
- Proof_compression type Disease.
- Proof_compression type Proof.
- Proof_compression comment "In proof theory, an area of mathematical logic, proof compression is the problem of algorithmically compressing formal proofs. The developed algorithms can be used to improve the proofs generated by automated theorem proving tools such as sat-solvers, SMT-solvers, first-order theorem provers and proof assistants.".
- Proof_compression label "Proof compression".
- Proof_compression sameAs m.0j66vrg.
- Proof_compression sameAs Q7250001.
- Proof_compression sameAs Q7250001.
- Proof_compression wasDerivedFrom Proof_compression?oldid=683617033.
- Proof_compression isPrimaryTopicOf Proof_compression.