{"entities":{"Q5170709":{"pageid":7200281,"ns":120,"title":"Item:Q5170709","lastrevid":52047074,"modified":"2026-01-20T20:08:24Z","type":"item","id":"Q5170709","labels":{"en":{"language":"en","value":"Linear sized types in the calculus of constructions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6320261"}},"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":"Q5170709$BAC4F0B2-906E-42F0-80DF-BBF11412B6B9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a4f06d804838dc8d31e35729cec8e9f0660a3220","datavalue":{"value":{"text":"Linear Sized Types in the Calculus of Constructions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5170709$C8B573BA-4553-49B5-A843-344F7A7441DE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"adbe20c475958d1147436efd3904ba51401c1b43","datavalue":{"value":"1416.68046","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5170709$B27B2C9E-09CC-4F3D-AC7A-C92595F07CD5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d85c77568b835db434d6cfc975d4b83c0e3f9e16","datavalue":{"value":"10.1007/978-3-319-07151-0_11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5170709$18AB6622-E806-417E-90F2-49518EACC9BE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"aa5e0f8abfb3f1ea506b254bad83c448ab10e6b6","datavalue":{"value":{"entity-type":"item","numeric-id":3638244,"id":"Q3638244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5170709$A35A989C-A38F-4632-9536-A4C0C075459B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a2a09b5cba4f9e4657809ce2fd194ee37ff6e885","datavalue":{"value":{"entity-type":"item","numeric-id":2798252,"id":"Q2798252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5170709$FABDEAB6-5A7A-4CD2-A247-EB9AD4FE203F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"62d5b6bdf672ccc34d428067b7e9172e5c9711cb","datavalue":{"value":{"time":"+2014-07-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":"Q5170709$465BAF8D-5AA6-4B7A-BE92-3311147B599F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5170709$1D2F4F7F-2C6B-4047-980B-7CE200AD2D15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5170709$AA9CD7C0-85E1-4AB9-91BB-C027EDA7DD99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5170709$C15804B0-6526-457B-882C-72DE331268CF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"efcbac5966a7165b7ee5106e25d96763d0d1beb6","datavalue":{"value":"6320261","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5170709$B6E9A680-1B7F-429A-8D86-FC6216633684","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":"Q5170709$5358BA3B-D130-45F9-A406-A00874D51177","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"40a3beaabfc87c5e42e03a893cacaa634a8b3e9f","datavalue":{"value":"https://doi.org/10.1007/978-3-319-07151-0_11","type":"string"},"datatype":"url"},"type":"statement","id":"Q5170709$3A05365A-E235-4E5D-8CA9-FDDA6EA7FA71","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7d072ce32f2987dc99cf07ca65568f2e0f7aea09","datavalue":{"value":"W49020731","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5170709$1603C3F5-507F-496F-AE0A-A15625E7FBC6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0503abb6bd0008b433cf5d77598473609f227dc1","datavalue":{"value":{"entity-type":"item","numeric-id":5387897,"id":"Q5387897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ddc247f8a75cb2e5f35a4db1fa660f4873eed9e6","datavalue":{"value":{"amount":"+0.8419052362442017","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":"Q5170709$BDF6758F-105B-45EC-B27E-63A3A9AA8B05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"950536c60c978ca974d38c7ed845a6898429c8fb","datavalue":{"value":{"entity-type":"item","numeric-id":5901478,"id":"Q5901478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fb03d4519d0eb264ac8a07332e1217f94f6aa3fc","datavalue":{"value":{"amount":"+0.7725701928138733","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":"Q5170709$9536C92B-0A5F-44D8-AFA5-0034B99F8132","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"73a4e0bb59f4f0477db68301ffc0600b9f2776a4","datavalue":{"value":{"entity-type":"item","numeric-id":5271060,"id":"Q5271060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3623d14c36ed356231ed6e23484ffa2b52d97af4","datavalue":{"value":{"amount":"+0.7717890739440918","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":"Q5170709$55D128C7-6714-4F0E-85D2-716AFE08FC85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cac6f4d0d99ca783421bb213fa64a44b937cd092","datavalue":{"value":{"entity-type":"item","numeric-id":1401943,"id":"Q1401943"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"222d43fe08b093655aeed0071ae71227ce08eaaa","datavalue":{"value":{"amount":"+0.7687853574752808","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":"Q5170709$5DF2B960-342F-4F2D-935A-04655F38E1BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6ae2ab4470147088fe29d6e8379b18e3df084a32","datavalue":{"value":{"entity-type":"item","numeric-id":5900207,"id":"Q5900207"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"49d459dc3354d8d5fc223c2826a5a64fd8b161c0","datavalue":{"value":{"amount":"+0.7686932682991028","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":"Q5170709$7BBBAD33-52C6-4A08-ABC5-291047AD007A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5170709","badges":[]}}}}}