About: Institution (computer science)

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

Notion in computer science

Property	Value
dbo:description	notion in computer science (en)
dbo:wikiPageExternalLink	http://www-cse.ucsd.edu/users/goguen/projs/inst.html https://iep.utm.edu/insti-th/ http://www.imar.ro/~diacon/publications.html%23Institutions__institution-independent http://www.informatik.uni-bremen.de/flirts/ https://www.springer.com/birkhauser/mathematics/book/978-3-7643-8707-5
dbo:wikiPageWikiLink	dbr:Morphism dbr:Signature_(logic) dbr:First-order_logic dbr:Propositional_logic dbr:Logical_system dbr:Category_of_sets dbr:Sentence_(mathematical_logic) dbr:Modal_logic dbr:Specification_language dbr:Institutional_model_theory dbr:Category_of_small_categories dbc:Theoretical_computer_science dbr:Intuitionistic_logic dbr:Interpretation_(logic) dbr:Abstract_model_theory dbr:Computer_science dbr:Tool dbr:Binary_relation dbr:Category_(mathematics) dbc:Model_theory dbr:Model_theory dbr:Functor dbr:Web_Ontology_Language dbr:T-schema dbr:Higher-order_logic dbr:Opposite_category dbr:Temporal_logic dbr:Common_Algebraic_Specification_Language dbr:Joseph_Goguen dbr:Rod_Burstall dbr:Universal_logic dbr:Common_logic dbr:Proof_calculi
dbp:wikiPageUsesTemplate	dbt:Reflist dbt:Citation
dct:subject	dbc:Theoretical_computer_science dbc:Model_theory
rdfs:label	Institution (computer science) (en) 제도 (논리학) (ko)
owl:sameAs	freebase:Institution (computer science) wikidata:Institution (computer science) dbpedia-ko:Institution (computer science) dbpedia-global:Institution (computer science)
prov:wasDerivedFrom	wikipedia-en:Institution_(computer_science)?oldid=1223599016&ns=0
foaf:isPrimaryTopicOf	wikipedia-en:Institution_(computer_science)
is dbo:knownFor of	dbr:Joseph_Goguen
is dbo:wikiPageDisambiguates of	dbr:Institution_(disambiguation)
is dbo:wikiPageWikiLink of	dbr:Institutional_model_theory dbr:Institution_(disambiguation) dbr:Abstract_model_theory dbr:Lindström's_theorem dbr:List_of_mathematical_logic_topics dbr:Common_Algebraic_Specification_Language dbr:Joseph_Goguen dbr:Universal_logic
is dbp:knownFor of	dbr:Joseph_Goguen
is foaf:primaryTopic of	wikipedia-en:Institution_(computer_science)