{"entities":{"Q5327334":{"pageid":7356908,"ns":120,"title":"Item:Q5327334","lastrevid":51793841,"modified":"2026-01-20T01:54:43Z","type":"item","id":"Q5327334","labels":{"en":{"language":"en","value":"Canonical structures for the working Coq user"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6196154"}},"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":"Q5327334$C310C9B4-7F6F-4127-8B71-D45D8DBF5D36","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1972d38d5452c9332bbc96179ccc049d80a64686","datavalue":{"value":{"text":"Canonical Structures for the Working Coq User","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5327334$7BD6023D-189E-4FE9-ACD7-55AE57D49293","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a4aea01ef244c540e027fd6c8b99192b4fd7246b","datavalue":{"value":"1317.68221","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5327334$7268F1E3-B0F1-48B7-B75E-7E009C14CF04","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d42ff13949970aca84f91b2905fa375cf3c6fb30","datavalue":{"value":"10.1007/978-3-642-39634-2_5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5327334$157105BB-50E0-4CAF-99F4-D8A602B4800E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"379ac4e8dcb87cc7060e4dba787e250b7104d056","datavalue":{"value":{"entity-type":"item","numeric-id":512133,"id":"Q512133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5327334$3190D62A-5461-44AC-A131-8396F3F0DFC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"99729ea5fbac2e397c47743039765083a0ae1bb2","datavalue":{"value":{"entity-type":"item","numeric-id":205581,"id":"Q205581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5327334$6B78BD09-BE6E-4E62-B6E0-8148955B1F28","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d43c6ce6e92d67a2cb7e4a7df2a7d5eeec36e724","datavalue":{"value":{"entity-type":"item","numeric-id":2829237,"id":"Q2829237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5327334$55F9D0C6-626C-4F29-9524-BD693A21CEB6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"00eca6587536a1681b3f41d63f34e248b2e37166","datavalue":{"value":{"time":"+2013-08-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5327334$DB225F64-E61E-4B62-82C3-3AA6449E93EA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b38b4846c1534ba241896d4df19070199f701cba","datavalue":{"value":"https://hal.inria.fr/hal-00816703/file/main.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q5327334$AF3A6C3C-4B6A-49F6-BF89-11303559CE09","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5327334$511FCDBE-08E4-493D-A9F3-CE3992DB6BC3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"956cd66e65fc08730ce9867a9545fd11e173ede9","datavalue":{"value":"6196154","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5327334$03913E60-F645-4C4B-BF91-C86340C9DFC0","rank":"normal"}],"P1463":[{"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":"Q5327334$AB657396-517D-4A50-AC19-46EE65B1CCDA","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":"Q5327334$B0D78BFB-BF8C-461B-A8C4-D1F9A717D7B0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2d6d25afed913700db34ab50e38c184bcadd48a7","datavalue":{"value":"W10165608","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5327334$D4F83161-A585-45A6-8D38-0A78FC96F998","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4e991eb6ce62deb5bb2a8abdd6157fc56a8e6e1f","datavalue":{"value":{"entity-type":"item","numeric-id":5176973,"id":"Q5176973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"51276bb8392459d168f2fb95d895706fa5b83567","datavalue":{"value":{"amount":"+0.7957274913787842","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":"Q5327334$C8A0FBF8-F8EF-4376-8333-59CCDB6AF738","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2b7ac36ed718b6e97928eb57ef2af05bff63f6d3","datavalue":{"value":{"entity-type":"item","numeric-id":5398327,"id":"Q5398327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5c18b83055fc098600caf72a43ee3c4b40b2d29e","datavalue":{"value":{"amount":"+0.7957272529602051","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":"Q5327334$8764ED12-B2DE-4656-B8FB-5F8ECAC85DEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9564fbc26aa84919584d31b80771f8b6cda49a26","datavalue":{"value":{"entity-type":"item","numeric-id":3075245,"id":"Q3075245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f8c336a8bd5b0d88337d62a66b614e1c55b9ffd0","datavalue":{"value":{"amount":"+0.7675884962081909","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":"Q5327334$745AD1D7-D02A-4EBA-A95A-8062C165650F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad75dd62ec10db61a132203b18a115cc71365c0f","datavalue":{"value":{"entity-type":"item","numeric-id":2798047,"id":"Q2798047"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c5df30188ce091f54bc65fbc29b0c0cdcce62c02","datavalue":{"value":{"amount":"+0.7509589195251465","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":"Q5327334$915295FB-9DC5-4BBC-83D7-655939C70F73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"272066dbb4c7a4058734c8a610c625ce7020d87c","datavalue":{"value":{"entity-type":"item","numeric-id":3183522,"id":"Q3183522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7dd6419635e6da90c1408d0464b98d20a37c12db","datavalue":{"value":{"amount":"+0.74896639585495","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":"Q5327334$11641864-2E6F-441C-B227-C549E1678BBD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5327334","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5327334"}}}}}