About: dbkwik:resource/-sp8129-ZSEF4g6u8jKEqQ==   Sponge Permalink

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

AttributesValues
rdfs:label
  • Rh/Sätze ohne Quellenangabe/Daten
rdfs:comment
  • In der Tabelle unten werden die folgenden Abkürzungen verwendet: * Nr: Nummerierung der Aussage * S.: Seite auf der die Aussage zu finden ist * Typ: Typ der Aussage * Be: das Feld ist nur für Aussagen der Typen: Theorem, Proposition, Lemma und Corollary ausgefüllt: * "1"= auf einen Beweis wurde verwiesen. * "2"= ein Beweis findet sich in der Dissertation. * Qu: "1"= eine Quelle für die Aussage ist angegeben. * Na: "1"= die Aussage hat einen Namen. * Beweisort: Hier wird angegeben, wo sich der Beweis befindet * Quelle: Hier wird die, oder eine mögliche Quelle des Satzes angegeben (selbst wenn sie in der Dissertation nicht angegeben ist) * Name: Hier wird der Name des Satzes angegeben falls er angegeben ist. * Kommentar: Alles Bemerkenswerte zu
dcterms:subject
abstract
  • In der Tabelle unten werden die folgenden Abkürzungen verwendet: * Nr: Nummerierung der Aussage * S.: Seite auf der die Aussage zu finden ist * Typ: Typ der Aussage * Be: das Feld ist nur für Aussagen der Typen: Theorem, Proposition, Lemma und Corollary ausgefüllt: * "1"= auf einen Beweis wurde verwiesen. * "2"= ein Beweis findet sich in der Dissertation. * Qu: "1"= eine Quelle für die Aussage ist angegeben. * Na: "1"= die Aussage hat einen Namen. * Beweisort: Hier wird angegeben, wo sich der Beweis befindet * Quelle: Hier wird die, oder eine mögliche Quelle des Satzes angegeben (selbst wenn sie in der Dissertation nicht angegeben ist) * Name: Hier wird der Name des Satzes angegeben falls er angegeben ist. * Kommentar: Alles Bemerkenswerte zum Satz
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