Preferred Name |
formal science |
|
Synonyms |
|
|
Definitions |
A branch of science studying formal language disciplines concerned with formal systems, such as logic, mathematics, statistics, theoretical computer science, artificial intelligence, information theory, game theory, systems theory, decision theory, and theoretical linguistics. |
|
ID |
http://purl.obolibrary.org/obo/GSSO_009049 |
|
alternate name |
formal sciences |
|
definition |
A branch of science studying formal language disciplines concerned with formal systems, such as logic, mathematics, statistics, theoretical computer science, artificial intelligence, information theory, game theory, systems theory, decision theory, and theoretical linguistics. |
|
has database cross reference |
https://www.wikidata.org/wiki/Q816264 |
|
label |
formal science |
|
prefixIRI |
GSSO:009049 |
|
prefLabel |
formal science |
|
subClassOf |
Create mapping
Delete | Mapping To | Ontology | Source |
---|---|---|---|
https://purl.dataone.org/odo/ADCAD_00068 | ADCAD | LOOM | |
https://w3id.org/skgo/modsci#FormalScience | MODSCI | LOOM |