{"entities":{"Q3586063":{"pageid":5615967,"ns":120,"title":"Item:Q3586063","lastrevid":51070823,"modified":"2026-01-16T12:19:10Z","type":"item","id":"Q3586063","labels":{"en":{"language":"en","value":"Coq Modulo Theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5779269"}},"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":"Q3586063$E506A64A-1934-4808-9A78-705BCBCCA780","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"66859ce872b4ce2563f2f795c543c298e80d7808","datavalue":{"value":{"text":"Coq Modulo Theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3586063$2E84011C-42BF-49B0-9F14-2F90B47A34B3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"abefec8d28b001ef79c15f2c8510f3c22e9dae7f","datavalue":{"value":"1287.68154","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3586063$BFDE00B3-56CA-4BBF-A26E-B394651CB3D0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"24b38c4d65735af964864bd7dedd1ce37f72d4a7","datavalue":{"value":"10.1007/978-3-642-15205-4_40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3586063$16B5EE6C-30F4-4270-A6DD-54438CCE5F23","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1745bdeb092262739da6d0fd18a64d1c3c06446d","datavalue":{"value":{"entity-type":"item","numeric-id":2323969,"id":"Q2323969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3586063$A0297AB1-7EB2-419E-8324-C5BFDF6A7434","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6ce06ac78cec2c642b9fbad4cd2a2e4121754d54","datavalue":{"value":{"entity-type":"item","numeric-id":3540165,"id":"Q3540165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3586063$AB14300E-FC9E-4809-B303-40EBF952F7ED","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2c11c2a23d7cae41957cb0a13f9b87e3313a15a8","datavalue":{"value":{"time":"+2010-09-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3586063$2A670729-250B-44EA-B139-8279090DFD97","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"27efb878b1ded9e7a0f7fb6aeed402725a9df153","datavalue":{"value":"https://hal.inria.fr/inria-00497404/file/csl-2010.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q3586063$30450129-28EF-48FC-B9A6-C4F36B48FBF9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3586063$C2FB79F4-DDF8-4B26-982D-AA7A95ACCDF8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e8782c9e429cc92bf9c6c5941a45b4c80945fc52","datavalue":{"value":"5779269","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3586063$990055ED-DF29-459B-8FBF-4FEF436B460D","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":"Q3586063$25CEC7F4-ACA4-4EF7-B246-C5CEECC34803","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8a38d0c3b215ef345f4b9f6556e53256642a6db2","datavalue":{"value":{"entity-type":"item","numeric-id":30969,"id":"Q30969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3586063$DE4B8700-46BD-4D4E-A163-6F1E0F6A3D37","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":"Q3586063$80A0FF1C-9831-4AC5-806F-CF74DBD3DCC2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ec802e0bed4d414c2e874bc89bf51917fb98cfc4","datavalue":{"value":"W1498097959","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3586063$A2B57384-90C1-4BEB-AE32-AAD041418D8B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5688ed66a44257c423ffa0f6cb24d2c0a8e4433a","datavalue":{"value":{"entity-type":"item","numeric-id":4645754,"id":"Q4645754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a27d7aba2fdd0cba69e15124d6596dd21b6182fe","datavalue":{"value":{"amount":"+0.8403854370117188","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":"Q3586063$C88788F1-8B1D-44B2-B86B-CC34798FA462","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b3e572badf5bee00e7427a40b4cef297ea325698","datavalue":{"value":{"entity-type":"item","numeric-id":5244791,"id":"Q5244791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"44824bcaabff79ed6d690bd87e71afae225b1f0b","datavalue":{"value":{"amount":"+0.7591083645820618","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":"Q3586063$6CD7F170-B9F6-4068-8EB9-D89E879966AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1ee281dd0c29267742ed64f540fc29bbfa8511d3","datavalue":{"value":{"entity-type":"item","numeric-id":5712326,"id":"Q5712326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4b6decb6c8eef7c5369f2c1b055e2e5cd6566f5d","datavalue":{"value":{"amount":"+0.7545742988586426","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":"Q3586063$5CC2BFC6-0D20-4EBB-998B-27CCE84C0A44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a118a4ece8b2c99ea89a5fa8f825fe971e3d149e","datavalue":{"value":{"entity-type":"item","numeric-id":2958550,"id":"Q2958550"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a09d348c0db961b981f53e74e3aaef9d70a775ba","datavalue":{"value":{"amount":"+0.7536569237709045","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":"Q3586063$1000F601-2A7A-4183-B6EE-3E297E7C458D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6c8fc519c81890f963ff41e9abebedea516f59fd","datavalue":{"value":{"entity-type":"item","numeric-id":5371944,"id":"Q5371944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"628a61e06071cedef833fa5566dbf981680db8ec","datavalue":{"value":{"amount":"+0.7515652775764465","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":"Q3586063$10351202-4ACA-4BA8-98C1-535428691917","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3586063","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3586063"}}}}}