About: Λ-λογισμός

An Entity of Type: Concept, from Named Graph: http://el.dbpedia.org, within Data Space: el.dbpedia.org

Property	Value
dbo:wikiPageID	195971 (xsd:integer)
dbo:wikiPageRevisionID	9646337 (xsd:integer)
prop-el:wikiPageUsesTemplate	dbpedia-el:Πρότυπο:Commonscat dbpedia-el:Πρότυπο:Catmore
rdf:type	skos:Concept
rdfs:label	Λ-λογισμός (el) Λ-λογισμός (el)
skos:broader	dbpedia-el:Κατηγορία:Μαθηματική_λογική
skos:prefLabel	Λ-λογισμός (el) Λ-λογισμός (el)
prov:wasDerivedFrom	wikipedia-el:Κατηγορία:Λ-λογισμός?oldid=9646337&ns=14
is dct:subject of	dbpedia-el:Αμιγές_σύστημα_τύπων dbpedia-el:Γραμματική_Μόνταγκιου dbpedia-el:Κωδικοποίηση_Τσερτς dbpedia-el:Λ-λογισμός_με_απλούς_τύπους dbpedia-el:Λ-λογισμός_με_τύπους dbpedia-el:Λογισμός_λάμδα dbpedia-el:Παράδοξο_Κλέινι–Ρόσερ dbpedia-el:Σύστημα_F dbpedia-el:Σύστημα_U dbpedia-el:Ανώνυμη_συνάρτηση dbpedia-el:Συναρτήσεις_ανώτερου_βαθμού