{"entities":{"Q2284488":{"pageid":2295231,"ns":120,"title":"Item:Q2284488","lastrevid":53632937,"modified":"2026-01-25T11:29:01Z","type":"item","id":"Q2284488","labels":{"en":{"language":"en","value":"Whence long-distance indefinite readings? Solving Chierchia's puzzle with dependent types"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7151283"}},"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":"Q2284488$5B4B90E3-7459-4D4E-8869-C788A96A8F87","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f203cf46fb0a985b9656c1cc0ebf23cf8c2e01aa","datavalue":{"value":{"text":"Whence long-distance indefinite readings? Solving Chierchia's puzzle with dependent types","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2284488$B3722F7A-50BB-4A32-AED6-34B7893B9C8F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1a2938264a2a19a10a333da92ab1ff4990508d95","datavalue":{"value":"1428.03055","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2284488$A4D42AD2-6AB7-4C93-B33A-7C0CFD944E05","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7d5b573b1c029c1a46a3c412bd9fbb9737aa35f0","datavalue":{"value":"10.1007/978-3-662-54332-0_3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2284488$FB91CD48-C55F-4EEB-9933-438DEAB45222","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"774378a80376440f306a0aae0f52effcd55393a5","datavalue":{"value":{"entity-type":"item","numeric-id":2284487,"id":"Q2284487"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2284488$1152E135-F929-4F69-BD9B-F98F4272426B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3dc31f7372c2291af6dcc50b5a56a72bcaee2213","datavalue":{"value":{"entity-type":"item","numeric-id":1319365,"id":"Q1319365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2284488$6B1A7719-94B9-4D62-96B4-7ED5F4F29789","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"363a1a86dbfe88ce92b504829a3c7cd78eef14b6","datavalue":{"value":{"time":"+2020-01-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2284488$78C29C6B-EC38-4390-B6BF-FC48BEF68FFC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"aebedcbc6ea79e3c56d5432d91ddf1b69d06fcb8","datavalue":{"value":"03B65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2284488$2C362F5E-0A6C-4F69-A4EA-219EB0AFEEB3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f86ff043e5bad7132bf637a94d04fa7d5a7bb69e","datavalue":{"value":"7151283","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2284488$84B88D55-3F3A-4508-9D03-28705B4A4516","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ec33e8ac3ebd210180ed436cf6821d01243e52d3","datavalue":{"value":"quantifier scope","type":"string"},"datatype":"string"},"type":"statement","id":"Q2284488$FC3370B7-9C45-4D04-901F-10DB932F1E0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d31adb4432ef3e0a49f0bb57903bc2636b741ba6","datavalue":{"value":"long-distance indefinite","type":"string"},"datatype":"string"},"type":"statement","id":"Q2284488$06027E47-D60E-4C07-A1AB-DFA76EA7000A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9af64aff6f4b1584152e161c095f4457b67fd943","datavalue":{"value":"dependent type","type":"string"},"datatype":"string"},"type":"statement","id":"Q2284488$A27FD0E8-50C7-4054-A083-7449D82B9D92","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":"Q2284488$26911DF1-7299-4012-80B4-C769665CE52B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0c86d107269a0d3b272a53a8f0d2cdd35d606df8","datavalue":{"value":"https://doi.org/10.1007/978-3-662-54332-0_3","type":"string"},"datatype":"url"},"type":"statement","id":"Q2284488$AA2115F6-9E53-4EA1-A2C2-A11228C25491","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ab39d454be10516e65ae9a6122469a4dc74232f2","datavalue":{"value":"W2590207712","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2284488$0D34BC18-A292-442E-B514-9A76FBBE1C48","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6650c3ed1a4c0d302b6af0c8fb531f9127e4e251","datavalue":{"value":{"entity-type":"item","numeric-id":2425324,"id":"Q2425324"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8365ba82b3e73d66c8a5b0c394e1fafa22c3c176","datavalue":{"value":{"amount":"+0.715873658657074","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":"Q2284488$A864910C-DBF2-4ED3-8AE1-7F9F11325FD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"340e0f9d8b0a3beee90fd36e9b9dc98624f46774","datavalue":{"value":{"entity-type":"item","numeric-id":704021,"id":"Q704021"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f63da5b585eb317bbfdf7c122889d91e49f827a1","datavalue":{"value":{"amount":"+0.7114845514297485","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":"Q2284488$6F2814C9-4EC7-4DCF-A1AC-174BD02BFDF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7f7409028d812c040b19b7028961269f88734f4d","datavalue":{"value":{"entity-type":"item","numeric-id":4552504,"id":"Q4552504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aef96652df7603e1a62c5dd392cb3912f320c25e","datavalue":{"value":{"amount":"+0.7102915048599243","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":"Q2284488$88C1DE95-F7E5-454B-B16D-860126CE3270","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"edc6369429fdfde922970d4d6aeaacf953b46e05","datavalue":{"value":{"entity-type":"item","numeric-id":704023,"id":"Q704023"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f5b3a202dad5c962766eb1ddafee19f6f3d6f488","datavalue":{"value":{"amount":"+0.7062370181083679","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":"Q2284488$E62A194D-8C40-4037-A34B-DE3C545664FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d5998088c78c5f7132bb126450f2af76c93ae089","datavalue":{"value":{"entity-type":"item","numeric-id":3623836,"id":"Q3623836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"065553d82f60bcc1b6bfd78373a22cbb16a0d748","datavalue":{"value":{"amount":"+0.7057633399963379","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":"Q2284488$5BB84717-9C81-490E-9F2D-FECA99132572","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2284488","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2284488"}}}}}