About: Mathematical proofs

Facets (new session)
Description
Metadata
Settings
- owl:sameAs
- Inference Rule:

About: Mathematical proofs Goto Sponge NotDistinct Permalink

An Entity of Type : owl:Thing, within Data Space : wasabi.inria.fr associated with source document(s)

Attributes	Values
label	Mathematical proofs
has broader	Mathematics
described by	https://covidontheweb.inria.fr:4443/about/id/entity/http/dbpedia.org/resource/Category:Proof_theory https://covidontheweb.inria.fr:4443/about/id/entity/http/dbpedia.org/resource/Category:Mathematics
has related	Proof theory
is has broader of	Proof theory
is topic of	Mathematics Proof theory
is subject of	Theorem Commutative diagram Proof by exhaustion Proofs from THE BOOK Mathematical proof Constructive proof Probabilistic method Proof of impossibility Q.E.D. Structural induction
is dbo:wikiPageWikiLink of	Proofs from THE BOOK Q.E.D.

Faceted Search & Find service v1.13.91 as of Mar 24 2020

Alternative Linked Data Documents: Sponger | ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 07.20.3229 as of Jul 10 2020, on Linux (x86_64-pc-linux-gnu), Single-Server Edition (94 GB total memory)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2025 OpenLink Software