Programmextraktion Schlagwort sensu stricto Schlagwort
JSON

Ein aus einem konstruktiven Beweis automatisch extrahiertes Programm ist aufgrund seiner Herkunft ebenfalls korrekt.

URI https://d-nb.info/gnd/4834338-9
EntitätstypSchlagwort sensu stricto
GND-Nummer4834338-9
GND-SachgruppeInformatik, Datenverarbeitung  | Mathematik 
In Beziehung stehende Dewey-Dezimalklassifikation mit Determiniertheitsgrad 1http://dewey.info/class/005.1015113/ 
Varianter NameExtraktion von Programmen aus Beweisen
Siehe auchDeutsche Nationalbibliothek (DNB) Deutsche Nationalbibliothek (DNB)

Datenquelle: DNB Linked-Data-Service (RDF/XML, Turtle) | CC0

Datenquelle: DNB Linked-Data-Service (RDF/XML, Turtle) | CC0

NRW-Wappen   lobid-gnd | ein Dienst des hbz Gewährleistung | Impressum | Datenschutz | Mastodon  GitHub  Blog