About: theorem

Description
Metadata
Settings
- owl:sameAs
- Inference Rule:

About: theorem Sponge Permalink

An Entity of Type : owl:Thing, within Data Space : webisadb.webdatacommons.org associated with source dataset(s)

Attributes	Values
rdfs:label	theorem
sameAs	dbr:Theorem
skos:broader	red herring application change concept effort example group method one point problem reference result statement subset theory thing topic way algorithm consequence environment map characterization inequality ive test fact function interest line logic proof question rule solution time tool unique solution mathematician paragraph proposition theorem mathematical structure important result infinite number of prime number of prime number know result result in the foundation classical result mathematical result generalization of result
has head	theorem
is skos:broader of	textbook http a answer anyone example group however is law method object one order place point problem result something statement system theory analysis new topology reader corollary other word addition case fact function logic name proof question then time type well constitution definition existence hypothesis particular

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