{"entities":{"Q6567718":{"pageid":14178873,"ns":120,"title":"Item:Q6567718","lastrevid":55703641,"modified":"2026-02-17T21:20:11Z","type":"item","id":"Q6567718","labels":{"en":{"language":"en","value":"A modular coding of \\textsc{Unity} in \\textsc{Coq}"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7876665"}},"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":"Q6567718$E5C1C2B0-5A15-425D-835D-A55B7881ECD7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f1c7ccd74fd9e7e36355477bddfce1b945e36fb6","datavalue":{"value":{"text":"A modular coding of \\textsc{Unity} in \\textsc{Coq}","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6567718$ACECFE63-54A2-42CC-A1FD-AA652012D526","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6b5eeb09d293dad93ecca44f9f037249dcbcee6e","datavalue":{"value":"1543.68094","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6567718$89A65109-050A-460C-B7B8-F8F46390766B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a9c51f8416ae7135e1dba4eaf4e3a5d7c77df0f4","datavalue":{"value":{"entity-type":"item","numeric-id":6567717,"id":"Q6567717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6567718$D3B7435F-700E-4F37-81CA-225198E9181D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4c5046b9cbb87a6d8588ef96a88de2a876c4e8d6","datavalue":{"value":{"entity-type":"item","numeric-id":2464719,"id":"Q2464719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6567718$2A1E505E-A24B-4239-8B87-790D99276B3E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"df053448a65992a80a8bb9dc3531ec74f75059c3","datavalue":{"value":{"time":"+2024-07-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6567718$F98A3AD8-692F-4E75-86EC-68A5B5F34D58","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6567718$55D3038A-7893-4C53-9CBE-CAA699A0C5A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6567718$DBFF2035-A978-4707-9A72-4F9F5B96130D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"58b3a5d0bc4bfd215423308dfe52b6887acdeedd","datavalue":{"value":"68V20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6567718$52AB4EE0-A43C-4FEF-80AB-CED656448336","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0e51cc1c5a030329118b45116643101fb396d973","datavalue":{"value":"7876665","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6567718$5A375FA8-8229-4C5F-905F-2D9960AD8E5A","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":"Q6567718$B7371C1A-76B6-4B14-A095-26F57408A3A2","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d592f87e8857ff4d106dd1dd178161f50c9229b","datavalue":{"value":{"entity-type":"item","numeric-id":1108266,"id":"Q1108266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6567718$F2BC53D3-5448-4804-95FA-7F16E7DEA29F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b02636b645312d58058beea81ee353a399e256cf","datavalue":{"value":{"entity-type":"item","numeric-id":1805037,"id":"Q1805037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6567718$5458C305-80B7-44A8-99CC-07070BC0E977","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b903410f1a6227646424166fe21e2772f833caf","datavalue":{"value":{"entity-type":"item","numeric-id":751848,"id":"Q751848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6567718$99F3C2B5-490A-481F-8E43-275EC1B3DF79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba98ceda44979f890916a0d5fdce1978a5df34a5","datavalue":{"value":{"entity-type":"item","numeric-id":3814788,"id":"Q3814788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6567718$5F52413A-8ABF-4FC2-BD0E-5379C5501AE6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7938c3edc8fff3488c58f7ab6fd7d27274c01913","datavalue":{"value":"10.1007/BFB0105409","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6567718$1E9FD4B9-22DE-448D-A6A1-4D4280BD34FE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"135f7a0031c0002118754e31fdf0b810129803c3","datavalue":{"value":{"entity-type":"item","numeric-id":5096396,"id":"Q5096396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d5b5a82c47f46be0ba82f8a284efe39757c65a8d","datavalue":{"value":{"amount":"+0.7641603946685791","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":"Q6567718$9AAF4DB3-3523-4499-AC03-AD4BFD18E97F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"53a506a732087cff0796b7307609577c09fa348b","datavalue":{"value":{"entity-type":"item","numeric-id":673960,"id":"Q673960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6fea9d304c7fe88e19423479f50e419f21732fa6","datavalue":{"value":{"amount":"+0.7555978298187256","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":"Q6567718$7AA6CF59-F0D6-4887-AAE3-EF0793940E0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"123c98468e5cf1b64592ce854598c12cc291f51d","datavalue":{"value":{"entity-type":"item","numeric-id":5738896,"id":"Q5738896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e5093875f3e7cd34da23465b9a44258a32fb474d","datavalue":{"value":{"amount":"+0.7539288401603699","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":"Q6567718$3D9E11BE-F197-4999-8D30-E2333EDACE4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d1974503b6ffd090d949054e4f812d809156449b","datavalue":{"value":{"entity-type":"item","numeric-id":5096400,"id":"Q5096400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c993a3b90eb00b4c4c408e97896b8653cbdad938","datavalue":{"value":{"amount":"+0.7404543161392212","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":"Q6567718$902B7B40-B1D9-4B30-B6A9-C28846CE274A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7dc4167b85600303bf6a63862a75410108e3edd8","datavalue":{"value":{"entity-type":"item","numeric-id":4470520,"id":"Q4470520"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6310eb220c9a8e9362fdd02a0e70f6a83da254a9","datavalue":{"value":{"amount":"+0.7326878309249878","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":"Q6567718$59269B40-A7BA-4DDF-8A4C-1364F5271E77","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6567718","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6567718"}}}}}