Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Redundant_proof> ?p ?o. }
Showing items 1 to 11 of
11
with 100 items per page.
- Redundant_proof abstract "A proof of is considered redundant if there exists another proof of such that (i.e. ) and where is the number of nodes in .".
- Redundant_proof wikiPageID "42158532".
- Redundant_proof wikiPageRevisionID "603231245".
- Redundant_proof subject Category:Proof_theory.
- Redundant_proof comment "A proof of is considered redundant if there exists another proof of such that (i.e. ) and where is the number of nodes in .".
- Redundant_proof label "Redundant proof".
- Redundant_proof sameAs m.0_yfc_j.
- Redundant_proof sameAs Q15964428.
- Redundant_proof sameAs Q15964428.
- Redundant_proof wasDerivedFrom Redundant_proof?oldid=603231245.
- Redundant_proof isPrimaryTopicOf Redundant_proof.