About: List of proofs   Sponge Permalink

An Entity of Type : owl:Thing, within Data Space : 134.155.108.49:8890 associated with source dataset(s)

This page is designed to list proofs contained within the site. Proofs contain links to content articles, but they also contain links to other proofs. It is important to remain conscious of the origins of each mathematical identity. Contributors should refrain from referencing more complex concepts as the basis for lesser ones. Proofs should not be circular. No assumptions should be made. All proofs should refer to prerequisite concepts, and their proofs. For the article on the definition of a proof and proof technique, see Proofs.

AttributesValues
rdfs:label
  • List of proofs
rdfs:comment
  • This page is designed to list proofs contained within the site. Proofs contain links to content articles, but they also contain links to other proofs. It is important to remain conscious of the origins of each mathematical identity. Contributors should refrain from referencing more complex concepts as the basis for lesser ones. Proofs should not be circular. No assumptions should be made. All proofs should refer to prerequisite concepts, and their proofs. For the article on the definition of a proof and proof technique, see Proofs.
dcterms:subject
abstract
  • This page is designed to list proofs contained within the site. Proofs contain links to content articles, but they also contain links to other proofs. It is important to remain conscious of the origins of each mathematical identity. Contributors should refrain from referencing more complex concepts as the basis for lesser ones. Proofs should not be circular. No assumptions should be made. All proofs should refer to prerequisite concepts, and their proofs. For the article on the definition of a proof and proof technique, see Proofs.
Alternative Linked Data Views: ODE     Raw Data in: CXML | CSV | RDF ( N-Triples N3/Turtle JSON XML ) | OData ( Atom JSON ) | Microdata ( JSON HTML) | JSON-LD    About   
This material is Open Knowledge   W3C Semantic Web Technology [RDF Data] Valid XHTML + RDFa
OpenLink Virtuoso version 07.20.3217, on Linux (x86_64-pc-linux-gnu), Standard Edition
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2012 OpenLink Software