{"entities":{"Q439948":{"pageid":441715,"ns":120,"title":"Item:Q439948","lastrevid":61888503,"modified":"2026-04-11T02:20:31Z","type":"item","id":"Q439948","labels":{"en":{"language":"en","value":"Verification of multi-linked heaps"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6067707"}},"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":"Q439948$6D1CD477-69AE-4B88-A438-CC16EC5842C2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3f63006670cb23bf7982aa6dd3e6cb86d21f2966","datavalue":{"value":{"text":"Verification of multi-linked heaps","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q439948$88989DBD-1E1C-47AB-BDE3-489697F9878B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"85e3d8512dc6c385a430be9a5131b118d4d70a1a","datavalue":{"value":"1246.68093","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q439948$D90A2FBC-9279-4029-909E-B3AB4759BCA9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6b21de2dda3d15b0ba186c713f3078b0b25b5589","datavalue":{"value":{"entity-type":"item","numeric-id":439945,"id":"Q439945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q439948$311035F6-8005-4E6D-B02C-FBCAFC123954","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f609d14c1727f970ab5a0ef43992b4a7d4a23fcd","datavalue":{"value":{"entity-type":"item","numeric-id":208770,"id":"Q208770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q439948$88E0641C-91B2-4CA4-B183-7121B83ADE92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ecd4d180c59cb7cc4d2b242982020fe12cef7f90","datavalue":{"value":{"entity-type":"item","numeric-id":439946,"id":"Q439946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q439948$61FA49E9-4D79-4213-B75E-770333205068","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"12c17a78388b1f2e92062c88fa4de25086298b5f","datavalue":{"value":{"entity-type":"item","numeric-id":439947,"id":"Q439947"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q439948$7864463F-5AD8-4D6D-A7ED-4987DCB8946B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3340243f57e05f2265c56423c388055a14b114fa","datavalue":{"value":{"entity-type":"item","numeric-id":107189,"id":"Q107189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q439948$86BB9CBD-4379-4A31-92C5-45951EF67E37","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b603f6512fef6ae8133f8f1ff885bde2efd37af6","datavalue":{"value":{"time":"+2012-08-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q439948$144364F2-0553-46E7-A849-5C0DFB42810D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q439948$E410B05E-2C85-477F-8D79-D74C0F5BF259","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q439948$40B8AD58-DF57-49B4-88E7-4AEF403E5092","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"03eceb4e933047198aa13716cdab00399357dc35","datavalue":{"value":"6067707","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q439948$52702B42-8E1D-4919-A331-1D78BAC968D9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4989eb152683ae59795f0e9b13db29659495b815","datavalue":{"value":"heaps","type":"string"},"datatype":"string"},"type":"statement","id":"Q439948$8D74D5AE-FEAF-4BFE-BEAB-E379875194B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"de129244198698b13a77bd931d64d05e13de4a9c","datavalue":{"value":"shape analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q439948$7BB7831F-04F1-42D7-BAE5-64F1721404E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q439948$25EFE0D8-DB5E-4CD0-BD39-3E761BBC462C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e404e0d47002bfb1532cb42cfe324606a2151619","datavalue":{"value":"abstraction","type":"string"},"datatype":"string"},"type":"statement","id":"Q439948$DCCF2041-52EE-4832-931B-41BADC607F1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6bb822207eea3d053f58247779d8a1098e1aced9","datavalue":{"value":"ranking abstraction","type":"string"},"datatype":"string"},"type":"statement","id":"Q439948$434F3415-4772-4FDB-BCFF-7CF7ADBE7B3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c029450b93f9cbd43abb9b07391f6718d0ba2a87","datavalue":{"value":"small model","type":"string"},"datatype":"string"},"type":"statement","id":"Q439948$921D731C-722A-43F3-AAAD-7C50B20DBC0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q439948$896D26FF-B3E9-4675-8EDA-609872ADBBE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4befa4ca20f2beabcfa09e8a92ae13c21cb4934a","datavalue":{"value":"termination","type":"string"},"datatype":"string"},"type":"statement","id":"Q439948$A3851B20-4E9B-4965-BB77-B5D22B9829F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c24938459dbf20196734dcf6c3a35c8a8724abee","datavalue":{"value":"trees","type":"string"},"datatype":"string"},"type":"statement","id":"Q439948$FF9EE3D1-E84B-4497-8728-119EEFA451A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d1b1b57278dbfe0191664931a2598a7540b5af04","datavalue":{"value":"lists","type":"string"},"datatype":"string"},"type":"statement","id":"Q439948$25BFA6E2-D88A-4643-B8A7-CD565C3DF228","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d73dd1d2420347810145e9b0595b720ed4f2fd21","datavalue":{"value":{"entity-type":"item","numeric-id":20857,"id":"Q20857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q439948$45AD34C8-A906-4305-807F-BA004189A6D5","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":"Q439948$A89E58D6-D556-41E7-BC22-9686EC981C58","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4d7edb6fd161b833ce90d29e82a7a6a1921475a6","datavalue":{"value":"https://doi.org/10.1016/j.jcss.2011.08.003","type":"string"},"datatype":"url"},"type":"statement","id":"Q439948$65D035F3-24A9-4E6F-9828-7C4EF280DABA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ada2a5fee83ff4d923106c86fbd1b43abfeb8c60","datavalue":{"value":"W1985592284","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q439948$9D366CEE-9E95-41C5-934F-E7691491E48C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e69e66169d13b5dd46ddd7a696b7a8a0e7742685","datavalue":{"value":{"entity-type":"item","numeric-id":4551152,"id":"Q4551152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q439948$0CA98AD8-0E80-42D8-BCA8-FF6F613921D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"564cac3cecae500a03fe5c95804baa48e6236dbc","datavalue":{"value":{"entity-type":"item","numeric-id":5711489,"id":"Q5711489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q439948$BBFE550B-CC7F-4431-8D0B-AB842FBE8211","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"68fa77d5ba37cef07db0a16651ff74769ad77ebe","datavalue":{"value":{"entity-type":"item","numeric-id":3426785,"id":"Q3426785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q439948$025BD65A-97FE-4A20-A11A-D0F85A78669A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0da45fc98e122038d90504035c635f38f260a985","datavalue":{"value":{"entity-type":"item","numeric-id":5452600,"id":"Q5452600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q439948$4DEA01F5-DFE1-4289-BD7E-F80BFAAA55A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"302fba4972f027bccf62618a4d6131134324ec74","datavalue":{"value":{"entity-type":"item","numeric-id":4472235,"id":"Q4472235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q439948$AFC07AF8-88A3-4C4B-8280-068BE272E2E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fd265a9d1e0c930d3261ac5aaae62352f73cdfe2","datavalue":{"value":{"entity-type":"item","numeric-id":4531754,"id":"Q4531754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q439948$180612F4-5CEA-46A2-BD8A-BFEAC4D5639A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe872a814069bf2cf5a96b0024d50c8fa8c00b8c","datavalue":{"value":{"entity-type":"item","numeric-id":5756731,"id":"Q5756731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q439948$F5557425-B06D-4300-B0E5-D4F82A849972","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ddd0949a53b05a5c6e9163f0e19b465ef959e53","datavalue":{"value":{"entity-type":"item","numeric-id":5898619,"id":"Q5898619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q439948$CEED5965-F18D-4617-88BE-B91658CE016F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"af4555c0d89e243a8a9351cedc1b4ffbfceace09","datavalue":{"value":{"entity-type":"item","numeric-id":5691140,"id":"Q5691140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q439948$30FE52CF-1BF1-42D8-B774-B9D34DCD008A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee4a364c7ffd575e9526a9a72ed0402273dd4826","datavalue":{"value":{"entity-type":"item","numeric-id":5756740,"id":"Q5756740"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q439948$E5BED8BF-7743-4931-9E25-6F88044CF2EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c3a32751a143a211da73fec4c2725da5321c9d9","datavalue":{"value":{"entity-type":"item","numeric-id":3184673,"id":"Q3184673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q439948$CF0571D0-2C1F-470C-BB47-8B52C4CCAF8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2bb9167a15a02d50f8531d7407b8aced98fa4dc9","datavalue":{"value":{"entity-type":"item","numeric-id":3336675,"id":"Q3336675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q439948$759D5EA5-F03A-407E-A785-969C338F1197","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7cd2a25d693a4acd921e56f15d1b3d06cb750f8","datavalue":{"value":{"entity-type":"item","numeric-id":2754081,"id":"Q2754081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q439948$4E429527-2BEA-4D93-BDB1-F1F56AA2A2DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a059efc4a1f49c1ef5ee155acd97eb4522ead2f3","datavalue":{"value":{"entity-type":"item","numeric-id":3906386,"id":"Q3906386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q439948$2231387D-1577-4B24-B81F-1FC8A68C1C7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"535dc5607b9a5698832e0f28acbbb8d60feb7628","datavalue":{"value":{"entity-type":"item","numeric-id":5048929,"id":"Q5048929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q439948$857504BA-4760-4F2D-8B67-7C69849CB526","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"916bfff73ab672f1043621ca668f716c2d60da90","datavalue":{"value":{"entity-type":"item","numeric-id":5261520,"id":"Q5261520"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q439948$8F528455-671A-47CB-960D-49CAB56642D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"838d1a0279b6bb577c789f0255b088571acfd62f","datavalue":{"value":{"entity-type":"item","numeric-id":5311254,"id":"Q5311254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q439948$5D58A90D-5DBE-487F-83C4-F92BDDBAA863","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e1040f5d7de42f2064718e38c58ade083ef9993","datavalue":{"value":{"entity-type":"item","numeric-id":5312907,"id":"Q5312907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q439948$2DD9F919-B2BA-4901-A4A6-CEF58EF5F341","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b883aef2f89b9929efcf17e4c0c45eb5680b0008","datavalue":{"value":{"entity-type":"item","numeric-id":3922128,"id":"Q3922128"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q439948$565557FF-76A9-478B-90F1-4E77F38E6BD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e04cf66f1b8c3bd1f3bbed16cc3b96dabda0b39","datavalue":{"value":{"entity-type":"item","numeric-id":1854391,"id":"Q1854391"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q439948$1E507588-2E8E-471F-B1FD-08C99FDFA371","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1175367724993f3e0249db2e141c79883c1c01f4","datavalue":{"value":{"entity-type":"item","numeric-id":5711490,"id":"Q5711490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q439948$C8334594-62A5-42CB-B8D5-D16D8B048465","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"175b398753b6478b140249590f4df7dba5367c3f","datavalue":{"value":{"entity-type":"item","numeric-id":5898616,"id":"Q5898616"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q439948$390901AB-1DC2-4E2D-B5A6-B26076D04614","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"01893115d15c8b27d6dde25c7a72d7981bc7bba4","datavalue":{"value":{"entity-type":"item","numeric-id":5899082,"id":"Q5899082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q439948$A50AB877-A857-4424-ACEF-0023B8742F4F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"64cd3f547bb7c6c2b4b13095c9c272ed4114822e","datavalue":{"value":"10.1016/J.JCSS.2011.08.003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q439948$E1A7D5FC-870D-45E7-8BC5-E107D9211A87","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"de44bf59f983291b6cf752f52b9ad5a88bfc80b2","datavalue":{"value":{"entity-type":"item","numeric-id":5452600,"id":"Q5452600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"af3e1d0c67daa349c69e450f92373724de20b106","datavalue":{"value":{"amount":"+0.9053494334220886","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":"Q439948$B179EF0B-1C71-49C1-8FBD-2F18C2276BE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aa1af7964d445b1653d8a5c0655b158c04645ee9","datavalue":{"value":{"entity-type":"item","numeric-id":2441715,"id":"Q2441715"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f616a1f5d6e8f55886efea61f9cfad9f2c41d7f5","datavalue":{"value":{"amount":"+0.7676877379417419","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":"Q439948$D636BCD7-0883-4CF8-AE3F-2F87547B4C8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5291b9b1607e541e9d0488c090faa6f672eb5dee","datavalue":{"value":{"entity-type":"item","numeric-id":5711489,"id":"Q5711489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1d4892856dfb9707c96094b1887a2011f014dec2","datavalue":{"value":{"amount":"+0.7444632649421692","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":"Q439948$FC07A1BA-9227-4CF8-A59D-99FD78F848E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8ad59caee798ab25ad911393394c35fdf9e3e197","datavalue":{"value":{"entity-type":"item","numeric-id":5348918,"id":"Q5348918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5896861a48ed258924428befc427eea9eebc9316","datavalue":{"value":{"amount":"+0.7426012754440308","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":"Q439948$5CEF03C4-F12E-405F-965D-D18FF1F13AE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"16c2bd8aee9b0535918796cdf45a3780f54a54a5","datavalue":{"value":{"entity-type":"item","numeric-id":2796037,"id":"Q2796037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3822e44f265b751e0fb5e6bed09a10af412e1301","datavalue":{"value":{"amount":"+0.7305020093917847","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":"Q439948$255C3313-6286-4DDB-A735-6C4C83FF0DAE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Verification of multi-linked heaps","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Verification_of_multi-linked_heaps"}}}}}