{"entities":{"Q2311524":{"pageid":2322267,"ns":120,"title":"Item:Q2311524","lastrevid":78563507,"modified":"2026-05-06T11:53:38Z","type":"item","id":"Q2311524","labels":{"en":{"language":"en","value":"Partial correctness of GCD algorithm"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7078677"}},"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":"Q2311524$0176B526-C5B7-4033-AA43-B62E323C2B3F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"13a03485d583c9a1356ecbdc2ddabddf9a2da9fc","datavalue":{"value":{"text":"Partial correctness of GCD algorithm","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2311524$35616F7E-530F-4BE2-9FA2-F89BF995501D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"31ad647ba467d9b99ecefc18126d82512a17dee4","datavalue":{"value":"1422.11240","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2311524$A1605B73-EC9F-4E7A-9CD5-9C755042F693","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2e5a0a219ac98a153cde5448dff95be1f29ecc27","datavalue":{"value":{"entity-type":"item","numeric-id":271898,"id":"Q271898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2311524$2A0B9D71-4430-42A2-8F94-D2D043BB917D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"640c4be06d582c72de984ba8f70a853b3b8bd56b","datavalue":{"value":{"entity-type":"item","numeric-id":271902,"id":"Q271902"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2311524$775394B8-2542-4683-834A-359AD7FBE776","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5736b10882fcd248ee7728f1c7c88885067ebad5","datavalue":{"value":{"entity-type":"item","numeric-id":271899,"id":"Q271899"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2311524$8865F950-282D-4631-B167-0DC35902F614","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c3dca13c7f771f7d8dd6a8eb7199e738ac50173a","datavalue":{"value":{"entity-type":"item","numeric-id":271889,"id":"Q271889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2311524$F6622D0B-1697-4BB9-A491-C9A2A1837CFB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"be4c5ce9058e70e86b27db6383241102ef321cb0","datavalue":{"value":{"time":"+2019-07-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2311524$407F7A06-4442-4C3D-A2F1-47160A26E16B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fd716104cf156585f3bce22202c836b7465d3133","datavalue":{"value":"11Y16","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2311524$FFE7252E-6D72-4E01-999A-BBB44EC2F9CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ecf21397fdcced4e2aeef35f7ab4217f79a7d6ec","datavalue":{"value":"11Y11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2311524$61DC422B-1141-4A89-8885-B28DDC3EFEDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2311524$43448BE9-37E2-4B1E-AD6B-8DC012334F2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2311524$37C9C337-F4C6-42F2-A6ED-75812FFB599E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"988269c53327d1b9bdd4c81640beae81fbd2dab4","datavalue":{"value":"7078677","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2311524$34BCC243-DEB2-4C64-9115-431856A065F3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ac88c7c4ceb79c868083defb73e33bb7e3d89ba0","datavalue":{"value":"greatest common divisor","type":"string"},"datatype":"string"},"type":"statement","id":"Q2311524$782D7909-46F9-485E-8DCC-67E7B551FC89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cc330330af81c651fedbd47b883734cbc393641e","datavalue":{"value":"nominative data","type":"string"},"datatype":"string"},"type":"statement","id":"Q2311524$3DEC0353-663E-4FA6-B7FF-1AB243320A70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c50d987ab7c3ea2a41cb6aca681d912964971ed8","datavalue":{"value":"program verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2311524$2FBC68D9-9557-4188-8169-60B4D361424A","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"19c3232540dc15c9350e8393498317de25361cb2","datavalue":{"value":{"entity-type":"item","numeric-id":16873,"id":"Q16873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2311524$29B47F86-F87B-413F-A73F-183A72D2C2F5","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":"Q2311524$39DE77E5-18C0-4F41-9EAB-1F6F06CD4774","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"41d79fd80c57ee9f333c7b5ed3fcd087683951d2","datavalue":{"value":"https://doi.org/10.2478/forma-2018-0014","type":"string"},"datatype":"url"},"type":"statement","id":"Q2311524$C0A03108-3DE9-4650-827E-6833413FAD2D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"82a539abccfcc66ecfd157e1a1b2555de03f7750","datavalue":{"value":"W2907818187","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2311524$67C1E467-A6B9-47DC-A454-3D1FC2D62712","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ebbe3f6a88e51e1203c3c8190dcfbdac3cc8dde","datavalue":{"value":{"entity-type":"item","numeric-id":1663215,"id":"Q1663215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2311524$B4717991-04B6-4D1F-8DA9-296FBE59FEF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d861948f1f6146a05d3ce13e4c51b6e0c074be1f","datavalue":{"value":{"entity-type":"item","numeric-id":286794,"id":"Q286794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2311524$4ABB29D3-9807-414C-A851-ACB6B52957C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"50098f7373776d4560222ecc8a748602d90caa1a","datavalue":{"value":{"entity-type":"item","numeric-id":1688748,"id":"Q1688748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2311524$7C72B406-7CA2-4C5E-8D2A-1243B28A9A27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"deeae895a2eedc4d5094f7da768129446f8f2e69","datavalue":{"value":{"entity-type":"item","numeric-id":1650410,"id":"Q1650410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2311524$406F8FCE-E9C7-4561-97BC-30F8B7E8770A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"804d612aa23ca04bde66555843a754f787b9f3b8","datavalue":{"value":{"entity-type":"item","numeric-id":1796766,"id":"Q1796766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2311524$36452367-A808-4D69-B3EC-BB5DE8673F70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"129b34a25e9b7fb67fdfe3e59012717c8e20f4a6","datavalue":{"value":{"entity-type":"item","numeric-id":1650373,"id":"Q1650373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2311524$4DF094E0-015B-47E5-8C25-6E473FB506BC","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"30a7ea05ac39a4f9c2e02bda9da2f699a896bcbd","datavalue":{"value":"Q128663203","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2311524$D9F706A0-2992-44ED-8672-73C76DE450F5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2b088207a227e5120e144d72c7f6090bc66ed03a","datavalue":{"value":"10.2478/FORMA-2018-0014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2311524$44231B2A-BA23-44CD-97B7-7AE4697C615F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f1309c64ee93aec7c1d3e75069d0b5bfba7eb1a8","datavalue":{"value":{"entity-type":"item","numeric-id":2337338,"id":"Q2337338"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d0c9e5c9155b7000d00897e827903cd37412bbec","datavalue":{"value":{"amount":"+0.7693700194358826","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":"Q2311524$1FA92684-48AD-42D9-AE8A-CD73C6B9C4D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d2b3c798b7f555ed21cc5776c6a654b949ca8478","datavalue":{"value":{"entity-type":"item","numeric-id":2337337,"id":"Q2337337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3f20576b91469db7db491bf37cc7d012f1e383bc","datavalue":{"value":{"amount":"+0.7605836987495422","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":"Q2311524$A53AA4DF-BACB-4806-8A9D-7C0E19558EE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d088d69d359dca4f450b16ef785ce4fce80bb09e","datavalue":{"value":{"entity-type":"item","numeric-id":4704559,"id":"Q4704559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cb556642388f4bf17acb3462e8b723a63888a9f4","datavalue":{"value":{"amount":"+0.7334194779396057","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":"Q2311524$385878CF-ADD0-4E49-93F0-0360937B1120","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dca312cdb0be4623ba7dbb8a29119154f68de807","datavalue":{"value":{"entity-type":"item","numeric-id":4885863,"id":"Q4885863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cb556642388f4bf17acb3462e8b723a63888a9f4","datavalue":{"value":{"amount":"+0.7334194779396057","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":"Q2311524$C39C9C78-D090-4289-AC54-A1C28328022E","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":"6daa1873e65e929290e7b7648913de27b150664b","datavalue":{"value":{"amount":"+0.7333212494850159","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":"Q2311524$233191BA-702A-4402-A6AD-8593AC80EC8B","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"6e2260e47a2889770c9d5516a7c5ae827b188d2b","datavalue":{"value":{"entity-type":"item","numeric-id":6830563,"id":"Q6830563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2311524$27C76DBC-403C-4D8D-A438-93278C557307","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Partial correctness of GCD algorithm","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Partial_correctness_of_GCD_algorithm"}}}}}