In the Vinony graph
Within Vinony's link graph, Gödel is referenced by 5 other articles, and connects out to safe typing, operating system and programming language.
It is catalogued under topics including Logic programming languages, Programming languages created by women and Programming languages created in 1992.
Its subject is documented across 5 Wikipedia language editions.
Wikidata facts
- Instance of
- programming language
- Named after
- Kurt Gödel
Show 3 more facts
- programming paradigm
- logic programming
- inception
- 1992-00-00
- typing discipline
- strong typing
via Wikidata · CC0
Connections
safe typing
Entity
operating system
Entity
programming language
Entity
Kurt Gödel
Entity
software license
Entity
programming paradigm
Entity
software development
Entity
finite set
Entity
software release life cycle
Entity
Unix-like operating system
Entity
logic programming
Entity
type system
Entity
declarative programming
Entity
software design
Entity
metalogic
Entity
constraint
Entity
arbitrary-precision arithmetic
Entity
parametric polymorphism
Entity