This HTML5 document contains 11 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

PrefixIRI
dbnary-deuhttp://kaiko.getalp.org/dbnary/deu/
dbnaryhttp://kaiko.getalp.org/dbnary#
skoshttp://www.w3.org/2004/02/skos/core#
ontolexhttp://www.w3.org/ns/lemon/ontolex#
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
xsdhhttp://www.w3.org/2001/XMLSchema#

Statements

Subject Item
dbnary-deu:__ws_1_Schleifensatz__Substantiv__1
rdf:type
ontolex:LexicalSense
dbnary:hypernym
dbnary-deu:Satz dbnary-deu:Theorem dbnary-deu:Lemma dbnary-deu:Hilfssatz
dbnary:senseNumber
1
dbnary:synonym
dbnary-deu:Pumping-Lemma
skos:definition
_:vb1212053
skos:example
_:vb1212054
Subject Item
_:vb1212053
rdf:value
Informatik, Theorie formaler Sprachen: Satz über die Eigenschaft bestimmter Sprachklassen, ab einer gewissen Wortlänge nur Wörter mit beliebig wiederholbaren Teilstrings zu enthalten
Subject Item
_:vb1212054
rdf:value
Für reguläre Sprachen und für kontextfreie Sprachen gilt jeweils ein spezieller Schleifensatz.