OpenLink Software

Usage stats on List of proofs

 Permalink

an Entity in Data Space: 134.155.108.49:8890

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.

Graph IRICount
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] This material is Open Knowledge Creative Commons License Valid XHTML + RDFa
This work is licensed under a Creative Commons Attribution-Share Alike 3.0 Unported License.
OpenLink Virtuoso version 07.20.3217, on Linux (x86_64-pc-linux-gnu), Standard Edition
Copyright © 2009-2012 OpenLink Software