Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Gödel_(programming_language)> ?p ?o }
Showing triples 1 to 62 of
62
with 100 triples per page.
- Gödel_(programming_language) abstract "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_(programming_language) latestReleaseDate "1995-08-11".
- Gödel_(programming_language) latestReleaseVersion "1.5".
- Gödel_(programming_language) wikiPageExternalLink expgoedel.html.
- Gödel_(programming_language) wikiPageID "936719".
- Gödel_(programming_language) wikiPageLength "3180".
- Gödel_(programming_language) wikiPageOutDegree "16".
- Gödel_(programming_language) wikiPageRevisionID "697945493".
- Gödel_(programming_language) wikiPageWikiLink Category:Logic_programming_languages.
- Gödel_(programming_language) wikiPageWikiLink Category:Programming_languages_created_by_women.
- Gödel_(programming_language) wikiPageWikiLink Category:Programming_languages_created_in_1992.
- Gödel_(programming_language) wikiPageWikiLink Declarative_programming.
- Gödel_(programming_language) wikiPageWikiLink Kurt_Gödel.
- Gödel_(programming_language) wikiPageWikiLink Logic_programming.
- Gödel_(programming_language) wikiPageWikiLink Many-sorted_logic.
- Gödel_(programming_language) wikiPageWikiLink Metalogic.
- Gödel_(programming_language) wikiPageWikiLink Parametric_polymorphism.
- Gödel_(programming_language) wikiPageWikiLink Programming_language.
- Gödel_(programming_language) wikiPageWikiLink Programming_paradigm.
- Gödel_(programming_language) wikiPageWikiLink Strong_and_weak_typing.
- Gödel_(programming_language) wikiPageWikiLink Unix-like.
- Gödel_(programming_language) wikiPageWikiLinkText "Gödel (programming language)".
- Gödel_(programming_language) wikiPageWikiLinkText "Gödel".
- Gödel_(programming_language) designer "John Lloyd & Patricia Hill".
- Gödel_(programming_language) developer "John Lloyd & Patricia Hill".
- Gödel_(programming_language) dialects expgoedel.html.
- Gödel_(programming_language) latestReleaseDate "1995-08-11".
- Gödel_(programming_language) latestReleaseVersion "1.5".
- Gödel_(programming_language) license "Non-commercial research/educational use only".
- Gödel_(programming_language) name "Gödel".
- Gödel_(programming_language) operatingSystem Unix-like.
- Gödel_(programming_language) paradigm Declarative_programming.
- Gödel_(programming_language) paradigm Logic_programming.
- Gödel_(programming_language) typing Strong_and_weak_typing.
- Gödel_(programming_language) wikiPageUsesTemplate Template:Infobox_programming_language.
- Gödel_(programming_language) wikiPageUsesTemplate Template:Release_date.
- Gödel_(programming_language) year "1992".
- Gödel_(programming_language) subject Category:Logic_programming_languages.
- Gödel_(programming_language) subject Category:Programming_languages_created_by_women.
- Gödel_(programming_language) subject Category:Programming_languages_created_in_1992.
- Gödel_(programming_language) hypernym Language.
- Gödel_(programming_language) type Language.
- Gödel_(programming_language) type ProgrammingLanguage.
- Gödel_(programming_language) type Diacritic.
- Gödel_(programming_language) type Redirect.
- Gödel_(programming_language) type Language.
- Gödel_(programming_language) type Thing.
- Gödel_(programming_language) type Q315.
- Gödel_(programming_language) type Q34770.
- Gödel_(programming_language) type Q9143.
- Gödel_(programming_language) comment "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_(programming_language) label "Gödel (programming language)".
- Gödel_(programming_language) sameAs Q3294091.
- Gödel_(programming_language) sameAs Gödel_(programovací_jazyk).
- Gödel_(programming_language) sameAs Gödel_(lenguaje_de_programación).
- Gödel_(programming_language) sameAs گودل_(زبان_برنامه_نویسی).
- Gödel_(programming_language) sameAs Gödel_(linguagem_de_programação).
- Gödel_(programming_language) sameAs m.03rky7.
- Gödel_(programming_language) sameAs Q3294091.
- Gödel_(programming_language) wasDerivedFrom Gödel_(programming_language)?oldid=697945493.
- Gödel_(programming_language) isPrimaryTopicOf Gödel_(programming_language).
- Gödel_(programming_language) name "Gödel".