Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/Gödel_(programming_language)> ?p ?o }
Showing triples 1 to 65 of
65
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 goedel.html.
- Gödel_(programming_language) wikiPageExternalLink expgoedel.html.
- Gödel_(programming_language) wikiPageID "936719".
- Gödel_(programming_language) wikiPageLength "3275".
- Gödel_(programming_language) wikiPageOutDegree "16".
- Gödel_(programming_language) wikiPageRevisionID "654107204".
- 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 Meta-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 Strong_typing.
- Gödel_(programming_language) wikiPageWikiLink Strongly_typed_language.
- 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) hasPhotoCollection Gödel_(programming_language).
- 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) typing Strong_typing.
- Gödel_(programming_language) wikiPageUsesTemplate Template:Dead_link.
- Gödel_(programming_language) wikiPageUsesTemplate Template:Infobox_programming_language.
- 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) type ProgrammingLanguage.
- Gödel_(programming_language) type Software.
- Gödel_(programming_language) type Work.
- Gödel_(programming_language) type CreativeWork.
- Gödel_(programming_language) type Thing.
- Gödel_(programming_language) type Q386724.
- Gödel_(programming_language) type Q7397.
- 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 Gödel_(programovací_jazyk).
- Gödel_(programming_language) sameAs Gödel_(lenguaje_de_programación).
- 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) sameAs Q3294091.
- Gödel_(programming_language) wasDerivedFrom Gödel_(programming_language)?oldid=654107204.
- Gödel_(programming_language) isPrimaryTopicOf Gödel_(programming_language).
- Gödel_(programming_language) name "Gödel".