{"entities":{"Q2945628":{"pageid":2956348,"ns":120,"title":"Item:Q2945628","lastrevid":52344257,"modified":"2026-01-22T09:47:14Z","type":"item","id":"Q2945628","labels":{"en":{"language":"en","value":"Machine-checked verification of the correctness and amortized complexity of an efficient union-find implementation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6481860"}},"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":"Q2945628$9FB0FA13-4050-42E5-BF4B-309173A3D8A5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b6a07b2bda12501b5a05609ad6a1212d74aac8b5","datavalue":{"value":{"text":"Machine-Checked Verification of the Correctness and Amortized Complexity of an Efficient Union-Find Implementation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2945628$3702848E-4D2C-43AA-88D7-14389747F702","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d73a84e1641e0746656482e04db1a309197bd360","datavalue":{"value":"1465.68172","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2945628$739A9C3A-BF5C-478E-A1BC-3F62305FAB90","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b1df970326820415c366caef636ff6efdbd932ea","datavalue":{"value":"10.1007/978-3-319-22102-1_9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2945628$1C362F26-D844-47BF-A07B-16403004301D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b34313f1bad29f9702b9bd0cdb9e2cbc9d54ccb9","datavalue":{"value":{"entity-type":"item","numeric-id":670697,"id":"Q670697"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945628$1E721DDB-BEA9-48C8-8CE8-D606B9F2C28E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4e100a9ec349c9a09af054c90a9680f202a82f59","datavalue":{"value":{"entity-type":"item","numeric-id":670698,"id":"Q670698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945628$77134A15-9C66-4496-8BF6-75F0D7B63598","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d43c6ce6e92d67a2cb7e4a7df2a7d5eeec36e724","datavalue":{"value":{"entity-type":"item","numeric-id":2829237,"id":"Q2829237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945628$50FEEA48-CBAD-4AC7-BA31-D36238DBF1FD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ece460bc202bb4ec344b5d620998e472753b138b","datavalue":{"value":{"time":"+2015-09-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2945628$E22FA840-8F88-4F18-A743-6746261808B1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"47e0fe65af8819ad4d05528e272bf9b05dd3d572","datavalue":{"value":"https://hal.inria.fr/hal-01245872/file/credits_itp15.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q2945628$7AAB0B8C-B0ED-4321-8C1C-A25A33A3A4D5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2945628$6EAE4466-98F0-4286-A9B0-F778F1D4E3A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2945628$A6CFAB8D-1898-4271-BC4A-DEA38015C8FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35c3f01235ccba091e1644bb05c86f53d45fd7f7","datavalue":{"value":"68N19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2945628$8D5639B2-D4C4-45DC-AC59-29D7EDF4D4FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"14cf74de25853c940589b125137b792dfb2d092b","datavalue":{"value":"68P05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2945628$364ABF8A-8963-469C-AC09-F57D4A11064A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"58b3a5d0bc4bfd215423308dfe52b6887acdeedd","datavalue":{"value":"68V20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2945628$3FEA6DCE-DF68-4543-BEBD-27BC6CCCC172","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"14b599089e9d46d7d79d15068f5b3e53b27aecc0","datavalue":{"value":"6481860","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2945628$E6EE7350-71BF-42C4-B786-D4235490004D","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d3385954e206fa4a5bbcdde66dd867f18c8df62c","datavalue":{"value":{"entity-type":"item","numeric-id":25202,"id":"Q25202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945628$FC40D9AD-014F-4AAA-91CE-730121BE89D0","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":"Q2945628$4F29F8A9-E727-430E-9A08-B54A8C6B08F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"73bf07fb0985efe0166024eb806e5cf2244671a5","datavalue":{"value":{"entity-type":"item","numeric-id":18489,"id":"Q18489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945628$85BD7D6A-EFF2-49E8-9C7C-861F899C0812","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"09c5df2f79cd65e7141b8896d9eb5fe67de7922f","datavalue":{"value":{"entity-type":"item","numeric-id":34466,"id":"Q34466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945628$B6F22BBF-1624-4F99-9B0C-5CF191002959","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":"Q2945628$206D87D8-6B2A-4940-89D3-2F4A9F981734","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"22de75a56182f3cc23f0e2ea1135e41b2899fb93","datavalue":{"value":"W1424217719","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2945628$D0045FCC-E59F-4EDD-A067-DCF938C0795D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"340ea97c0f2f383d364057042ebc9f9438fcc85a","datavalue":{"value":{"entity-type":"item","numeric-id":4091421,"id":"Q4091421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945628$D8F16EA1-13D2-4794-B44B-5A5B1CFC5C0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"729a92599ba192be57fc43749d9c999988b7995c","datavalue":{"value":{"entity-type":"item","numeric-id":4962164,"id":"Q4962164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945628$61EA536F-1524-4479-BA9E-72A6021AC642","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"035953c95ce883fd3db0d62d7abf430b08770ff1","datavalue":{"value":{"entity-type":"item","numeric-id":3460499,"id":"Q3460499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945628$7CB6D54A-8E0F-48CB-A660-653BB256E4EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"292d5c006305603ea251952b72b3907af5565470","datavalue":{"value":{"entity-type":"item","numeric-id":5176951,"id":"Q5176951"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945628$EBC1F804-485E-4C4F-A419-B37767295491","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dee6886b1b12e58b80eab37b36f8fad3afe11f9e","datavalue":{"value":{"entity-type":"item","numeric-id":2936804,"id":"Q2936804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945628$F2FC91BD-238A-47F3-98CD-4FB62DE2762F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"96ea196faee8c640074bf14707c6cefd00fd7c1a","datavalue":{"value":{"entity-type":"item","numeric-id":5458407,"id":"Q5458407"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945628$B9B101D1-2FF2-4D81-BB75-C9D93E2DE23F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9194e9b150f8488fef979658da21ddd0e60751fc","datavalue":{"value":{"entity-type":"item","numeric-id":3651735,"id":"Q3651735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945628$0904755C-0AD0-460C-B3B6-CB44760BA1B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5da7bf26c66930ba336424cdfda93a39541c47d3","datavalue":{"value":{"entity-type":"item","numeric-id":3189833,"id":"Q3189833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945628$9365DC5F-EC10-4C8A-B5B2-B09BC5F9D573","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3f8f0b4240ad43b4400a2b1a7057f13444b1e8a","datavalue":{"value":{"entity-type":"item","numeric-id":5337563,"id":"Q5337563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945628$71792BF5-D683-4B7E-BF02-43CD74297E94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3d475b104702fe45fd57bd1344fb23caa384940","datavalue":{"value":{"entity-type":"item","numeric-id":3558228,"id":"Q3558228"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945628$F1CF5CF9-C2F6-4383-BFB7-2E63C8DE97F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"26cba9b0310940bbd32ffba3c2357cd3f3194911","datavalue":{"value":{"entity-type":"item","numeric-id":2942925,"id":"Q2942925"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945628$198BC9A9-66A1-4790-A6B9-9D72B828B904","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"06cb71931514c7bca9b4be85c814f79353a50251","datavalue":{"value":{"entity-type":"item","numeric-id":5667466,"id":"Q5667466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945628$C672DF00-D2F7-4812-BAAD-22A0195D1018","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"106f48d58acb197f852b9c44b4ad4b4e1be0644a","datavalue":{"value":{"entity-type":"item","numeric-id":4828911,"id":"Q4828911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945628$23D67192-BE47-4EE8-822C-2B1B83D0D3B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"997214a7b55ffabdba512d09541bacb2e1bdf519","datavalue":{"value":{"entity-type":"item","numeric-id":2945642,"id":"Q2945642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945628$D0F06644-6BC2-4C67-BA38-EB0AF81FB94A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e9366c82f8a71633f567b778add8be59a85724d","datavalue":{"value":{"entity-type":"item","numeric-id":3769963,"id":"Q3769963"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945628$D76423E3-6358-4207-8CC5-F2F51A53F58C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"932383d1ac997ed208ef47dcb574b592efaf75b3","datavalue":{"value":{"entity-type":"item","numeric-id":4065031,"id":"Q4065031"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945628$96A859FE-015A-4729-A206-FA483DB0EEB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1991f4b547e2ff1c1f581afcf8dbd3668dd60d9","datavalue":{"value":{"entity-type":"item","numeric-id":4062612,"id":"Q4062612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945628$3DB1535E-BDCA-4E78-AEDD-D677BB2AD40B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d2be8401770ae0a8798151eb1914f05246d53c1e","datavalue":{"value":{"entity-type":"item","numeric-id":670699,"id":"Q670699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"551e761388098e0884f74f3b9419b76be865c592","datavalue":{"value":{"amount":"+0.9537040591239928","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":"Q2945628$E13FEE49-CDD7-41C4-AAAD-B9CBDB766AFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6514c8e4ea3a00a2cc8c883671b99311281d399f","datavalue":{"value":{"entity-type":"item","numeric-id":670702,"id":"Q670702"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0e3118a47e157550cf24fd0a1b9ebb94269f7656","datavalue":{"value":{"amount":"+0.780939519405365","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":"Q2945628$378FED33-4531-4C89-91F4-0E417F558F66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"196c8350dd438f46d7514e3ac5c05ef898fd66aa","datavalue":{"value":{"entity-type":"item","numeric-id":2945642,"id":"Q2945642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"11f3cd62cf0db8f92461e0e062ced2865cc038e4","datavalue":{"value":{"amount":"+0.7661824226379395","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":"Q2945628$09D14E73-BDE4-4FE8-B900-3D0C1DA152A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"59bfbdc7e86cccf445f54e1e3091c5033971a071","datavalue":{"value":{"entity-type":"item","numeric-id":2323994,"id":"Q2323994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5f6c0d6321510a05235e5a438b1523a283877233","datavalue":{"value":{"amount":"+0.7234512567520142","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":"Q2945628$703E329F-2D7E-44E0-9CCB-4D2B04BB1AC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5fea09f7adfa24904e85389cd179ee2197ae874c","datavalue":{"value":{"entity-type":"item","numeric-id":1799114,"id":"Q1799114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5905f5a773f292c25adfa4ae5a0dff8a61e07383","datavalue":{"value":{"amount":"+0.7232534289360046","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":"Q2945628$90E1062F-E4AE-433D-8C54-2537DB582225","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2945628","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2945628"}}}}}