Toggle navigation
Faceted Browser
Sparql Endpoint
Browse using
OpenLink Faceted Browser
OpenLink Structured Data Editor
LodLive Browser
Formats
RDF:
N-Triples
N3/Turtle
JSON
XML
OData:
Atom
JSON
Microdata:
JSON
HTML
Embedded:
JSON
Turtle
CSV
JSON-LD
About:
Theoretische Informatik
An Entity of Type :
Concept
, from Named Graph :
http://de.dbpedia.org
, within Data Space :
de.dbpedia.org
Property
Value
dbo:
wikiPageID
236723
(xsd:integer)
dbo:
wikiPageRevisionID
133534826
(xsd:integer)
rdf:
type
skos
:Concept
rdfs:
label
Theoretische Informatik
(de)
Theoretische Informatik
(de)
owl:
sameAs
dbc
:Theoretische Informatik
wikidata
:Theoretische Informatik
dbpedia-cs
:Theoretische Informatik
dbpedia-el
:Theoretische Informatik
dbpedia-es
:Theoretische Informatik
dbpedia-eu
:Theoretische Informatik
dbpedia-fr
:Theoretische Informatik
dbpedia-it
:Theoretische Informatik
dbpedia-ja
:Theoretische Informatik
dbpedia-ko
:Theoretische Informatik
dbpedia-nl
:Theoretische Informatik
dbpedia-pt
:Theoretische Informatik
dbpedia-wikidata
:Theoretische Informatik
skos:
broader
category-de
:Informatik_nach_Fachgebiet
skos:
prefLabel
Theoretische Informatik
(de)
Theoretische Informatik
(de)
prov:
wasDerivedFrom
wikipedia-de
:Kategorie:Theoretische_Informatik?oldid=133534826
is
dct:
subject
of
dbpedia-de
:Parameterinferenzproblem
dbpedia-de
:Warteschlangen-Petri-Netz
dbpedia-de
:Amortisierte_Laufzeitanalyse
dbpedia-de
:Bit
dbpedia-de
:Code
dbpedia-de
:Datenabhängigkeit
dbpedia-de
:Endrekursion
dbpedia-de
:Gödel,_Escher,_Bach
dbpedia-de
:Kolmogorow-Komplexität
dbpedia-de
:Prüfsumme
dbpedia-de
:Regulärer_Ausdruck
dbpedia-de
:Theoretische_Informatik
dbpedia-de
:Verifizierung
dbpedia-de
:Amdahlsches_Gesetz
dbpedia-de
:Approximation
dbpedia-de
:Formale_Semantik
dbpedia-de
:Funktion_höherer_Ordnung
dbpedia-de
:Suchproblem
dbpedia-de
:Denotationelle_Semantik
dbpedia-de
:Instanz_(Informatik)
dbpedia-de
:Konstruktive_Mathematik
dbpedia-de
:Operationelle_Semantik
dbpedia-de
:Petri-Netz
dbpedia-de
:Quine_(Computerprogramm)
dbpedia-de
:Aggregat-Methode
dbpedia-de
:Akkumulatorrechner
dbpedia-de
:Datenmenge
dbpedia-de
:Infiniter_Regress
dbpedia-de
:Nichtdeterminismus
dbpedia-de
:Partielle_Funktion
dbpedia-de
:Potentialfunktionmethode
dbpedia-de
:Account-Methode
dbpedia-de
:Cantorsche_Paarungsfunktion
dbpedia-de
:Communicating_Sequential_Processes
dbpedia-de
:Effizienz_(Informatik)
dbpedia-de
:Entität_(Informatik)
dbpedia-de
:Korrektheit_(Informatik)
dbpedia-de
:Logische_Uhr
dbpedia-de
:Model_Checking
dbpedia-de
:Nachbedingung_(Informatik)
dbpedia-de
:Relationale_Algebra
dbpedia-de
:Strukturelle_Induktion
dbpedia-de
:Symbolsequenz
dbpedia-de
:Syntaxdiagramm
dbpedia-de
:Vektoruhr
dbpedia-de
:Verfeinerung
dbpedia-de
:Vorbedingung_(Informatik)
dbpedia-de
:Zahlenfunktion
dbpedia-de
:Chaitinsche_Konstante
dbpedia-de
:Currying
dbpedia-de
:Happened-Before
dbpedia-de
:Informatische_Modellierung
dbpedia-de
:Maschinenzahl
dbpedia-de
:Pruning
dbpedia-de
:Stephen_Cole_Kleene
dbpedia-de
:Turtle-Grafik
dbpedia-de
:Axiomatische_Semantik
dbpedia-de
:Entscheidbar
dbpedia-de
:Faltungscode
dbpedia-de
:Formale_Methode
dbpedia-de
:Konkatenation_(Mengen)
dbpedia-de
:Markow-Algorithmus
dbpedia-de
:Parallel_Random_Access_Machine
dbpedia-de
:Additionskette
dbpedia-de
:Attributsgewichtung
dbpedia-de
:Korrekt_gestelltes_Problem
dbpedia-de
:Maschinensemantik
dbpedia-de
:Moore-Nachbarschaft
dbpedia-de
:Produktionssystem_(Informatik)
dbpedia-de
:Relief-Algorithmus
dbpedia-de
:Von-Neumann-Nachbarschaft
dbpedia-de
:Atomar
dbpedia-de
:Entscheidungstabelle
dbpedia-de
:Nummerung
dbpedia-de
:Universalrechner
dbpedia-de
:Kurzschlussauswertung
dbpedia-de
:Schnittregel
dbpedia-de
:Union-Find-Struktur
dbpedia-de
:Standardnummerierung
dbpedia-de
:Luhn-Algorithmus
dbpedia-de
:Prozesskalkül
dbpedia-de
:BCH-Code
dbpedia-de
:Erzeugungssystem
dbpedia-de
:Post-Kalkül
dbpedia-de
:Rangfunktion_(Informatik)
dbpedia-de
:Abstiegsfunktion
dbpedia-de
:Lexikographische_Ordnung
dbpedia-de
:Termalgebra
dbpedia-de
:Bootstrapping_(Informatik)
dbpedia-de
:Buddy-Speicherverwaltung
dbpedia-de
:Ehrenfeucht-Fraïssé-Spiele
dbpedia-de
:Diamond_Lemma
dbpedia-de
:Termersetzungssystem
dbpedia-de
:Mautproblem
dbpedia-de
:Tupel_(Informatik)
dbpedia-de
:Ban_(Einheit)
dbpedia-de
:Präfixsumme
dbpedia-de
:Josephus-Problem
dbpedia-de
:Markow-Entscheidungsproblem
dbpedia-de
:Kachelproblem
dbpedia-de
:Gustafsons_Gesetz
dbpedia-de
:Pi-Kalkül
dbpedia-de
:Reduktionssystem
dbpedia-de
:Alloy_Analyzer
dbpedia-de
:Time-Memory_Tradeoff
dbpedia-de
:Tseitin-Transformation
dbpedia-de
:Typinferenz_nach_Hindley-Milner
dbpedia-de
:Netze_in_Netzen_(Petrinetze)
dbpedia-de
:Lowest_Common_Ancestor
dbpedia-de
:Kommunikationskomplexität
dbpedia-de
:Externspeichermodell
dbpedia-de
:Class_Precedence_List
dbpedia-de
:UPPAAL
dbpedia-de
:PlusCal
is
skos:
broader
of
category-de
:Berechenbarkeitstheorie
category-de
:Compilerbau
category-de
:Graphentheorie
category-de
:Informationstheorie
category-de
:Komplexitätstheorie
category-de
:Kryptologie
category-de
:Optimierung
category-de
:Quanteninformatik
category-de
:Theorie_formaler_Sprachen
category-de
:Ungelöstes_Problem_der_Informatik
category-de
:Typentheorie
