About: Type Theory

Description
Metadata
Settings
- owl:sameAs
- Inference Rule:

About: Type Theory Sponge Permalink

An Entity of Type : Systems of formal logic, within Data Space : lod.openlinksw.com
QRcode image

Attributes	Values
is Property:Rdf:subject of	http://yago-knowledge.org/resource/#fact_234633624 http://yago-knowledge.org/resource/#fact_234633640 http://yago-knowledge.org/resource/#fact_234633552 http://yago-knowledge.org/resource/#fact_234633560 http://yago-knowledge.org/resource/#fact_234633568 http://yago-knowledge.org/resource/#fact_234633580 http://yago-knowledge.org/resource/#fact_234633588 http://yago-knowledge.org/resource/#fact_234633596 http://yago-knowledge.org/resource/#fact_234633604 http://yago-knowledge.org/resource/#fact_234633616 http://yago-knowledge.org/resource/#fact_234633628 http://yago-knowledge.org/resource/#fact_234633632 http://yago-knowledge.org/resource/#fact_234633644 http://yago-knowledge.org/resource/#fact_234633648 http://yago-knowledge.org/resource/#fact_234633576 http://yago-knowledge.org/resource/#fact_234633660 http://yago-knowledge.org/resource/#fact_234633612 http://yago-knowledge.org/resource/#fact_23150428547 http://yago-knowledge.org/resource/#fact_23150428471 http://yago-knowledge.org/resource/#fact_23154262719 http://yago-knowledge.org/resource/#fact_23151891131
type	Systems of formal logic
sameAs	Type theory
label	Type theory Type Typed logic Type Theory Type-theoretic
http://yago-knowle...resource/isCalled	Teoria dei tipi Typentheorie Théorie des types نظرية النمط Теория типов 类型论 Teoría de tipos 型理論 Teorio de tipoj טיפוס (לוגיקה מתמטית) Teoria dos tipos نظریه نوع‌ها
http://yago-knowle.../hasPreferredName	Type theory
http://yago-knowle...e/hasWikipediaUrl	http://en.wikipedia.org/wiki/Type_theory
http://yago-knowle...sPreferredMeaning	Type theory

This work is licensed under a Creative Commons Attribution-Share Alike 3.0 Unported License.
OpenLink Virtuoso version 06.03.3131, on Linux (x86_64-generic-linux-glibc25-64), Cluster Edition(8 server processes)
Copyright © 2009-2011 OpenLink Software