{"entities":{"Q2217198":{"pageid":2227941,"ns":120,"title":"Item:Q2217198","lastrevid":53894795,"modified":"2026-01-25T21:47:29Z","type":"item","id":"Q2217198","labels":{"en":{"language":"en","value":"On a machine-checked proof for fraction arithmetic over a GCD domain"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7288804"}},"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":"Q2217198$9CD87425-B7C6-4D69-A37B-BD5E414EF2B6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"93247854dc0d595f4b70d728c92fe7e5087af4eb","datavalue":{"value":{"text":"On a machine-checked proof for fraction arithmetic over a GCD domain","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2217198$785C9999-65D0-4081-9945-C60F07738147","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"37dddf69af3538c4c12174be3e70e2e11538da3c","datavalue":{"value":"1455.68249","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2217198$3F92D631-D6EB-4640-9B58-7875032B0E3B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"86ec1c8315173d98de493cec434ed0f4c8ce5ff9","datavalue":{"value":"10.1134/S0361768820020073","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2217198$5766AD28-14E8-4FCC-B3C3-A280C1ADE5BF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"37a6d8adcdee1ab61ecfef291ef1c1eec0705498","datavalue":{"value":{"entity-type":"item","numeric-id":2132544,"id":"Q2132544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2217198$0C2FACCC-47AE-4BC0-A859-18D31049FBA9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"be953c7743ad681cffb55322e552c5990c03cfb7","datavalue":{"value":{"entity-type":"item","numeric-id":174054,"id":"Q174054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2217198$CF4FF67B-8CB6-41AC-ACBF-F10C812D105A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5c6f414822b60b0d20866b86007f1060703b5674","datavalue":{"value":{"time":"+2020-12-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2217198$B302BDE4-A934-4E5A-B76E-0AFB27F81735","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2217198$1104C1C1-B779-4238-8A05-77C07B8E66F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ea6ef7477a3a5eb71fb9e3a3c21c38781cfc5e16","datavalue":{"value":"11-04","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2217198$B252CCDA-6C9A-43E0-846E-CF4DAFB54926","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"17e0a295200b605f2e49c5f6e8394a8f386cbcf7","datavalue":{"value":"11Y99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2217198$8E4097F0-8313-4740-B52E-BCAC144B270A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"58b3a5d0bc4bfd215423308dfe52b6887acdeedd","datavalue":{"value":"68V20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2217198$8F1758E8-BDBF-4C03-89D9-39E2764BD5BC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f445e3234dcf2822325f8a932865ecb132b6b5e5","datavalue":{"value":"7288804","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2217198$BC01D3A7-FBA6-48AE-AC64-CE457A5296D2","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"39d1d25ae8c00cfad058b188db36fd61dac09925","datavalue":{"value":{"entity-type":"item","numeric-id":27041,"id":"Q27041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2217198$B8CDDE41-3875-4BC5-BF45-F369170BF9C3","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":"Q2217198$1D42C715-43C6-49CD-9D5B-6502D6A8B211","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"067e00213990a6f2431e78667be3f10443c92f4f","datavalue":{"value":{"entity-type":"item","numeric-id":16052,"id":"Q16052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2217198$9370A3B5-D7C6-4F82-A6A2-BE8773C8EED6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9ba88ec88a3e0f66013f52903eb001c6391d509c","datavalue":{"value":{"entity-type":"item","numeric-id":12835,"id":"Q12835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2217198$F75A5194-F84E-458D-AF61-106A595927DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1a8b6b13bef47cb19f4e2508b5917af235a65eb0","datavalue":{"value":{"entity-type":"item","numeric-id":21668,"id":"Q21668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2217198$BE5F3204-C39A-4ABB-AD79-B08D01A7A26B","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":"Q2217198$775C61FA-78A9-4B51-869A-448E93D9E78E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1cb314be56584c4a3b78c42d4c6a1e8e149e010","datavalue":{"value":{"entity-type":"item","numeric-id":3649136,"id":"Q3649136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2217198$F631C83B-B47D-43EC-B084-9829BEADAC73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ae542aa49195da2f0564220c3e6d6c6c5762344","datavalue":{"value":{"entity-type":"item","numeric-id":769601,"id":"Q769601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2217198$9CE2950D-A78E-4BDF-848D-77209631D14C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe70c3ae1e399026eaf738ef454bdf99719b5535","datavalue":{"value":{"entity-type":"item","numeric-id":3849889,"id":"Q3849889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2217198$45D95CDA-2D35-421D-BB48-F9CFAA38C60E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47b0ec3118c55b6f3ab232f29debefc8c9d383a9","datavalue":{"value":{"entity-type":"item","numeric-id":3688389,"id":"Q3688389"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2217198$31546CDC-9E81-4D24-9F69-CFF27A15DA8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa0540fd78fb7a7ac36ecb95287d9deaac0fb1e2","datavalue":{"value":{"entity-type":"item","numeric-id":5585021,"id":"Q5585021"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2217198$2008B0D5-4B1F-449D-93FC-1A99C107DB2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"458562ae2613db0abbaf26dc41331f544ed51ee9","datavalue":{"value":{"entity-type":"item","numeric-id":4023355,"id":"Q4023355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2217198$9A5F4D97-77D5-4464-B42F-2511EAD27DC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b02cebc44c2831878b18e904086383fc947d3037","datavalue":{"value":{"entity-type":"item","numeric-id":5417200,"id":"Q5417200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2217198$AB734EA6-C7B2-4181-BC33-C89FE32E8380","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8242928870aab67343ad0152eb7ca8357168f7f3","datavalue":{"value":{"entity-type":"item","numeric-id":3454108,"id":"Q3454108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2217198$1E13F690-1E51-4747-A674-F0E3AFD0E3D7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d4b965cb61fc70b1e7efe65d69e7fa2f86ced5a6","datavalue":{"value":"https://doi.org/10.1134/s0361768820020073","type":"string"},"datatype":"url"},"type":"statement","id":"Q2217198$1EE86D66-0E58-4F91-BF9F-C0EC79356FBC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9bbe98e1b522cb11e4251e0c1fe295ec7175b02a","datavalue":{"value":"W3016698841","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2217198$406463B7-3EA9-4A38-B7F7-0D5E7D2BF6B5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"756e02cd09f4843ff728832d0e5bf8cf7cb2da60","datavalue":{"value":{"entity-type":"item","numeric-id":2132545,"id":"Q2132545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6add0dbfd9918eba1d722d91ac9d9e32de6c98a1","datavalue":{"value":{"amount":"+0.7520506381988525","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":"Q2217198$B1F19640-B327-4ED3-8AF7-028E622F5259","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ac0ce1a15a6f8a98914f6aa448f055825b864ff2","datavalue":{"value":{"entity-type":"item","numeric-id":714617,"id":"Q714617"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9efde013b9699addb70a451b8ff74368e598f220","datavalue":{"value":{"amount":"+0.7098473906517029","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":"Q2217198$E2FAE4A0-10E5-47A0-BEDF-A25CDECC5F94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7cbd2a7b2948c445ba73b2a5bba38cefdbe8da2e","datavalue":{"value":{"entity-type":"item","numeric-id":3613425,"id":"Q3613425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3f6c4c7853959d6efaf91d8645a4813117112ca7","datavalue":{"value":{"amount":"+0.7056630253791809","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":"Q2217198$C8632678-355E-41CB-B0EC-5377C510D69C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"56efa1d86bf45c449941928f13899f3d678e5969","datavalue":{"value":{"entity-type":"item","numeric-id":3613426,"id":"Q3613426"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"270127e7e1ae9a51955648df23840c18d9909c43","datavalue":{"value":{"amount":"+0.6962202191352844","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":"Q2217198$014200D3-E5AB-40E8-A759-BB34610A2A97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"64fa174be350d15f32719e74a3c9677639f35386","datavalue":{"value":{"entity-type":"item","numeric-id":5394418,"id":"Q5394418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d3473828cd1238a87fd972ce4cb513e3b634e1ac","datavalue":{"value":{"amount":"+0.6932426691055298","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":"Q2217198$1A19D24B-FF8F-41B5-9276-29E682EB3AEC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2217198","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2217198"}}}}}