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

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

Namespace Prefixes

PrefixIRI
dctermshttp://purl.org/dc/terms/
dbohttp://dbpedia.org/ontology/
foafhttp://xmlns.com/foaf/0.1/
dbpedia-eshttp://es.dbpedia.org/resource/
n20https://global.dbpedia.org/id/
yagohttp://dbpedia.org/class/yago/
schemahttp://schema.org/
dbthttp://dbpedia.org/resource/Template:
rdfshttp://www.w3.org/2000/01/rdf-schema#
freebasehttp://rdf.freebase.com/ns/
dbpedia-pthttp://pt.dbpedia.org/resource/
dbpedia-cshttp://cs.dbpedia.org/resource/
dbpedia-fahttp://fa.dbpedia.org/resource/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
owlhttp://www.w3.org/2002/07/owl#
wikipedia-enhttp://en.wikipedia.org/wiki/
dbphttp://dbpedia.org/property/
provhttp://www.w3.org/ns/prov#
dbchttp://dbpedia.org/resource/Category:
xsdhhttp://www.w3.org/2001/XMLSchema#
wikidatahttp://www.wikidata.org/entity/
goldhttp://purl.org/linguistics/gold/
dbrhttp://dbpedia.org/resource/
n12https://web.archive.org/web/20091207092823/http:/www.scs.leeds.ac.uk/hill/GOEDEL/

Statements

Subject Item
dbr:Prolog
dbo:wikiPageWikiLink
dbr:Gödel_(programming_language)
Subject Item
dbr:List_of_programming_languages
dbo:wikiPageWikiLink
dbr:Gödel_(programming_language)
Subject Item
dbr:Logic_programming
dbo:wikiPageWikiLink
dbr:Gödel_(programming_language)
Subject Item
dbr:Godel_(disambiguation)
dbo:wikiPageWikiLink
dbr:Gödel_(programming_language)
Subject Item
dbr:Gödel_(programming_language)
rdf:type
wikidata:Q9143 owl:Thing yago:ProgrammingLanguage106898352 dbo:Language yago:Language106282651 dbo:ProgrammingLanguage yago:WikicatProgrammingLanguages yago:Communication100033020 yago:Abstraction100002137 wikidata:Q315 schema:Language yago:ArtificialLanguage106894544
rdfs:label
Gödel (linguagem de programação) Gödel (lenguaje de programación) Gödel (programming language) Gödel (programovací jazyk)
rdfs:comment
Gödel é um linguagem de programação declarativa, de propósito geral que adere ao paradigma lógico. É uma linguagem fortemente tipada, o sistema de tipos é baseado em muitos ordenados da lógica com polimorfismo paramétrico. Seu nome é uma homenagem ao lógico Kurt Gödel. Gödel je v informatice deklarativní a všestranně použitelný programovací jazyk, který dodržuje logické programovací paradigma. Jedná se o silně typový jazyk, jehož systém je založen na mnohotříděné logice s parametrickým polymorfismem. Jazyk je pojmenován po logikovi Kurtu Gödelovi. Gödel es un lenguaje de programación declarativo, de propósito general, adherido al paradigma de la programación lógica. Es un lenguaje fuertemente tipado, con un sistema de tipos basado en many-sorted logic con polimorfismo parametrizado. Se le dio ese nombre en honor al lógico Kurt Gödel. Gödel is a declarative, general-purpose programming language that adheres to the logic programming paradigm. It is a strongly typed language, the type system being based on many-sorted logic with parametric polymorphism. It is named after logician Kurt Gödel.
foaf:name
Gödel
dbp:name
Gödel
dcterms:subject
dbc:Logic_programming_languages dbc:Programming_languages_created_in_1992 dbc:Programming_languages_created_by_women
dbo:wikiPageID
936719
dbo:wikiPageRevisionID
1014502264
dbo:wikiPageWikiLink
dbr:Program_transformation dbr:Finite_set dbr:Strong_typing dbr:Programming_language dbr:Declarative_programming dbc:Programming_languages_created_by_women dbc:Programming_languages_created_in_1992 dbc:Logic_programming_languages dbr:Many-sorted_logic dbr:Programming_paradigm dbr:Meta-logic dbr:Unix-like dbr:Logic_programming dbr:Strongly_typed_language dbr:Parametric_polymorphism dbr:Arbitrary-precision_arithmetic dbr:Kurt_Gödel dbr:Constraint_(mathematics)
dbo:wikiPageExternalLink
n12:expgoedel.html
owl:sameAs
wikidata:Q3294091 dbpedia-fa:گودل_(زبان_برنامه‌نویسی) dbpedia-cs:Gödel_(programovací_jazyk) dbpedia-pt:Gödel_(linguagem_de_programação) dbpedia-es:Gödel_(lenguaje_de_programación) n20:32aBa freebase:m.03rky7
dbp:wikiPageUsesTemplate
dbt:Release_date dbt:Authority_control dbt:Infobox_programming_language
dbp:designer
John Lloyd & Patricia Hill
dbp:developer
John Lloyd & Patricia Hill
dbp:latestReleaseDate
1995-08-11
dbp:latestReleaseVersion
1.5
dbp:license
Non-commercial research/educational use only
dbp:operatingSystem
dbr:Unix-like
dbp:paradigm
dbr:Declarative_programming dbr:Logic_programming
dbp:typing
dbr:Strong_typing
dbp:year
1992
dbo:abstract
Gödel je v informatice deklarativní a všestranně použitelný programovací jazyk, který dodržuje logické programovací paradigma. Jedná se o silně typový jazyk, jehož systém je založen na mnohotříděné logice s parametrickým polymorfismem. Jazyk je pojmenován po logikovi Kurtu Gödelovi. Gödel es un lenguaje de programación declarativo, de propósito general, adherido al paradigma de la programación lógica. Es un lenguaje fuertemente tipado, con un sistema de tipos basado en many-sorted logic con polimorfismo parametrizado. Se le dio ese nombre en honor al lógico Kurt Gödel. Gödel is a declarative, general-purpose programming language that adheres to the logic programming paradigm. It is a strongly typed language, the type system being based on many-sorted logic with parametric polymorphism. It is named after logician Kurt Gödel. Gödel é um linguagem de programação declarativa, de propósito geral que adere ao paradigma lógico. É uma linguagem fortemente tipada, o sistema de tipos é baseado em muitos ordenados da lógica com polimorfismo paramétrico. Seu nome é uma homenagem ao lógico Kurt Gödel.
dbp:dialects
n12:expgoedel.html
gold:hypernym
dbr:Language
prov:wasDerivedFrom
wikipedia-en:Gödel_(programming_language)?oldid=1014502264&ns=0
dbo:wikiPageLength
3385
dbo:latestReleaseDate
1995-08-11
dbo:latestReleaseVersion
1.5
foaf:isPrimaryTopicOf
wikipedia-en:Gödel_(programming_language)
Subject Item
dbr:Godel_(programming_language)
dbo:wikiPageWikiLink
dbr:Gödel_(programming_language)
dbo:wikiPageRedirects
dbr:Gödel_(programming_language)
Subject Item
dbr:Goedel_(programming_language)
dbo:wikiPageWikiLink
dbr:Gödel_(programming_language)
dbo:wikiPageRedirects
dbr:Gödel_(programming_language)
Subject Item
dbr:Goedel_programming_language
dbo:wikiPageWikiLink
dbr:Gödel_(programming_language)
dbo:wikiPageRedirects
dbr:Gödel_(programming_language)
Subject Item
dbr:Gödel_programming_language
dbo:wikiPageWikiLink
dbr:Gödel_(programming_language)
dbo:wikiPageRedirects
dbr:Gödel_(programming_language)
Subject Item
dbr:Godel_programming_language
dbo:wikiPageWikiLink
dbr:Gödel_(programming_language)
dbo:wikiPageRedirects
dbr:Gödel_(programming_language)
Subject Item
wikipedia-en:Gödel_(programming_language)
foaf:primaryTopic
dbr:Gödel_(programming_language)