{"entities":{"Q6149950":{"pageid":13284257,"ns":120,"title":"Item:Q6149950","lastrevid":93913700,"modified":"2026-06-05T05:25:48Z","type":"item","id":"Q6149950","labels":{"en":{"language":"en","value":"Two-level type theory and applications"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7813366"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6149950$48C8FEC0-8BE7-4D5A-A34B-E607451C342A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d4a3168f34f4360380febdfd78c077424d2c160c","datavalue":{"value":{"text":"Two-level type theory and applications","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6149950$575D396E-3953-4297-9E4C-1233F76EFBE7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d29a97fd52637f8808b48aed063f6ee70a5419e5","datavalue":{"value":{"entity-type":"item","numeric-id":5101925,"id":"Q5101925"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6149950$7F56FF8C-1A07-43A1-A669-017520478164","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"725426ba4e3e8b8ec62a89eadeb43219fbf11018","datavalue":{"value":{"entity-type":"item","numeric-id":1652992,"id":"Q1652992"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6149950$75D1CE9F-B1B2-41A4-AE04-D9D8F9ED7754","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cc2accd5eaf3e9e7e00366f515bd2165d3c134f6","datavalue":{"value":{"entity-type":"item","numeric-id":1652994,"id":"Q1652994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6149950$1179FF36-BEA5-4035-BB79-E0CEBB76082F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cc7fdb135258dcfe93ae25455681fbed1804f031","datavalue":{"value":{"entity-type":"item","numeric-id":2013547,"id":"Q2013547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6149950$0124BC66-9D5D-4708-AD6B-CCCDB47C4131","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a53527e88e2413966f3c8ce14c92b878c452756d","datavalue":{"value":{"entity-type":"item","numeric-id":2709784,"id":"Q2709784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6149950$FF12BE63-5FDD-432C-A5CA-A3E1D4A9B9B3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c36f49e8b4c980a4dd1d9ff655af85a597603033","datavalue":{"value":{"time":"+2024-03-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6149950$5BB77370-7B26-4DA8-AF23-6AD9E129A196","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7863ebe5a1075f1d22315787baf830d7964de83b","datavalue":{"value":"https://arxiv.org/abs/1705.03307","type":"string"},"datatype":"url"},"type":"statement","id":"Q6149950$09019C66-A92F-40B8-9CB5-D4286F3218D9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6149950$128B2857-A17F-4E70-B4CD-0EBA136FC779","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5cc1c61e206b170a66f91475da8ec1126d71fe98","datavalue":{"value":"7813366","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6149950$7BA5438C-E3EF-4DA6-9AE7-1522BA3BF64F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4607c1189dc79d3791e3f3017f6b0f7d026c0b1","datavalue":{"value":"two-level type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q6149950$F6077483-FE4A-4252-B42B-3115335525F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7ebca914e5319980912e95bf7f11e3d58518708f","datavalue":{"value":"2LTT","type":"string"},"datatype":"string"},"type":"statement","id":"Q6149950$CA4F5090-BD72-46F6-8C79-EA53B98CD79B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"209299b8f0d46e3630ff0019a840f797f79b74e2","datavalue":{"value":"homotopy type system","type":"string"},"datatype":"string"},"type":"statement","id":"Q6149950$A750DE8D-DAC8-4456-AAE8-5CD30444ACAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c4ecd2d433c9f863c39fe5a1fa2de24434b6de0d","datavalue":{"value":"homotopy type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q6149950$A54C3B09-97F0-4EA0-96EA-4E0379E173C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4108cecd289b9cafbcb28752da70c2315de2efa0","datavalue":{"value":"conservativity","type":"string"},"datatype":"string"},"type":"statement","id":"Q6149950$50311BF2-0B00-440C-9CC0-B5BC8A6D65F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"240ca1d06d43e81e96b0b24ba64d795d3c229391","datavalue":{"value":"higher category","type":"string"},"datatype":"string"},"type":"statement","id":"Q6149950$E307E090-34B6-4943-A7B8-D5A4A87150F0","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6149950$9971A754-AD4F-474C-B770-00C7D9C38738","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8d9016f3e3a98f295d647f2b6444ca8fd2903c15","datavalue":{"value":"W4380538482","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6149950$5D0E01BB-F890-4B26-8E1A-939C062A9F2B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b66cb2e9bc4de761078c0287f788342d422ef5c5","datavalue":{"value":{"entity-type":"item","numeric-id":5145618,"id":"Q5145618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6149950$CCAF33D3-204A-4A41-8D6D-5C4E28059208","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d10e46b1e0cfb4bb12a7ff92b5fe74e9b2afacba","datavalue":{"value":{"entity-type":"item","numeric-id":1652995,"id":"Q1652995"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6149950$F4001CCA-B008-4D58-A176-57F41A40F523","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dcbad67c372b78d4e89fdcc7d1bf3491d1269881","datavalue":{"value":{"entity-type":"item","numeric-id":5278407,"id":"Q5278407"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6149950$92DFE877-2D60-48FA-A791-CB25FEC536B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b6fd92b9833462fe42760b8d6fc3f0d085dea203","datavalue":{"value":{"entity-type":"item","numeric-id":2988390,"id":"Q2988390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6149950$210DAAE8-669D-49A9-9EDB-1E34B986648F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"34a544eff9bd65de4592fa7b247517554bcdddd5","datavalue":{"value":{"entity-type":"item","numeric-id":2828239,"id":"Q2828239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6149950$2D70233E-680C-471F-B70F-B7EE730346E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3196c52ecefe6bbfc4fe1f8084810a6dceb61cc","datavalue":{"value":{"entity-type":"item","numeric-id":5079726,"id":"Q5079726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6149950$27038B1E-9247-4A42-BBE7-1689255F530D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"468e91b711762444f3218471e1feccac4a79e420","datavalue":{"value":{"entity-type":"item","numeric-id":2968413,"id":"Q2968413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6149950$206E7B22-D70E-4C03-943E-09AB8C2CF2AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d8ea39604d73b5264a301de6c30fa353233116bd","datavalue":{"value":{"entity-type":"item","numeric-id":1845413,"id":"Q1845413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6149950$358E9CD6-EAB8-4EC5-9E8B-5D9ECB819120","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aee069e777fe710074f53e5c93bcafdd2ef8123c","datavalue":{"value":{"entity-type":"item","numeric-id":5145298,"id":"Q5145298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6149950$36A5E527-9ED4-4C30-9753-29EB0C770587","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e544e438e6837b40684be8afb567ee872639a802","datavalue":{"value":{"entity-type":"item","numeric-id":4647575,"id":"Q4647575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6149950$A6D5BF3C-EB1F-4EEB-9840-766CEED405B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6daecd8a924d1e78976556ba61439eaa204ba901","datavalue":{"value":{"entity-type":"item","numeric-id":498739,"id":"Q498739"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6149950$85B742B6-F150-4E42-A1AC-AC40D4271B8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"48a73b0bc94774198cd192d06e32293454cda383","datavalue":{"value":{"entity-type":"item","numeric-id":4225149,"id":"Q4225149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6149950$45F946F1-F00D-42C1-980F-8B3C74660906","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bbd57462a36c1547e90f016c670e949d87bf8cf1","datavalue":{"value":{"entity-type":"item","numeric-id":1850102,"id":"Q1850102"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6149950$D10A38E1-92D4-4912-ACE1-AE908AD52798","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"befae1f43846926488f53d451b9aa52818f41537","datavalue":{"value":{"entity-type":"item","numeric-id":5216301,"id":"Q5216301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6149950$0FF872BF-F1D5-4283-B208-7D97544D8CC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91f5926f885fc4f0aa33fee601a61278b518ca99","datavalue":{"value":{"entity-type":"item","numeric-id":5277974,"id":"Q5277974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6149950$38EEAE48-486E-4460-9745-119716D10217","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5441f18107b2a62e3594a6223410af9d2680a52b","datavalue":{"value":{"entity-type":"item","numeric-id":4993352,"id":"Q4993352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6149950$71ADB091-0D36-4EF2-AFE8-6B01421BF1E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"208278dd27f21bde5c0e15c6d5426a30e4bca82e","datavalue":{"value":{"entity-type":"item","numeric-id":1032635,"id":"Q1032635"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6149950$84D5B168-19A7-4481-AAB7-B39B1BD3442E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d71d26e466e0e250d946a4995d441465f07c4dc","datavalue":{"value":{"entity-type":"item","numeric-id":4611379,"id":"Q4611379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6149950$90FB02A7-849E-44C1-89BF-EF93B09716D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b6b8ae78fa382e84d0f715ab21a503c2ed714d64","datavalue":{"value":{"entity-type":"item","numeric-id":4523176,"id":"Q4523176"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6149950$22CDD80E-3EE6-4BAE-97CC-06AFDAFC7954","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8eff01d0710054224f955bac4bb082ed40f5e8c8","datavalue":{"value":{"entity-type":"item","numeric-id":3121017,"id":"Q3121017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6149950$3474E80D-FA8E-4779-8A0D-EA7D81BB742A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2122695937aef52d1e2997eb8923709d3fd39665","datavalue":{"value":{"entity-type":"item","numeric-id":2877676,"id":"Q2877676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6149950$34BADFF9-1AC2-43BF-9213-D4365F15724A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f1d13fae8b0edd005619879264a500b259205b13","datavalue":{"value":{"entity-type":"item","numeric-id":5963045,"id":"Q5963045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6149950$8BD22600-A2C8-4696-AAE7-DA2EB0C9D418","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"472fe6e79b503d14429d15ec73a6169d7420ec0b","datavalue":{"value":{"entity-type":"item","numeric-id":5740656,"id":"Q5740656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6149950$6C1C1C7B-5B41-4418-88A5-0C7A63229FB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d65f0b9793d4d69696724fba6626456d2e0d7a8a","datavalue":{"value":{"entity-type":"item","numeric-id":4640312,"id":"Q4640312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6149950$1A44D1F1-C56E-4036-B032-4BC194295144","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"890522dc4e3ecb3007fccfde8c53acf4163b6c1a","datavalue":{"value":{"entity-type":"item","numeric-id":5420262,"id":"Q5420262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6149950$D9DEC620-7B76-495C-9B30-6150BA5CEBD8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"354a7a09a7444edc3c36a7efd037b41d405b0841","datavalue":{"value":"10.1017/S0960129523000130","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6149950$FA779994-C541-4B54-8272-113530CB838F","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6149950$E419B38B-B7A9-49D4-9600-9B16F5F7517D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Two-level type theory and applications","badges":[]}}}}}