{"entities":{"Q5084309":{"pageid":7113885,"ns":120,"title":"Item:Q5084309","lastrevid":100144052,"modified":"2026-06-05T21:30:03Z","type":"item","id":"Q5084309","labels":{"en":{"language":"en","value":"Constructive sheaf models of type theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7547339"}},"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":"Q5084309$25B69218-F6BC-41E4-BAE9-3D6B0F2D91E4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8b561a0e4140ab5f188bb30970a1f21db1487a3d","datavalue":{"value":{"text":"Constructive sheaf models of type theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5084309$0ED4A65C-9BC8-4240-8587-A7594E276064","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1804c2451f8522d6a9823166b0f7430fd363a2c7","datavalue":{"value":"10.1017/S0960129521000359","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5084309$014E1495-AD79-478C-AB2C-C2AADE6250AC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5aad179d365c253d181fa8115a831f46e7923370","datavalue":{"value":{"entity-type":"item","numeric-id":375196,"id":"Q375196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5084309$A9DA2510-35AA-444A-80BE-F9ADB4A5E6F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1c1e7493cb5d978e559c7108a53489844c66332e","datavalue":{"value":{"entity-type":"item","numeric-id":5084308,"id":"Q5084308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5084309$00EB494D-8C23-4FBD-A5B4-40E90E64FEFD","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":"Q5084309$65C4834E-8FCB-4860-A29B-444D09D94F42","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":"Q5084309$8DEB86B6-F0FE-4891-9D98-D35399DDBEF5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c9bbc3a7cbbc97cf0b4e147ebc83c703a8500597","datavalue":{"value":{"time":"+2022-06-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5084309$16A63BD4-72E9-45AA-9283-AD55FFD3F2C7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ef4d8770dc10ed960d2a2f731225e3e5c5690ad8","datavalue":{"value":"https://arxiv.org/abs/1912.10407","type":"string"},"datatype":"url"},"type":"statement","id":"Q5084309$82037370-7002-41F7-8147-DC9004E47D75","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d9230c8da6e5632ad621620269b7ca185454f9df","datavalue":{"value":"03B38","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5084309$9D46B773-3B84-468C-88B4-07D10CFBC9A7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"81e5533e11c85778a9dff8a6f74340929e722b32","datavalue":{"value":"7547339","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5084309$9BF69231-2BAC-4EBB-BE2D-192AC887FA59","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"13fd823fa813aa32375d6c4605d9195c2318674c","datavalue":{"value":"dependent type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5084309$54FEE130-9210-462D-B2F6-5B21A1BFBC6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c4ecd2d433c9f863c39fe5a1fa2de24434b6de0d","datavalue":{"value":"homotopy type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5084309$345B2510-2F7B-40B2-85A3-1628EFD6C2D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8ec52bb8e5d0a26908ab685fdc35a3d8c06c43b7","datavalue":{"value":"sheaf models","type":"string"},"datatype":"string"},"type":"statement","id":"Q5084309$4AC83B8B-E1A3-4BF6-AFE4-CA78165C1996","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d17bfc7c821d5b553dbd86e0ef6df2888d6ec661","datavalue":{"value":"constructive models of univalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q5084309$40A1736F-ED76-483B-9DD7-2F5C12544AC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1bac5953c4a9cbd1c5b25d5b605db61a9b49fafa","datavalue":{"value":"left-exact modalities","type":"string"},"datatype":"string"},"type":"statement","id":"Q5084309$6A15EAD1-5F66-4EB4-B7DB-ACD35F2D31A7","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"70ecc88dbe8ae0b3981f98a8d0dfe72c1cf716a8","datavalue":{"value":{"entity-type":"item","numeric-id":46473,"id":"Q46473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5084309$B3FB7F85-1200-4BA1-B531-AE4C7CB1C9F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b29eb58b948f9f996cbb5eae736ddbdaf0434b06","datavalue":{"value":{"entity-type":"item","numeric-id":34514,"id":"Q34514"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5084309$49EA511F-8F0C-490A-8A06-03FE19656B8A","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":"Q5084309$ADC38BB0-6CA1-4DDB-B46C-E3FC6D42406C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee1bd5723754d3f3766daaae49b37c3f6d620266","datavalue":{"value":{"entity-type":"item","numeric-id":4944846,"id":"Q4944846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5084309$7F8826AE-2909-4607-AB40-F6E3EF49CF49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"74d72847ba30608d201d25872d3eec4b60481b02","datavalue":{"value":{"entity-type":"item","numeric-id":5740649,"id":"Q5740649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5084309$4250B98A-C5BC-496F-9160-A07A04C0C675","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d5347980181241ef228970bc3d15a49730ba49ff","datavalue":{"value":{"entity-type":"item","numeric-id":1212528,"id":"Q1212528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5084309$34FD344C-C088-4BD3-BB8B-514C72BB7591","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4db902e9f20ea5851df36ed5589546165ed55035","datavalue":{"value":{"entity-type":"item","numeric-id":1955710,"id":"Q1955710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5084309$E11FA37B-D039-4C34-8DB6-A492751ED0E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ddc7b17e2372685cb3e0a9ecc84a40a206e9c34","datavalue":{"value":{"entity-type":"item","numeric-id":3235350,"id":"Q3235350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5084309$FE853610-2125-4A4B-963E-8E74417F3F73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a4fd098ea4c8653eaec826e6d53d5157343c914f","datavalue":{"value":{"entity-type":"item","numeric-id":4580226,"id":"Q4580226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5084309$FA352AD4-3A7E-4F03-B622-F23DF0AC22FA","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":"Q5084309$A76FED44-CB34-41E8-A98F-ED3BAF7869A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2e3f915abf61a33091940b2e7199423f76f10b5","datavalue":{"value":{"entity-type":"item","numeric-id":5144677,"id":"Q5144677"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5084309$21858FA8-25F6-4023-9DB2-1AFB625CB5DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"541bc36e9357802534d1e52134710ec758d76fb7","datavalue":{"value":{"entity-type":"item","numeric-id":5753923,"id":"Q5753923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5084309$D8AC1D18-6483-4ABF-A2C5-F7B2B5EB1BF1","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":"Q5084309$3F0AD8DB-39C5-4AA2-B078-EA5457F7363C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ea111157c808cbce12678dd805e041c999a01dc","datavalue":{"value":{"entity-type":"item","numeric-id":2648339,"id":"Q2648339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5084309$D85D6191-BEFE-4DBC-8ADC-B6AA179C7350","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f09a52784caac36ec5fae3d18690b3fe59b50322","datavalue":{"value":{"entity-type":"item","numeric-id":2626260,"id":"Q2626260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5084309$23AA1343-0926-4038-B672-2E3E19C4A35E","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":"Q5084309$C9404D02-91DE-402D-B831-363D5C392E42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a935ac3526edc406b968b6f918468f7fd4c0818","datavalue":{"value":{"entity-type":"item","numeric-id":5089027,"id":"Q5089027"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5084309$74C142D4-30FF-483F-ACCD-DAB28F7DA9C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4fc0fbba62806d6611fde9901ad3ff3bed111c8f","datavalue":{"value":{"entity-type":"item","numeric-id":5509675,"id":"Q5509675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5084309$FBF2E922-6704-4BE7-863F-EC49C54AEB7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b84f1aa73a02fbd79cc425ff6f174e1807b67916","datavalue":{"value":{"entity-type":"item","numeric-id":2930867,"id":"Q2930867"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5084309$60AB58FB-E729-453B-A118-86F8C0851306","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a280463ff02871412d3940684fba9b09da963852","datavalue":{"value":{"entity-type":"item","numeric-id":5278410,"id":"Q5278410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5084309$5F1657B2-B470-4D25-916C-D41EEA784B85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"227d93e7837c168196906c80168403507f8f0071","datavalue":{"value":{"entity-type":"item","numeric-id":5195281,"id":"Q5195281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5084309$C51F210F-A375-4D54-9C03-221D2557FAD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aaf3312235afe72a99b4e3f5db3d2955497177b8","datavalue":{"value":{"entity-type":"item","numeric-id":5208873,"id":"Q5208873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5084309$E342E47A-E67B-48CD-9EDD-D72E4CCA27BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"64c346c260873520831ebfefd15c31c6ca8971d3","datavalue":{"value":{"entity-type":"item","numeric-id":4995149,"id":"Q4995149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5084309$D8F805B9-7122-4C4B-9EF9-23BB29C6C919","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":"Q5084309$593D0990-2B77-4FE2-A2EF-41A8E0545C59","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":"Q5084309$BDF5DF48-F189-4C1A-9430-F8B3ADF09023","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":"Q5084309$108FD322-F020-4163-89E9-0D97ED2646C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25fc0f83d5ec3109942a6da644b57709f31b1dc6","datavalue":{"value":{"entity-type":"item","numeric-id":1188522,"id":"Q1188522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5084309$3C3EEE86-5259-48C3-B7F6-D3BA7552D290","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":"Q5084309$BEE2DDF3-71CB-4BAC-85CC-548A4A1809A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9483d0139d2bb4d0d243ab47c468e3ad05746c57","datavalue":{"value":{"entity-type":"item","numeric-id":5740657,"id":"Q5740657"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5084309$58A63F9D-E6B8-4CD4-8AFC-095AB4041043","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"361add0a83f4da90e935eff611a167a191a3e691","datavalue":{"value":{"entity-type":"item","numeric-id":5145691,"id":"Q5145691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5084309$8DF5CB4F-A26C-41A1-B870-5E5DDAC2EEA6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c7799c306e8f3800627929ad4dc78a830b74dcf3","datavalue":{"value":"W3217362411","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5084309$A581F74F-6672-42F1-A573-4827978AC2A7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"831a3e02e3940872055caa26498fdb9387cae123","datavalue":{"value":{"entity-type":"item","numeric-id":5718563,"id":"Q5718563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9907dd5d73846c26758acbacc499458168676eae","datavalue":{"value":{"amount":"+0.7909460067749023","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5084309$6FC0FAD1-1D6F-4F8D-896D-81DE34971B9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c583d83c0dde3f48c30b9294a438797118f984ee","datavalue":{"value":{"entity-type":"item","numeric-id":2031691,"id":"Q2031691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b0e3c238e2ded2171889aa9e7c4dc2c85902a3bd","datavalue":{"value":{"amount":"+0.7845912575721741","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5084309$EACF0270-8D3D-4929-A17D-044BFFF945FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"870ffdd587399f56f51a09e653870357ab13cbdb","datavalue":{"value":{"entity-type":"item","numeric-id":5208873,"id":"Q5208873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9c7f3cd8699458ac38cb41aacc854777da087dc0","datavalue":{"value":{"amount":"+0.7771426439285278","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5084309$19849A37-FE95-40B0-9E85-10FA56E339BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6de42dfdb54768b7f8e52327791140b9079c3d94","datavalue":{"value":{"entity-type":"item","numeric-id":6176777,"id":"Q6176777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c91d5c287eeb180fb2e1a2e2de90e8f579e2920f","datavalue":{"value":{"amount":"+0.7763383388519287","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5084309$6F379AB0-8A9D-4C95-BA1B-E02B6B41EC54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"db1d5a200fbf79af244bd5fc3e79c4613aea7610","datavalue":{"value":{"entity-type":"item","numeric-id":3143444,"id":"Q3143444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7aead4fca91c7a1c27e5eaba2c39b6b9a5d09db8","datavalue":{"value":{"amount":"+0.7696917057037354","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5084309$9682BBC4-71C4-41A0-9C4B-3109C95BBBC8","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":"Q5084309$2306CD02-7824-41D0-BBD3-18204BBAA949","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Constructive sheaf models of type theory","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Constructive_sheaf_models_of_type_theory"}}}}}