Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Resolution_proof_compression_by_splitting> ?p ?o }
Showing triples 1 to 19 of
19
with 100 triples per page.
- Resolution_proof_compression_by_splitting wikiPageID "35307933".
- Resolution_proof_compression_by_splitting wikiPageLength "3394".
- Resolution_proof_compression_by_splitting wikiPageOutDegree "5".
- Resolution_proof_compression_by_splitting wikiPageRevisionID "684611748".
- Resolution_proof_compression_by_splitting wikiPageWikiLink Algorithm.
- Resolution_proof_compression_by_splitting wikiPageWikiLink Category:Proof_theory.
- Resolution_proof_compression_by_splitting wikiPageWikiLink Mathematical_logic.
- Resolution_proof_compression_by_splitting wikiPageWikiLink Proof_compression.
- Resolution_proof_compression_by_splitting wikiPageWikiLink Resolution_(logic).
- Resolution_proof_compression_by_splitting wikiPageWikiLinkText "Split".
- Resolution_proof_compression_by_splitting wikiPageUsesTemplate Template:Reflist.
- Resolution_proof_compression_by_splitting subject Category:Proof_theory.
- Resolution_proof_compression_by_splitting type Proof.
- Resolution_proof_compression_by_splitting label "Resolution proof compression by splitting".
- Resolution_proof_compression_by_splitting sameAs Q7315698.
- Resolution_proof_compression_by_splitting sameAs m.0j7j1tl.
- Resolution_proof_compression_by_splitting sameAs Q7315698.
- Resolution_proof_compression_by_splitting wasDerivedFrom Resolution_proof_compression_by_splitting?oldid=684611748.
- Resolution_proof_compression_by_splitting isPrimaryTopicOf Resolution_proof_compression_by_splitting.