{"entities":{"Q3558328":{"pageid":5588232,"ns":120,"title":"Item:Q3558328","lastrevid":50972513,"modified":"2026-01-16T00:56:23Z","type":"item","id":"Q3558328","labels":{"en":{"language":"en","value":"\\(\\Pi \\Sigma \\): dependent types without the sugar"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5703509"}},"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":"Q3558328$54252238-3DA8-4977-AD7E-FFFBAE9AD014","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b194c4e29673f998015d6154b13c26ed01fac7fc","datavalue":{"value":{"text":"\u03a0\u03a3: Dependent Types without the Sugar","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3558328$0DFF3FDF-4128-4190-AD88-0B5C91AD2DC3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f5b4ce3a2b35b6db63c9b180a1ed60f714e55372","datavalue":{"value":"1284.68122","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3558328$FDE93A88-1CFC-4936-92DC-28CD5552DEBE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d3c713e7156bee799eac838961cf1af8226f0bfa","datavalue":{"value":"10.1007/978-3-642-12251-4_5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3558328$AE8D8F3C-B266-4F93-99A2-E7A54626F33E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6801a503eb1bea2102d1e59832005afa5cab1cee","datavalue":{"value":{"entity-type":"item","numeric-id":1652991,"id":"Q1652991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3558328$E74DCEE7-FE79-4A8F-A133-C2BD3532D518","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e09a288b38762987ec2f9071aad3887de809e0b6","datavalue":{"value":{"entity-type":"item","numeric-id":740486,"id":"Q740486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3558328$A02CF02A-2C55-4B90-A363-846EE2E51730","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bc61ec813008c90ea14b57a4907587e613769328","datavalue":{"value":{"entity-type":"item","numeric-id":923887,"id":"Q923887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3558328$227164DD-9FA6-4C75-A151-D3400D01DB86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"31d3cfbe487ed15d439d4dec1adcc9ae893edd38","datavalue":{"value":{"entity-type":"item","numeric-id":3543664,"id":"Q3543664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3558328$F052BBBD-77E9-46EF-B9BE-7E2AAE40777E","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":"Q3558328$73CC0D1A-91FF-428E-B9E7-796FE5D2B00D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b0d489a41f5ce9c5a7b74a3f4e524032b8d5d571","datavalue":{"value":{"time":"+2010-05-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3558328$07092E77-8241-4345-ACF0-46227FDC9E64","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3558328$8FF61FA7-C0AC-46E7-824E-89E61FBA8E6B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a6fc6daec22dcc6e54e52985aac104dfe93f39a5","datavalue":{"value":"5703509","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3558328$061D43C2-A84F-4E8C-BE2F-25E89FDBBAB0","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"f838e16326a757fa5236ad634d2009e87e89f63c","datavalue":{"value":"Q61583818","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3558328$A49A4DE0-40DC-4066-AFBF-88CD557F70FC","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1a8b6b13bef47cb19f4e2508b5917af235a65eb0","datavalue":{"value":{"entity-type":"item","numeric-id":21668,"id":"Q21668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3558328$F13C0621-CAC5-463B-886B-A9D59854054C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3558328$1F660489-3175-4F4C-A1CB-02858DF7745F","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":"Q3558328$FF6F6CB4-061F-4345-8B15-F9D502D4DAA3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"38ba07f58d3ae29afeaafc3c80a9cd0a03771d77","datavalue":{"value":"https://doi.org/10.1007/978-3-642-12251-4_5","type":"string"},"datatype":"url"},"type":"statement","id":"Q3558328$CC195921-2F3A-4CFF-B79A-B655E131F6F9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f840b3465f12101fb794e02b653260ed8be12b57","datavalue":{"value":"W319887929","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3558328$A0CD49BA-9A75-4449-BB56-E3F9866B443D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e16d629a70418c496226bec93e6d349b6e261a1c","datavalue":{"value":{"entity-type":"item","numeric-id":3183520,"id":"Q3183520"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"11a9e3415541d9642ffae8338a3f392035cf52b6","datavalue":{"value":{"amount":"+0.7790070176124573","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":"Q3558328$C39E47EE-7CDE-4EA1-94C7-F0F8040984BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1ed7bbae66cd74af2ac1c681af7c0046fb785210","datavalue":{"value":{"entity-type":"item","numeric-id":5398331,"id":"Q5398331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"734111c5b6c282c1b8e9cacebfc94d8dbf0cf3d1","datavalue":{"value":{"amount":"+0.7760026454925537","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":"Q3558328$45E0712E-AED4-424E-B0A2-9686413FD2B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"60d330218efdb6e0dae35fc2343de58b9a5b8340","datavalue":{"value":{"entity-type":"item","numeric-id":3649136,"id":"Q3649136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ad0781f48d8825189960f3aa7a60c428ee1f80f9","datavalue":{"value":{"amount":"+0.752032995223999","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":"Q3558328$D9798B76-910F-4373-AAB5-B869CC7DE80D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"af4f211bb387809534c3a4f022fd139f46c066a8","datavalue":{"value":{"entity-type":"item","numeric-id":5191088,"id":"Q5191088"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"457684b99e15df3eb114fcd6053a16688faa77e9","datavalue":{"value":{"amount":"+0.7519901394844055","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":"Q3558328$DD5BD98B-1444-47BF-BA73-0FC4AF1A3401","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b28912c5c4d1096920bbab30e76dcb35cb9c6b51","datavalue":{"value":{"entity-type":"item","numeric-id":5458373,"id":"Q5458373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9186849ce22199d82240bfc0c96671bb772e3f76","datavalue":{"value":{"amount":"+0.740842342376709","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":"Q3558328$09CD59DC-13CE-47B4-A608-CB296E9AF9D8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3558328","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3558328"}}}}}