{"entities":{"Q3100217":{"pageid":3110932,"ns":120,"title":"Item:Q3100217","lastrevid":86479742,"modified":"2026-06-03T22:18:22Z","type":"item","id":"Q3100217","labels":{"en":{"language":"en","value":"Coquet: a Coq library for verifying hardware"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5977521"}},"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":"Q3100217$D20C019A-B83C-464D-B1AD-CC81B560BD7A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"aa6aeeaa671120aa40e17b4b07a81e71ca2cc852","datavalue":{"value":{"text":"Coquet: A Coq Library for Verifying Hardware","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3100217$9CEB0091-879A-482A-BA18-C106DEB0C8E7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3b2940e0658a48b34fb9877ecc280ab3d45797f7","datavalue":{"value":"1350.68226","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3100217$A5EA4738-DF1A-4D5B-88DF-FBED90EB99C6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7aebe666af39f96df47c22e58cf4d0f2c59c4208","datavalue":{"value":"10.1007/978-3-642-25379-9_24","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3100217$02F4FACA-BCC6-4B7D-B955-4AB1F824D4B9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"12328682479f4a45e2f0e2c1b6bc2d9e6d8cbf3a","datavalue":{"value":{"entity-type":"item","numeric-id":2351421,"id":"Q2351421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3100217$831B3273-2E60-451E-B983-3CE634CDBAF7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"19e7468504fbcb9c3a09d3a38cdd67d03e02eec6","datavalue":{"value":{"entity-type":"item","numeric-id":2938035,"id":"Q2938035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3100217$3E23EF41-507C-4BB1-8DDF-F09A4B44D085","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6d06d6de084d6566994eb3940381939ab0e2877d","datavalue":{"value":{"time":"+2011-11-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3100217$9BD82E43-DCC2-4345-AA77-3DF947FB9829","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7e4c270f035a471d3f7c429b8b0ce1b6907c6d73","datavalue":{"value":"https://arxiv.org/abs/1108.4253","type":"string"},"datatype":"url"},"type":"statement","id":"Q3100217$BF1ACF81-C2F6-474D-B8D8-2A06A1C5AC65","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3100217$5043C0AF-9383-4B08-9EBB-850D54909C8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3100217$F3D81766-FC34-4D8E-B22A-240DD61EE569","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1e903e68a16880f66ed79a0863889f1b2d3c837c","datavalue":{"value":"94C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3100217$2E5A0014-A3E2-4618-83CC-137B4081C803","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1ba277eb29cf23d8be1f721e0966e06a5973f21b","datavalue":{"value":"5977521","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3100217$309FA46E-1C09-4C45-8FD5-E249BCC826E6","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a94daa7865c51c0d2412cced8422ea9361d06e30","datavalue":{"value":{"entity-type":"item","numeric-id":21343,"id":"Q21343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3100217$8D010B42-73CC-453F-BB5E-39047F75ABEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ddd31dae9cec559546306beb5fe50048bbc464af","datavalue":{"value":{"entity-type":"item","numeric-id":21898,"id":"Q21898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3100217$B273A602-2FC7-41CD-82A0-6A60F03B108A","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":"Q3100217$0E03A1C9-8CE6-41E5-93E8-AAF8037095A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bb6c2d18287764041ae60ee5f8b5af9b2b2245a7","datavalue":{"value":{"entity-type":"item","numeric-id":40357,"id":"Q40357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3100217$0DA6B475-7ADB-41C2-8715-3E4FE5B8ED3A","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":"Q3100217$2FEC1868-0F99-4187-8ECB-3648FF846621","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d74d9e8459be15d2292675d0b75d4a90dd4f4471","datavalue":{"value":"W1483190703","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3100217$F6050B64-DECB-4B39-A4B7-1EF5734465D5","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"49ece79d0b3d5f5bdf98ba9b158a6c7f2676d1e2","datavalue":{"value":{"entity-type":"item","numeric-id":4023826,"id":"Q4023826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3100217$6D10A1B5-09EA-4CAC-8ACD-39E059A2D6B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d42e5dea39186928a0c58c53a8feccbddaca803e","datavalue":{"value":{"entity-type":"item","numeric-id":1764432,"id":"Q1764432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3100217$89E7E2C0-2C55-4B3C-81C4-DBB8C4CB9800","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59d10187fff317dfe3d4cdd2ed2a54a3b6c3b96e","datavalue":{"value":{"entity-type":"item","numeric-id":3189816,"id":"Q3189816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3100217$61DFF7B0-1E88-41E7-9FF2-2FC64A45EE0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d43f11a5e6fc21caa581e9ac1e35682b1839d73e","datavalue":{"value":{"entity-type":"item","numeric-id":3075246,"id":"Q3075246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3100217$90C8C4F8-6F2B-442F-A37D-73023FCDD9C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"53272d2173db9c6e31a2df5def7f3ca8e8e0c9bb","datavalue":{"value":{"entity-type":"item","numeric-id":3753927,"id":"Q3753927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3100217$AF26D830-6A3A-4641-A720-5384EBEB03C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a5e182d22cd63374751049cb1ad374f0b5175f7","datavalue":{"value":{"entity-type":"item","numeric-id":5477650,"id":"Q5477650"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3100217$B912FD1D-B9A9-4743-937B-43D6A42F9ADE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9751d8f12e3f2c7dd6bcb47ce70a0a4e9d0ee68e","datavalue":{"value":{"entity-type":"item","numeric-id":5313086,"id":"Q5313086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3100217$C43ACB81-83B9-447F-A653-13702F37ECF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f253e8d1647a719f4cd686675c398f8b0fa269e2","datavalue":{"value":{"entity-type":"item","numeric-id":1410965,"id":"Q1410965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3100217$18C76F61-2EFE-432A-A2CD-B7717C4550B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"333782dfe2a782886768e8c7561d4e8bfd035e1a","datavalue":{"value":{"entity-type":"item","numeric-id":2655327,"id":"Q2655327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3100217$0C2F17E5-3C1F-4EDA-AC2C-24FFB536CF86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b74789688ac51b7ade23d361083007c0a41b1ca","datavalue":{"value":{"entity-type":"item","numeric-id":5966707,"id":"Q5966707"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3100217$93166987-A6E4-4055-B074-A28ECB0B7FA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"896bd19e6777ba4c516f5fbf2337d447a60ba466","datavalue":{"value":{"entity-type":"item","numeric-id":2642982,"id":"Q2642982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3100217$3F3BFF7A-1B82-47B9-BB75-4824F6D100F7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d3759b7d7dc516dbd11ddc44d79565c29c01c078","datavalue":{"value":{"entity-type":"item","numeric-id":1764432,"id":"Q1764432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"23340cc8c3b031157a1e2e6b2aed48c268c2b693","datavalue":{"value":{"amount":"+0.8287219405174255","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":"Q3100217$DCB88DC6-3B17-4830-960D-6E135658ED8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c67ce830460fce6490695f648f245185c96a691a","datavalue":{"value":{"entity-type":"item","numeric-id":4647582,"id":"Q4647582"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c75301e4ed2bc2eedb0d610fb7808a11c7ca9d36","datavalue":{"value":{"amount":"+0.8004662990570068","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":"Q3100217$090FB8BD-DBE3-4C5A-9451-FE2BA624A115","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"db9adde6ab07d19599d8e23df92b13a8b6e87b55","datavalue":{"value":{"entity-type":"item","numeric-id":4580232,"id":"Q4580232"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"22ee8279e3d2a28b11e14477b60e4a8d839a0adb","datavalue":{"value":{"amount":"+0.7548333406448364","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":"Q3100217$BB9B9A66-307E-4813-8B40-33A51E4D5BD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3320d2109578c47d0aaaa2f9f9a21e0e10eb9554","datavalue":{"value":{"entity-type":"item","numeric-id":1702892,"id":"Q1702892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3d61f6a8ae4fc8fa702e1f36120a0ead908284ba","datavalue":{"value":{"amount":"+0.7364449501037598","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":"Q3100217$03D744E2-1D10-4524-B7B8-D26854728C97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"87b6ac01518a02a5afd884695660984f387da000","datavalue":{"value":{"entity-type":"item","numeric-id":2766536,"id":"Q2766536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"60803a053635a6ff15d8c313d0ece149afc77545","datavalue":{"value":{"amount":"+0.72408127784729","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":"Q3100217$674862FC-2F26-43AA-8535-DA7A3B62E6D1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Coquet: a Coq library for verifying hardware","badges":[]}}}}}