{"entities":{"Q7265167":{"pageid":31040006,"ns":120,"title":"Item:Q7265167","lastrevid":104428537,"modified":"2026-07-10T19:39:26Z","type":"item","id":"Q7265167","labels":{"en":{"language":"en","value":"type theory"},"de":{"language":"de","value":"Typentheorie"}},"descriptions":{"de":{"language":"de","value":"formale Systeme als Alternativen zur axiomatischen Mengenlehre"},"en":{"language":"en","value":"study of type systems in mathematical logic and computer science"}},"aliases":{"de":[{"language":"de","value":"Typtheorie"}],"en":[{"language":"en","value":"theory of types"}]},"claims":{"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"76add9afbc19bc96da8bf3c4add10c330393e854","datavalue":{"value":"Q1056428","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7265167$EFF33DF1-8B03-45A9-95B6-C0A07D692681","rank":"normal"}],"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"a67529f6bd9a3bf57e343f2bafe16286f2810ece","datavalue":{"value":{"entity-type":"item","numeric-id":160976,"id":"Q160976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7265167$8C88AF25-B3DD-4D05-85C9-736B680E321C","rank":"normal"}],"P236":[{"mainsnak":{"snaktype":"value","property":"P236","hash":"4eee4f58adfdb5a7ad0c13e8a6c2de06d7bbe7bc","datavalue":{"value":{"entity-type":"item","numeric-id":7282413,"id":"Q7282413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7265167$02D15F42-179B-4A65-8067-DEDB5DA7DA18","rank":"normal"}],"P239":[{"mainsnak":{"snaktype":"value","property":"P239","hash":"51b5b165b9f6d2980c0108c5c970e26c78862c66","datavalue":{"value":"/m/0b15c","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7265167$33EBC173-DDA2-4C05-B975-3E526F67DD46","rank":"normal","references":[{"hash":"6499e90742e6a3b2d9cb91c8c38ff13ffd6eb773","snaks":{"P98":[{"snaktype":"value","property":"P98","hash":"765c249748dbeb69c8c4d98de780dc063f8e09cf","datavalue":{"value":{"entity-type":"item","numeric-id":56521,"id":"Q56521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}],"P28":[{"snaktype":"value","property":"P28","hash":"ad31989710dc3c2a167cc95050bb6ea34e0bbe88","datavalue":{"value":{"time":"+2013-10-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"}]},"snaks-order":["P98","P28"]}]}],"P124":[{"mainsnak":{"snaktype":"value","property":"P124","hash":"11be88c098c8613a3ad1c553329991c9415641b4","datavalue":{"value":{"entity-type":"item","numeric-id":57515,"id":"Q57515"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7265167$BE9CE546-55A4-49C2-8660-70801806B8D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P124","hash":"99395a4cc7a92c4fce65335f56069647c5a5188a","datavalue":{"value":{"entity-type":"item","numeric-id":6821503,"id":"Q6821503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7265167$105CBAD6-9608-436A-83D2-99481882346E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P124","hash":"15be26bb10b078943036164aa53778db87c1ca23","datavalue":{"value":{"entity-type":"item","numeric-id":7271351,"id":"Q7271351"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7265167$C8527698-B86D-491B-BE33-ABBE61D0DBF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P124","hash":"604eec94a2f004f68b93334c0dee85524f86633b","datavalue":{"value":{"entity-type":"item","numeric-id":6481167,"id":"Q6481167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7265167$72AF3D56-1EA2-4843-8C2D-061B9C066723","rank":"normal"}],"P234":[{"mainsnak":{"snaktype":"value","property":"P234","hash":"afd9cf490cfcfed7779dba1d4a1dcc95111d3832","datavalue":{"value":"Type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q7265167$16F00DA0-5E92-4DCD-8EA8-02AFBB06A771","rank":"normal","references":[{"hash":"e095c1777d78c6310fee7299bfc6f5735414b4b7","snaks":{"P180":[{"snaktype":"value","property":"P180","hash":"0c2cea297152a3f12f4296fca42de18f460a63f3","datavalue":{"value":{"entity-type":"item","numeric-id":56456,"id":"Q56456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"snaks-order":["P180"]}]}],"P1589":[{"mainsnak":{"snaktype":"value","property":"P1589","hash":"eecc0bc74da3152faf21ff8df85ea36bfedaea00","datavalue":{"value":"type-theory","type":"string"},"datatype":"external-id"},"type":"statement","qualifiers":{"P96":[{"snaktype":"value","property":"P96","hash":"295116a0deb44b0992156fca694329e555ed023b","datavalue":{"value":"Type Theory","type":"string"},"datatype":"string"}],"P16":[{"snaktype":"value","property":"P16","hash":"5aad179d365c253d181fa8115a831f46e7923370","datavalue":{"value":{"entity-type":"item","numeric-id":375196,"id":"Q375196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}],"P28":[{"snaktype":"value","property":"P28","hash":"7be842e5bc1b54667cb2f669eb29d91c2f271633","datavalue":{"value":{"time":"+2006-02-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"}]},"qualifiers-order":["P96","P16","P28"],"id":"Q7265167$7BF30E07-16D5-4307-844D-24B2F6CB1F98","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7265167$3B3EDBC0-DC8C-4050-BD73-448C984EC096","rank":"normal"}],"P248":[{"mainsnak":{"snaktype":"value","property":"P248","hash":"46e3b89c3ef8f25139fbaac023f9f8f045f86163","datavalue":{"value":"Type-Theory","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7265167$DAD404A4-EDF2-4C2E-BC59-1DADE5610330","rank":"normal","references":[{"hash":"36aae81f91e73382a6f83123894b56349fe7cc6f","snaks":{"P98":[{"snaktype":"value","property":"P98","hash":"5f64affe1ee560462bef91177df1a989c048367b","datavalue":{"value":{"entity-type":"item","numeric-id":56535,"id":"Q56535"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"snaks-order":["P98"]}]}],"P252":[{"mainsnak":{"snaktype":"value","property":"P252","hash":"26f20d9c751e3b241817ae6310eea03c04fa02be","datavalue":{"value":"type-theory","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7265167$485949FC-32C5-4222-A580-28889BB554C1","rank":"normal"}],"P270":[{"mainsnak":{"snaktype":"value","property":"P270","hash":"e5dc293b09a5505f78f98f17e1966ba6afd72d0a","datavalue":{"value":"03130588n","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7265167$46E36D06-A86A-45E1-BB5C-27C7DBC4E4F4","rank":"normal","references":[{"hash":"6f1b253864fb428a0c28db77d5c965326f3a3577","snaks":{"P98":[{"snaktype":"value","property":"P98","hash":"b1fcd81ab16039bae306f0da4899af1b34ad852a","datavalue":{"value":{"entity-type":"item","numeric-id":56553,"id":"Q56553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"snaks-order":["P98"]}]}],"P276":[{"mainsnak":{"snaktype":"value","property":"P276","hash":"4e642b65c7e4fc094a79e749c56ef091bba857f8","datavalue":{"value":"topic/theory-of-types-logic","type":"string"},"datatype":"external-id"},"type":"statement","qualifiers":{"P96":[{"snaktype":"value","property":"P96","hash":"900520ef2097b4cc48f7b44cdcb5cc787790fb23","datavalue":{"value":"theory of types","type":"string"},"datatype":"string"}]},"qualifiers-order":["P96"],"id":"Q7265167$0197B9B9-94D9-46DE-A02E-0A9CB8461C05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P276","hash":"8df4d18d471ca7382229df0d5885841624ecf038","datavalue":{"value":"topic/ramified-theory-of-types","type":"string"},"datatype":"external-id"},"type":"statement","qualifiers":{"P96":[{"snaktype":"value","property":"P96","hash":"e8f00b01d7e1e95a419440e018115cbbc172cd73","datavalue":{"value":"ramified theory of types","type":"string"},"datatype":"string"}]},"qualifiers-order":["P96"],"id":"Q7265167$EF09ED2A-7CE4-4079-A16E-ACAD3847162F","rank":"normal"}],"P373":[{"mainsnak":{"snaktype":"value","property":"P373","hash":"c06fa631aacdd0f100cd23160e0fd8dcb76d90e2","datavalue":{"value":"93682546","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7265167$8DE91F91-4913-4365-8A54-2AE582C7D62D","rank":"normal"}],"P786":[{"mainsnak":{"snaktype":"value","property":"P786","hash":"db069dfb49b09b92af5b8e21023bc47ab1059159","datavalue":{"value":"teoria-dei-tipi","type":"string"},"datatype":"external-id"},"type":"statement","qualifiers":{"P96":[{"snaktype":"value","property":"P96","hash":"56c4366ff3db7a773d152822bc97ac74ef72258f","datavalue":{"value":"tipi, teoria dei","type":"string"},"datatype":"string"}],"P28":[{"snaktype":"value","property":"P28","hash":"14429b7cb9ae04a161710699d51a4542be506502","datavalue":{"value":{"time":"+2009-01-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"}]},"qualifiers-order":["P96","P28"],"id":"Q7265167$E3C6B95C-249A-4EB2-8071-A2D6C980298A","rank":"normal"}],"P294":[{"mainsnak":{"snaktype":"value","property":"P294","hash":"97db772ede7ab0464c4483c3a204b3e50779867b","datavalue":{"value":"TypeTheory","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7265167$1B0BC98A-EA49-441D-86F5-4490851148A9","rank":"normal","references":[{"hash":"00aecfbe761c025df2d03be8a01c0517e827f828","snaks":{"P98":[{"snaktype":"value","property":"P98","hash":"5826672b850b1dc5989ca83142af2df32bc3577a","datavalue":{"value":{"entity-type":"item","numeric-id":56566,"id":"Q56566"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}],"P69":[{"snaktype":"value","property":"P69","hash":"657a02fa5bc1c652c10dada51e589d0dd0a8ce4b","datavalue":{"value":{"time":"+2020-07-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"}]},"snaks-order":["P98","P69"]}]}],"P1195":[{"mainsnak":{"snaktype":"value","property":"P1195","hash":"82a7c0887b7835d94a9cc794691e058bc5383c67","datavalue":{"value":"type theory","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7265167$8541BACC-7305-4CEF-A18A-2EB0825A0271","rank":"normal"}],"P36":[{"mainsnak":{"snaktype":"value","property":"P36","hash":"f1d867d302a29639b208ec406432e43e6a662974","datavalue":{"value":{"entity-type":"item","numeric-id":7271748,"id":"Q7271748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7265167$C7385F9F-A43B-49D3-86DE-AD3CC5BAF9BC","rank":"normal"}],"P1200":[{"mainsnak":{"snaktype":"value","property":"P1200","hash":"542720ff0242cba4ead357fd690962c2a224be62","datavalue":{"value":"42211","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7265167$EAB31E73-8EFF-4CF6-9247-6F6BDE280FBF","rank":"normal"}],"P269":[{"mainsnak":{"snaktype":"value","property":"P269","hash":"bbfcd1a5c3e9cf3e5e54c492f2ac0b4942ca1489","datavalue":{"value":"theorie-des-types-chimie","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7265167$077B3209-CA2E-4109-AA03-6A634DE83496","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0ef5bf2543fd006c08ecea55771c2fce039d736a","datavalue":{"value":"C93682546","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7265167$D2CDD162-49C0-43C0-B70F-14A19858FF95","rank":"normal","references":[{"hash":"ada37bfccfef8253f9662eb411a7e44fd3bf600a","snaks":{"P98":[{"snaktype":"value","property":"P98","hash":"d98ff3d8cd81c87263e3f0008a1ae470fbcf55ae","datavalue":{"value":{"entity-type":"item","numeric-id":56612,"id":"Q56612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}],"P69":[{"snaktype":"value","property":"P69","hash":"a8b2a7e9de45fd3832b36f489407e826769f65b6","datavalue":{"value":{"time":"+2022-01-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"}],"P56":[{"snaktype":"value","property":"P56","hash":"f7cf0fc8f94cea909ab2fa761ee0f84fb1ca5b1a","datavalue":{"value":"https://docs.openalex.org/download-snapshot/snapshot-data-format","type":"string"},"datatype":"url"}],"P160":[{"snaktype":"value","property":"P160","hash":"91ab54c6c18e91aab482096dc9616607b7c6ad10","datavalue":{"value":"https://web.archive.org/web/20220125070108/https://docs.openalex.org/download-snapshot/snapshot-data-format","type":"string"},"datatype":"url"}],"P161":[{"snaktype":"value","property":"P161","hash":"bbaf8098d44f14564610a773940f9314d704bd81","datavalue":{"value":{"time":"+2022-01-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"}]},"snaks-order":["P98","P69","P56","P160","P161"]}]}],"P912":[{"mainsnak":{"snaktype":"value","property":"P912","hash":"43d6983643730336c65a482d885d30ec883ac05b","datavalue":{"value":{"entity-type":"item","numeric-id":78802,"id":"Q78802"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7265167$531B56BA-DE7A-4ED9-AA95-749458453FFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P912","hash":"194883f11a8d4ba1570bcd58eceff55e574eb4c5","datavalue":{"value":{"entity-type":"item","numeric-id":7280078,"id":"Q7280078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7265167$7121B5AF-7583-48C4-9300-53F70101B37B","rank":"normal"}],"P253":[{"mainsnak":{"snaktype":"value","property":"P253","hash":"36496c2531111aee9020b50df7209cc6cbd17883","datavalue":{"value":{"entity-type":"item","numeric-id":6481103,"id":"Q6481103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7265167$EFF1C5E1-768F-4923-ADE4-8A2C22CBD9A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P253","hash":"7aafab2d9a28d9521fd31ced6fa972322df889da","datavalue":{"value":{"entity-type":"item","numeric-id":7271024,"id":"Q7271024"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7265167$FBBC1CBF-88EE-4F96-A013-DD156D3D5D13","rank":"normal"}],"P502":[{"mainsnak":{"snaktype":"value","property":"P502","hash":"e3af6a0ccd7db8655305a29ca173630feeda443e","datavalue":{"value":"121751","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7265167$F2AFAD69-F3DA-42E4-8C45-482C37D73128","rank":"normal"}],"P447":[{"mainsnak":{"snaktype":"value","property":"P447","hash":"422598be0cd231ff78576636f46271874cb38c47","datavalue":{"value":"4192585","type":"string"},"datatype":"external-id"},"type":"statement","qualifiers":{"P96":[{"snaktype":"value","property":"P96","hash":"26163beda06d5e870943d8f6f2e840a36ff123a1","datavalue":{"value":"\u0422\u0418\u041f\u041e\u0412 \u0422\u0415\u041e\u0420\u0418\u042f","type":"string"},"datatype":"string"}]},"qualifiers-order":["P96"],"id":"Q7265167$962C7034-5FAB-432D-BED0-70B8E504E518","rank":"normal"}],"P1364":[{"mainsnak":{"snaktype":"value","property":"P1364","hash":"05f1e43c81594fba8663d8794a7dcf0576df31e2","datavalue":{"value":"mathematics/type-theory","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7265167$46A7108A-3EC7-40E1-A263-405838BEC253","rank":"normal"}],"P326":[{"mainsnak":{"snaktype":"value","property":"P326","hash":"322ff97f3c97c999703238a08e06aee2a5c72a5b","datavalue":{"value":{"entity-type":"item","numeric-id":7282414,"id":"Q7282414"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7265167$825FD8F8-3663-4687-B847-42CED874C653","rank":"normal"}],"P501":[{"mainsnak":{"snaktype":"value","property":"P501","hash":"e836fd5f1fe73c60304f029256597c8000f3508e","datavalue":{"value":"typeteori","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7265167$B7BCBA69-F521-4C2C-A611-9FCA6301EBDD","rank":"normal"}],"P382":[{"mainsnak":{"snaktype":"value","property":"P382","hash":"9d650f8e7244d27368c6f4f9109967308c2a6de6","datavalue":{"value":"teoria-dei-tipi","type":"string"},"datatype":"external-id"},"type":"statement","qualifiers":{"P96":[{"snaktype":"value","property":"P96","hash":"8d50a71c95919af1e25ec96ab2acbba0c733230b","datavalue":{"value":"Tipi, teoria dei","type":"string"},"datatype":"string"}],"P28":[{"snaktype":"value","property":"P28","hash":"08708a15d967760feb8d4d1c005b0c2935022b45","datavalue":{"value":{"time":"+2013-01-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"}]},"qualifiers-order":["P96","P28"],"id":"Q7265167$6BD8AAD4-EF31-42EA-958F-95DF11CDDBFF","rank":"normal"}],"P377":[{"mainsnak":{"snaktype":"value","property":"P377","hash":"aa3721e972a52c8edc8c9ff85fafe330625a4a69","datavalue":{"value":"type_theory","type":"string"},"datatype":"external-id"},"type":"statement","qualifiers":{"P96":[{"snaktype":"value","property":"P96","hash":"0d73c0bd325fa7a625c64d5309862934ea5349bd","datavalue":{"value":"Type theory","type":"string"},"datatype":"string"}]},"qualifiers-order":["P96"],"id":"Q7265167$94798A0E-9CD3-4AA6-88FF-9F282406BB4C","rank":"normal"}],"P1705":[{"mainsnak":{"snaktype":"value","property":"P1705","hash":"eeb77545e7c3627e92f8de7a02756f6f6e5de589","datavalue":{"value":"type-theory","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7265167$A6D627B1-5B8A-4CFD-83B2-C853F47B4752","rank":"normal"}],"P83":[{"mainsnak":{"snaktype":"value","property":"P83","hash":"2c7570b9aae755c5c979c93b5c24f77690a0da0b","datavalue":{"value":"4121795-0","type":"string"},"datatype":"external-id"},"type":"statement","qualifiers":{"P96":[{"snaktype":"value","property":"P96","hash":"a1bcfe3f299b299988c019edfe746b4edbe0ea1d","datavalue":{"value":"Typentheorie","type":"string"},"datatype":"string"}]},"qualifiers-order":["P96"],"id":"Q7265167$4B535FE6-BCBB-4D01-99E7-6A0D8E74C907","rank":"normal"}],"P85":[{"mainsnak":{"snaktype":"value","property":"P85","hash":"5a4b57ee3d84ca5dd036f276c264dd25353fbbfb","datavalue":{"value":"sh85139126","type":"string"},"datatype":"external-id"},"type":"statement","qualifiers":{"P96":[{"snaktype":"value","property":"P96","hash":"0d73c0bd325fa7a625c64d5309862934ea5349bd","datavalue":{"value":"Type theory","type":"string"},"datatype":"string"}]},"qualifiers-order":["P96"],"id":"Q7265167$31619019-2CA1-4C92-A592-EAC3A10A0554","rank":"normal"}],"P1994":[{"mainsnak":{"snaktype":"value","property":"P1994","hash":"517c5ae6476495078414fe10ef0e486737c66265","datavalue":{"value":"theory of type","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7265167$3FD70F89-4FC4-48D9-B5F7-656A36D1EC2A","rank":"normal"}]},"sitelinks":{}}}}