{"entities":{"Q3559761":{"pageid":5589665,"ns":120,"title":"Item:Q3559761","lastrevid":50976452,"modified":"2026-01-16T01:20:34Z","type":"item","id":"Q3559761","labels":{"en":{"language":"en","value":"Changing data representation within the \\textsf{Coq} system"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5705572"}},"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":"Q3559761$AF402E16-EB6E-4A02-B65D-06F94F82A3FB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2e110192d6c311d542d0fbce8573733082289cde","datavalue":{"value":{"text":"Changing Data Representation within the Coq System","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3559761$4EF6C752-72ED-47F4-9B69-B0B4DCCA3719","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bbf583990ba0019ed356b3c5cfc3eaa9551b93c4","datavalue":{"value":"1279.68290","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3559761$1C3EEB74-C409-4A59-B20B-F5ACEE882310","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"61c8cf4efa53b9fa00a28db617324425cad9268b","datavalue":{"value":"10.1007/10930755_6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3559761$447E0DA9-E60A-46EE-B373-7737967A3C71","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"77d146ed87b25a3f218b4b3975707f6be569c62c","datavalue":{"value":{"entity-type":"item","numeric-id":448974,"id":"Q448974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3559761$A22B98D0-F177-4048-A5AF-1CF883627E7D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3559761$CB2F1938-7261-4055-B758-C9623AFF2245","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"17e143d5b33c80948b67548d47c63ee6df7c9f0a","datavalue":{"value":{"time":"+2010-05-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":"Q3559761$9281DC39-7630-4D51-847B-E0E2816EC8EE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3559761$9DD14A4E-453B-453B-9FDE-688AC3BF8BF0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a46eebece4cff6536f83c5f2291598dfae8386cb","datavalue":{"value":"5705572","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3559761$999AE011-59A0-4B5A-B579-D70528133623","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":"Q3559761$FBFD6558-0C74-476C-8BF8-C5C4999CEADA","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":"Q3559761$86FFA66C-0499-4F03-99F6-1E01C38D10CF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"cdee4297e399489a6c40b72a81b287cd6f8aa53f","datavalue":{"value":"https://doi.org/10.1007/10930755_6","type":"string"},"datatype":"url"},"type":"statement","id":"Q3559761$870CA80B-440C-4195-A6EB-69597AA519FA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"955a9493f005fd982449fa65f05901957e58a182","datavalue":{"value":"W2158336522","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3559761$7C047798-6EC5-4FA5-BA42-E8188B624777","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4b70ba9544d75c7595c5bf20288c1d790da61ef0","datavalue":{"value":{"entity-type":"item","numeric-id":4736398,"id":"Q4736398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"16cf346e458919e8730d5e5d36056fd5d4afaedd","datavalue":{"value":{"amount":"+0.8136748671531677","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":"Q3559761$50B8F547-EF46-4356-85EC-1B5BA4AC347D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8cbd43c82dff3a0a6a7fd938bc98bf5476fddc27","datavalue":{"value":{"entity-type":"item","numeric-id":5200109,"id":"Q5200109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bfcfa7cfbf8927c684b87e6bf972b5149eb242d5","datavalue":{"value":{"amount":"+0.7477685213088989","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":"Q3559761$0B5889D1-AED0-4DD1-B39C-15795A612A26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c7fdc6e9aace6c8c1a5c86542866470c89574289","datavalue":{"value":{"entity-type":"item","numeric-id":2287907,"id":"Q2287907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ecc2a8fa66a68e47a926ce6bfd4bbbaefc5ecafa","datavalue":{"value":{"amount":"+0.7425536513328552","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":"Q3559761$7F0BFC20-FD8F-4566-B864-4A5311CC690F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e20a319f936660c1e67021cc9abb1c3024db1469","datavalue":{"value":{"entity-type":"item","numeric-id":2364883,"id":"Q2364883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c31a47593ec651c71729390cbe5bdb362c6444c0","datavalue":{"value":{"amount":"+0.7190161943435669","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":"Q3559761$4D7FC909-83D9-4C07-A7CD-1E98F6B3FBB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"939cd2c4229824b8a14b7f16dc661ddbc20c89e4","datavalue":{"value":{"entity-type":"item","numeric-id":5747657,"id":"Q5747657"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"49582866001046b329cc3d4e49e208da1d4e2939","datavalue":{"value":{"amount":"+0.7166470289230347","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":"Q3559761$507F16BE-3ECF-476C-A692-DCABFB49D8C1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3559761","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3559761"}}}}}