Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Resolution_proof_reduction_via_local_context_rewriting> ?p ?o }
Showing triples 1 to 28 of
28
with 100 triples per page.
- Resolution_proof_reduction_via_local_context_rewriting wikiPageID "35307890".
- Resolution_proof_reduction_via_local_context_rewriting wikiPageLength "10458".
- Resolution_proof_reduction_via_local_context_rewriting wikiPageOutDegree "12".
- Resolution_proof_reduction_via_local_context_rewriting wikiPageRevisionID "632209691".
- Resolution_proof_reduction_via_local_context_rewriting wikiPageWikiLink Category:Proof_theory.
- Resolution_proof_reduction_via_local_context_rewriting wikiPageWikiLink Directed_acyclic_graph.
- Resolution_proof_reduction_via_local_context_rewriting wikiPageWikiLink Heuristic.
- Resolution_proof_reduction_via_local_context_rewriting wikiPageWikiLink Mathematical_logic.
- Resolution_proof_reduction_via_local_context_rewriting wikiPageWikiLink Proof_compression.
- Resolution_proof_reduction_via_local_context_rewriting wikiPageWikiLink Proof_theory.
- Resolution_proof_reduction_via_local_context_rewriting wikiPageWikiLink RecyclePivots.
- Resolution_proof_reduction_via_local_context_rewriting wikiPageWikiLink Resolution_(logic).
- Resolution_proof_reduction_via_local_context_rewriting wikiPageWikiLink Resolution_graph.
- Resolution_proof_reduction_via_local_context_rewriting wikiPageWikiLink Rewriting.
- Resolution_proof_reduction_via_local_context_rewriting wikiPageWikiLink Topological_sorting.
- Resolution_proof_reduction_via_local_context_rewriting wikiPageWikiLinkText "Reduce&Reconstruct".
- Resolution_proof_reduction_via_local_context_rewriting wikiPageUsesTemplate Template:EquationNote.
- Resolution_proof_reduction_via_local_context_rewriting wikiPageUsesTemplate Template:EquationRef.
- Resolution_proof_reduction_via_local_context_rewriting wikiPageUsesTemplate Template:NumBlk.
- Resolution_proof_reduction_via_local_context_rewriting wikiPageUsesTemplate Template:Reflist.
- Resolution_proof_reduction_via_local_context_rewriting subject Category:Proof_theory.
- Resolution_proof_reduction_via_local_context_rewriting type Proof.
- Resolution_proof_reduction_via_local_context_rewriting label "Resolution proof reduction via local context rewriting".
- Resolution_proof_reduction_via_local_context_rewriting sameAs Q7315700.
- Resolution_proof_reduction_via_local_context_rewriting sameAs m.0j7k59z.
- Resolution_proof_reduction_via_local_context_rewriting sameAs Q7315700.
- Resolution_proof_reduction_via_local_context_rewriting wasDerivedFrom Resolution_proof_reduction_via_local_context_rewriting?oldid=632209691.
- Resolution_proof_reduction_via_local_context_rewriting isPrimaryTopicOf Resolution_proof_reduction_via_local_context_rewriting.