About: Τυπικές μέθοδοι

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

Property	Value
dbo:wikiPageID	185788 (xsd:integer)
dbo:wikiPageRevisionID	6262098 (xsd:integer)
rdf:type	skos:Concept
rdfs:label	Τυπικές μέθοδοι (el) Τυπικές μέθοδοι (el)
skos:broader	dbpedia-el:Κατηγορία:Θεωρητική_πληροφορική dbpedia-el:Κατηγορία:Κλάδοι_της_επιστήμης_υπολογιστών dbpedia-el:Κατηγορία:Μηχανική_λογισμικού dbpedia-el:Κατηγορία:Προγραμματισμός
skos:prefLabel	Τυπικές μέθοδοι (el) Τυπικές μέθοδοι (el)
prov:wasDerivedFrom	wikipedia-el:Κατηγορία:Τυπικές_μέθοδοι?oldid=6262098&ns=14
is dct:subject of	dbpedia-el:Agda dbpedia-el:CTL* dbpedia-el:Coq dbpedia-el:OBJ dbpedia-el:OBJ3 dbpedia-el:Έλεγχος_μοντέλων dbpedia-el:Αλγεβρική_σημασιολογία dbpedia-el:Ανάλυση_προγράμματος_(πληροφορική) dbpedia-el:Αξιωματική_σημασιολογία dbpedia-el:Γραμμική_χρονική_λογική dbpedia-el:Δηλωτική_σημασιολογία dbpedia-el:Δομή_Κρίπκε dbpedia-el:Δυναμική_ανάλυση dbpedia-el:Λογική_υπολογιστικού_δένδρου dbpedia-el:Μ_λογισμός dbpedia-el:Στατική_ανάλυση dbpedia-el:Σύστημα_Μωντ dbpedia-el:Τυπική_επαλήθευση dbpedia-el:Τυπική_σημασιολογία_των_γλωσσών_προγραμματισμού dbpedia-el:Χρονική_λογική dbpedia-el:Χρονική_λογική_διαστημάτων dbpedia-el:Χρονική_λογική_και_επαλήθευση_πεπερασμένων_καταστάσεων
is skos:broader of	dbpedia-el:Κατηγορία:Μοντέλα_υπολογισμού dbpedia-el:Κατηγορία:Έλεγχος_μοντέλων dbpedia-el:Κατηγορία:Λογισμικό_απόδειξης_θεωρημάτων