{"entities":{"Q3179390":{"pageid":3190098,"ns":120,"title":"Item:Q3179390","lastrevid":86608559,"modified":"2026-06-04T02:49:14Z","type":"item","id":"Q3179390","labels":{"en":{"language":"en","value":"Relation-algebraic verification of Prim's minimum spanning tree algorithm"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6667700"}},"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":"Q3179390$EC98B83B-DE73-4628-9CCC-55FCC7973A2A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"de1be492e989e6c9e76016aa2586a23c0f2f7707","datavalue":{"value":{"text":"Relation-Algebraic Verification of Prim\u2019s Minimum Spanning Tree Algorithm","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3179390$66B1F74A-3660-47C5-B245-02BAFAA82191","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6dc999eeaa7f22c73bfd44239e4ff975636eb336","datavalue":{"value":"1400.68155","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3179390$EBA0C310-8222-49F4-B59C-BB6140CC651E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7ff5d3951ae52bd480ad7f2993f04a9a0196342e","datavalue":{"value":"10.1007/978-3-319-46750-4_4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3179390$6090A447-77AA-486D-9F60-8F7363C9FC91","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ed69aaebbce1b2394bce597626494f1caaec9558","datavalue":{"value":{"entity-type":"item","numeric-id":299187,"id":"Q299187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179390$DCB362D0-B4AC-4637-9616-ACA4881BC5BD","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"96b799bc507f1a598de85f391b2f2fb813846caa","datavalue":{"value":{"entity-type":"item","numeric-id":3179386,"id":"Q3179386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179390$44897C47-A253-444D-AD1F-9F8D1A1B1CCE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3828a03a027ab495f54f036846c4548856b1f3df","datavalue":{"value":{"time":"+2016-12-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3179390$43E3EF8D-B991-4426-8A23-F5230902B00D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"344f62a15ccd40e690364bd758985e8313f47f4a","datavalue":{"value":"68R10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3179390$59DC3DF0-5D14-45D3-ABF1-BA681E485333","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b2773d305bb22ed635d748bc939993c6750608ab","datavalue":{"value":"05C22","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3179390$8E1AC9FB-4B40-4F30-9AC7-008F40792C1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"749b7137f279a66a306e75e15f613231b281c1c5","datavalue":{"value":"05C85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3179390$71CA7F62-004E-4621-BBE4-35B59F63BAC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3179390$BEDDF562-DF54-49E1-A5A5-0A89D128641C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"11ac615432337f8417bbdf649e63bf6f6a33c5ae","datavalue":{"value":"6667700","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3179390$E0542AF1-16EF-4F3F-BCD3-94A32BDD96D7","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9b0860d94af5fdff4b5635709ae334aacdf07ca1","datavalue":{"value":{"entity-type":"item","numeric-id":19106,"id":"Q19106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179390$FC1065D0-2C24-4BAF-9FAB-CFAFC2475CF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c5fcda2c98ddff866834785339eb37077e5eb1fe","datavalue":{"value":{"entity-type":"item","numeric-id":13212,"id":"Q13212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179390$3045CDB5-EA57-4E0B-8995-1320C096706D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7f231912461a4cf859d87b4356c5e2a2037e1e84","datavalue":{"value":{"entity-type":"item","numeric-id":17631,"id":"Q17631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179390$DD317973-6F4E-4F32-BAA2-85B49B531A2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e338912f65cbd77347bbd512933e55736ef58bd1","datavalue":{"value":{"entity-type":"item","numeric-id":40327,"id":"Q40327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179390$36A28A8C-63F8-4DEC-8DC0-0F201136C150","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"5cedfd091c2258943cadcffdadbd4749dcfc2b02","datavalue":{"value":{"entity-type":"item","numeric-id":13546,"id":"Q13546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179390$DE21E7E7-ACE2-42BD-B414-748D8AD2E782","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fa5dc13872ba1592e71dabc4befba1daea72a8a3","datavalue":{"value":{"entity-type":"item","numeric-id":14275,"id":"Q14275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179390$64E02FCB-0922-4CBD-A178-D4A48D587B00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f60be08d608d0f944d8eadd79e0cf7ce19f7318a","datavalue":{"value":{"entity-type":"item","numeric-id":43914,"id":"Q43914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179390$6861F15F-84D5-4E61-AFF1-BEA116D9EE28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"6ee09fe69dfa555094283e37ed7e7b0f7e7f6dba","datavalue":{"value":{"entity-type":"item","numeric-id":43913,"id":"Q43913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179390$512A0C73-1CFF-415D-B87E-817F8CF50DA1","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":"Q3179390$148F2A5E-244E-4562-BB7F-6C1209AA945A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8469b2340e66a6306dae3c34a34aa495b2c7ea90","datavalue":{"value":"https://doi.org/10.1007/978-3-319-46750-4_4","type":"string"},"datatype":"url"},"type":"statement","id":"Q3179390$8136ACB9-3C3F-4267-9484-85C279813129","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"44ba3e6deac528f8d172ff7c4f43796e3950181a","datavalue":{"value":"W2521096248","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3179390$2B81C4FF-07C0-48F1-BBB3-711C2BC33B96","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e35cfc212c85aaa97598370541cd17cff268048b","datavalue":{"value":{"entity-type":"item","numeric-id":4436983,"id":"Q4436983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179390$9F616A06-DDAB-488C-BE81-2C1D49A00D0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c62688c922911868229d4bc8f5852a40b431a7a","datavalue":{"value":{"entity-type":"item","numeric-id":2347907,"id":"Q2347907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179390$C215449E-D4D6-4E73-96C2-227DAD7AEF09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"48b73f3032e55c05e614e5040d25638059bafcb3","datavalue":{"value":{"entity-type":"item","numeric-id":4362882,"id":"Q4362882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179390$44132434-64D9-43D6-AAA7-DA27D8074A2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03b00fbb135f376803d5eb08d289fdbd34b5c680","datavalue":{"value":{"entity-type":"item","numeric-id":4213376,"id":"Q4213376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179390$DCF69C17-4A9F-4E8A-BB79-B912FE989EBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4b2f8743d02e4ef0bf3e5a127b17baf880757fa","datavalue":{"value":{"entity-type":"item","numeric-id":2253612,"id":"Q2253612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179390$F1E0E0C3-DA13-4E40-B844-03D4E9AC2CBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"15f915bd6752b8e731b62673178ee8eafb7e0b32","datavalue":{"value":{"entity-type":"item","numeric-id":4331824,"id":"Q4331824"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179390$22173F46-5124-422C-A9E3-801CD27A738E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a7f95a181a122f35ae18fd86fcaee76950d7cde","datavalue":{"value":{"entity-type":"item","numeric-id":5532570,"id":"Q5532570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179390$012A828F-272F-4AE1-A3E7-387CB9CB7960","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"590caea8712eb858a35d283a5df324f9f874b2e9","datavalue":{"value":{"entity-type":"item","numeric-id":3184724,"id":"Q3184724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179390$8743BA34-20E1-4939-B952-84ADF900E4B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3fea6dff3d36407dad60fa8e8c9bcc1f06ec22da","datavalue":{"value":{"entity-type":"item","numeric-id":5200019,"id":"Q5200019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179390$9809FC4D-5E91-479D-984A-CBA01ABB9B30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c0000af6e96a9619ff38094013d865750057e54c","datavalue":{"value":{"entity-type":"item","numeric-id":1775133,"id":"Q1775133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179390$0ADE2CBE-11CA-4130-921E-BE9692984795","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"260b277eb07571fe346af35adc562c933c9b0bbf","datavalue":{"value":{"entity-type":"item","numeric-id":4273425,"id":"Q4273425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179390$FA9F3837-42E8-4652-87E9-BAC241BDADBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c95887997d61befa174dc6f5c2a08804d32a7d64","datavalue":{"value":{"entity-type":"item","numeric-id":5639639,"id":"Q5639639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179390$1EC9626E-87D7-4DAC-B009-82C6295F8E7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11eefd7e7dc86c1755a8db4c6825e6e9fdeb6d39","datavalue":{"value":{"entity-type":"item","numeric-id":3619797,"id":"Q3619797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179390$858F007F-7CE1-4113-94DE-D5EE1BA2E63E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"81cbe2c6b59cb4d4c8872baf22c497a87f58682a","datavalue":{"value":{"entity-type":"item","numeric-id":406445,"id":"Q406445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179390$D49B979A-843E-41B0-82FB-FA5B895D9461","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b989f45b85fa44137ad22092706b6102fd241bf","datavalue":{"value":{"entity-type":"item","numeric-id":78129,"id":"Q78129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179390$00390E9A-C88F-44C1-B56A-1A48B18AF4F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"348626b76337418115742bce9a0b318997421ad0","datavalue":{"value":{"entity-type":"item","numeric-id":2523884,"id":"Q2523884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179390$3BF37B7F-94BB-40D4-B7C9-61B6A6D5CFAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5aa0defc28f2aa03c7cac34bf35e27c08ffec9a9","datavalue":{"value":{"entity-type":"item","numeric-id":2455350,"id":"Q2455350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179390$0449403C-7303-4E64-86D6-498C5FC68DAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47ad6861c78fd4390c0613c4ab63948d956f71fd","datavalue":{"value":{"entity-type":"item","numeric-id":5639727,"id":"Q5639727"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179390$5CB89F2C-9BD5-416A-8023-6664123DD44D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6504ea2fe950a84d1f07c73d50950087b71030ff","datavalue":{"value":{"entity-type":"item","numeric-id":1125687,"id":"Q1125687"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179390$1F19669F-874D-4468-9081-68FF19E06C82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be1c5b7fb11bb0f6de42d5f916f4f1a5abdfdf3b","datavalue":{"value":{"entity-type":"item","numeric-id":1941863,"id":"Q1941863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179390$70E26135-536F-477B-9321-ED1145EC6391","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"551681d017f4f47c8c95263caf4b8f4e168dd7da","datavalue":{"value":{"entity-type":"item","numeric-id":5459186,"id":"Q5459186"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179390$689C033A-F011-4512-85A5-A6CE34B76880","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1fe88c645020029ec46d9ae1db76daf25b62c333","datavalue":{"value":{"entity-type":"item","numeric-id":2844116,"id":"Q2844116"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179390$301123A8-7B3F-4C8A-BC7B-ABFFBE7B04DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"70f637f77312603427e8d99278bf032e52917154","datavalue":{"value":{"entity-type":"item","numeric-id":1961868,"id":"Q1961868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179390$1762F53A-F9E0-4D67-93CB-4A33B83BF39D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a634cbc29683300650d9989a01808c0a4931ead5","datavalue":{"value":{"entity-type":"item","numeric-id":4398780,"id":"Q4398780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179390$0D1CC397-661C-4C42-894B-CF8DD59E120E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7ecdcca463445112101708876695eded3f30222","datavalue":{"value":{"entity-type":"item","numeric-id":1327385,"id":"Q1327385"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179390$04BEC962-92D3-4648-AC39-B4558E303003","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9606fd05626b0ce87acf22eb58ee35571938fd15","datavalue":{"value":{"entity-type":"item","numeric-id":2355381,"id":"Q2355381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179390$107F60BC-FB5E-4123-A3F7-B2C2B22D6A4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b4ccaeb75a4a06146511408fcab920e4b77b6f1c","datavalue":{"value":{"entity-type":"item","numeric-id":1350513,"id":"Q1350513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179390$D655D4C0-F1E3-4397-A664-F5254A1F9143","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3d1c39553e0ae53fb417b2c56c6ed0dd95a6a44c","datavalue":{"value":{"entity-type":"item","numeric-id":458468,"id":"Q458468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179390$117874B0-D3F0-40F0-B547-DF960A43C7EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da6449fa32317f64e0e88162e1e76272b77ced27","datavalue":{"value":{"entity-type":"item","numeric-id":1272764,"id":"Q1272764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179390$0D15A14E-7392-4797-A9DF-C0F23BEC6935","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84afe353d96a988928bd5d41e96afba7e81d6980","datavalue":{"value":{"entity-type":"item","numeric-id":1600086,"id":"Q1600086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179390$36C0E024-5E54-4B7B-BF87-D9A348632293","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f700a75ce07071ada4e1d187b51eb2723a50613","datavalue":{"value":{"entity-type":"item","numeric-id":5191091,"id":"Q5191091"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179390$4523B0B8-1B66-49AE-9BC8-711A653D07FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"469e5cf3abd485be9772c723d91186d8c3a6ff2c","datavalue":{"value":{"entity-type":"item","numeric-id":1941862,"id":"Q1941862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179390$A8E732F0-D65C-4D57-A63C-7A38AAB29F14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f42a950b615909cc949a6e5cafc545b4c00fcd00","datavalue":{"value":{"entity-type":"item","numeric-id":5401551,"id":"Q5401551"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179390$10D10B53-A7D2-413B-9952-A133E17103DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bbc106b731042db90c61107a1945c225e20e2508","datavalue":{"value":{"entity-type":"item","numeric-id":5287518,"id":"Q5287518"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179390$BB685F26-F0B0-41B9-AEE8-324897121F7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a6daed1a8fcaca7a71aaae67ae286b4fdbaf987","datavalue":{"value":{"entity-type":"item","numeric-id":817587,"id":"Q817587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179390$04F8A66D-580E-4C61-8522-15239B71F4DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d7567bd0a6ed8c9aba25e73fac852692a5fc8815","datavalue":{"value":{"entity-type":"item","numeric-id":1602557,"id":"Q1602557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179390$C1BF419F-BF7D-4279-B828-DAF24F56226B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d8b0057e1b2de1ef055e2581afbead2598bb086e","datavalue":{"value":{"entity-type":"item","numeric-id":1786562,"id":"Q1786562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"043ead6ec2ae115a5c186ab720ca25a617c07229","datavalue":{"value":{"amount":"+0.9362660050392152","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":"Q3179390$F5FA5CCB-3F42-4A6E-8ABF-7A4C88637537","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"45f07c7cdb2d14d49806f1ded7c23da2deb7e2f2","datavalue":{"value":{"entity-type":"item","numeric-id":1994364,"id":"Q1994364"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0c1fda6e1992b18f0bfc4f4521415ecf39e32d1a","datavalue":{"value":{"amount":"+0.8799589276313782","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":"Q3179390$DEA31824-872F-426F-8274-8B9BDADE7EB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"22276d1e8462a5c4f3cfa57cb5bda758324d7049","datavalue":{"value":{"entity-type":"item","numeric-id":4436983,"id":"Q4436983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a20220290a406c2943e0b0255d9d58c1e75fb9dc","datavalue":{"value":{"amount":"+0.7988043427467346","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":"Q3179390$3712A00C-C927-43D6-867E-226A8054D01D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6929a5747143b1733d8bcd0975c6d2915387db4b","datavalue":{"value":{"entity-type":"item","numeric-id":4213376,"id":"Q4213376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8cc23c3a93ce3f7a43d833a34b06fc69197e1fe9","datavalue":{"value":{"amount":"+0.7772265076637268","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":"Q3179390$E7C07C95-7212-426D-9D9F-4E69D2AA0BFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3104c9cf4ba938b9f97792be3854fabd39bff5cc","datavalue":{"value":{"entity-type":"item","numeric-id":832310,"id":"Q832310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c114520090e9cbf134ffcd595a2bb56049a06652","datavalue":{"value":{"amount":"+0.7761122584342957","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":"Q3179390$A810C4A6-8301-4164-8836-EA43662D69BD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Relation-algebraic verification of Prim's minimum spanning tree algorithm","badges":[]}}}}}