{"entities":{"Q2464944":{"pageid":2475687,"ns":120,"title":"Item:Q2464944","lastrevid":73453215,"modified":"2026-04-14T16:03:08Z","type":"item","id":"Q2464944","labels":{"en":{"language":"en","value":"Verification of Boolean programs with unbounded thread creation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5221245"}},"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":"Q2464944$BF83664B-25AA-40FE-B9DC-3CCE967B2EE5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a3aab201c0a462c705f3c73c6630ff9cd44207e1","datavalue":{"value":{"text":"Verification of Boolean programs with unbounded thread creation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2464944$E6EA219D-386C-4208-850A-61D4E9AC153A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"841a7f4acb94ffabe372da58544cb10cea802403","datavalue":{"value":"1143.68043","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2464944$0098883F-2727-478A-B73C-549128CBEB4C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"afa51276dc7c745a3bd764db344fbb2e1cd8df8f","datavalue":{"value":{"entity-type":"item","numeric-id":470002,"id":"Q470002"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2464944$0EBBC62B-D98F-4E7A-B25B-E3D669ECEED4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"de4a775b741b129661b3807102896dab39bea660","datavalue":{"value":{"entity-type":"item","numeric-id":438554,"id":"Q438554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2464944$4D651F62-E78C-4070-9690-D1E2DB78BD0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"66a480d2e9b29ea82a9b0fc72873fd6d8201d31c","datavalue":{"value":{"entity-type":"item","numeric-id":287271,"id":"Q287271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2464944$5A6D6D77-7BED-41F3-BBA8-162EC5F6A1EC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2464944$FFE45462-A5E6-49A8-BADF-D2F1AEFFBF7B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b39a0a73d18fba485401f5f29aad40c079dd6a82","datavalue":{"value":{"time":"+2007-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":"Q2464944$0D53E222-7383-4C8D-819A-3650350DFC18","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2464944$9F7B268B-4294-47D7-9738-B74AB913C579","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2464944$4F73A324-CB48-44C2-9C2E-2A63A2A0DD27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2464944$CF504D1C-3456-4352-9821-5473B4B64E24","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"da0314b9c8937d71cea64e2739927b82145ae045","datavalue":{"value":"5221245","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2464944$7504027F-ED80-4D75-A4A5-099A5F255837","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c50d987ab7c3ea2a41cb6aca681d912964971ed8","datavalue":{"value":"program verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2464944$1A1F980F-802D-49AA-BA64-2F131ACF8535","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q2464944$FCA62AD4-3A7D-44EE-AA4F-F35A4336FE83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"19fbc9329823a1115cade0bc6a8693a7b26bc014","datavalue":{"value":"Boolean programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q2464944$FF322671-70C7-4C23-B660-EC26AFBFFF67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a618b40b0e1c60d8f3695a0363009e29e3d436f0","datavalue":{"value":"reachability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2464944$9D529ADB-BD7F-4E80-B6C4-71BB09996547","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"cc47147a404ecf949cf86c4e92d2dcc5a8bfafcc","datavalue":{"value":{"entity-type":"item","numeric-id":19680,"id":"Q19680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2464944$6D4E7123-535F-4D2B-9F1E-2900EB741CF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"66062915c8f8307ed1d4569cd30a02c394839f8d","datavalue":{"value":{"entity-type":"item","numeric-id":21998,"id":"Q21998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2464944$CD9F17DD-264B-4A63-A68E-C220931C717D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"6522ca7747c785bf9d644f39dd3e0aca04c1c6aa","datavalue":{"value":{"entity-type":"item","numeric-id":13781,"id":"Q13781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2464944$D825B3EC-21C7-4F04-A19D-7251324B00FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c7107a3607349765606fad319a8423745e29c6d1","datavalue":{"value":{"entity-type":"item","numeric-id":24728,"id":"Q24728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2464944$FECB0536-B679-489F-9697-79200C04D033","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b20bdd44ba5dda1408033b52815544ca46ca60dd","datavalue":{"value":{"entity-type":"item","numeric-id":26067,"id":"Q26067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2464944$FFBF75EB-FEB4-4451-B9FB-161E41232495","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"efa7dfee3dd74aae04647605d0a9a987c7d566cf","datavalue":{"value":{"entity-type":"item","numeric-id":16316,"id":"Q16316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2464944$780A6BD1-F203-46FB-8C16-ED78BD0B4FB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d4f55591526bfa06dbd19dfd10ca3b2c9d44db2a","datavalue":{"value":{"entity-type":"item","numeric-id":20924,"id":"Q20924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2464944$78650CF3-9F49-42D6-9EBD-FAAF4A94F8C9","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":"Q2464944$75B4E353-E93F-45AE-B785-2830D6AF34E9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1df047dd3ac69cefe07bebe9caf03b848ae73b53","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2007.07.050","type":"string"},"datatype":"url"},"type":"statement","id":"Q2464944$CCF2DD78-BFE0-40D1-B421-AD4A6C0E3CBC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"283b4d2781b7db823e956044e4cb7c6f941bf199","datavalue":{"value":"W2155394073","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2464944$F60FC720-F01F-4384-A1C9-52989527A367","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ee36fea820e4ec41c645157a399b976a6698393","datavalue":{"value":{"entity-type":"item","numeric-id":2753756,"id":"Q2753756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2464944$4355BF0F-8888-4F4F-9917-72163FE002DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e0cc86a7f8173b28c4a829da1618b048522d1e06","datavalue":{"value":{"entity-type":"item","numeric-id":5394555,"id":"Q5394555"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2464944$1251175C-5E5F-4886-A469-F822BB9F13B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"911eaa0bccad8b17d2996fe857c127dd4e89f404","datavalue":{"value":{"entity-type":"item","numeric-id":5897437,"id":"Q5897437"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2464944$13089837-01CC-4151-AB5C-BBB0FC4E24AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"55665864cc7d4cbfd1a6066354f723fa05efe529","datavalue":{"value":{"entity-type":"item","numeric-id":5277770,"id":"Q5277770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2464944$4F457571-F8EA-4625-ADA4-1A183760C47D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b026130fb14abb6ec25af9a49779c945ecc8f0fd","datavalue":{"value":{"entity-type":"item","numeric-id":3452508,"id":"Q3452508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2464944$D7C1B482-867B-4D04-8AA8-55B7B05122C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d7314c233131ffa2d488c9b8e5f850a4f69e2669","datavalue":{"value":{"entity-type":"item","numeric-id":4779111,"id":"Q4779111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2464944$77B48031-1789-49DF-8000-03DF9BE3CA1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b14d9eabf063c4fdd0e32a8e0bccf5a26d189e4","datavalue":{"value":{"entity-type":"item","numeric-id":4847017,"id":"Q4847017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2464944$F7E3A3A7-4EEF-4858-8063-BC3E287185C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59ebc8c6731a9ba8b7c88fd686053c929a1ba298","datavalue":{"value":{"entity-type":"item","numeric-id":4551162,"id":"Q4551162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2464944$D4D94719-99CD-4E9D-82E1-9192661C9F0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b0ad986b1a744d6abd15b410bd59c7cbfa601037","datavalue":{"value":{"entity-type":"item","numeric-id":4426375,"id":"Q4426375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2464944$6FFCACF1-AED6-46EF-A7B1-87CFECCDB96A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f541623726371fa1e6609e8c2eef0b9f81a4c6c","datavalue":{"value":{"entity-type":"item","numeric-id":4804909,"id":"Q4804909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2464944$324AF016-9D14-493F-8415-F4ACB0D5F55F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4bbe7a299d570facbdd631c622bdeafdcc911790","datavalue":{"value":{"entity-type":"item","numeric-id":5899068,"id":"Q5899068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2464944$A0A84133-FC73-40FD-AB05-4A69FAAE1AFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"06a1669ea55c70484627fcb886923a0a7a7abbca","datavalue":{"value":{"entity-type":"item","numeric-id":5703798,"id":"Q5703798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2464944$ACAD92FB-DF7B-4109-B67F-589BB28D0AE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"629f0d98aaa935fc69136e7996206257ff744c71","datavalue":{"value":{"entity-type":"item","numeric-id":5311479,"id":"Q5311479"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2464944$BD054510-5921-4ABE-895A-D65564D73257","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b71a3a245c4d977a9d74d9fa879f31b524729da","datavalue":{"value":{"entity-type":"item","numeric-id":5305658,"id":"Q5305658"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2464944$BC276E17-612E-487F-8F3D-FB6AFF35D035","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4bcf149a82f4ecdacc08e753743e430f121760d","datavalue":{"value":{"entity-type":"item","numeric-id":4426384,"id":"Q4426384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2464944$4A6200FB-10AF-479F-B763-B20EB8FBA567","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5293f2f0deca0f93ed1dd066b1b8b9ab3717d0e1","datavalue":{"value":{"entity-type":"item","numeric-id":2851071,"id":"Q2851071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2464944$82625117-2CAD-459E-9056-DAE57762F609","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d1341c46dddfaa46d5d0eae09298d3585eca714","datavalue":{"value":{"entity-type":"item","numeric-id":2753763,"id":"Q2753763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2464944$D98F2357-B20F-4E61-9650-97503F62D8D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7d8c0e22cc6d5b8f5e5b95e505b643a065a9ef3","datavalue":{"value":{"entity-type":"item","numeric-id":1856163,"id":"Q1856163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2464944$ADA90221-712F-4D53-A86F-0FC2F7821556","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"06078eea43f158838fa3a7c376b297dae0a314d2","datavalue":{"value":{"entity-type":"item","numeric-id":5178871,"id":"Q5178871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2464944$A52EA7FF-C0F2-4262-924A-DFD879C5AE69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7217f35545cbb8c3829361fb418e8e9ff8a3989","datavalue":{"value":{"entity-type":"item","numeric-id":5311470,"id":"Q5311470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2464944$EFC5AE3F-37E8-432E-ACB8-76B43BB0EE31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e389246466590cf41e2d703b33455400e7c54c4","datavalue":{"value":{"entity-type":"item","numeric-id":2769585,"id":"Q2769585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2464944$BAAB910A-401A-4446-B37A-1E3ADA66BC95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f024e5fa4de8f716298ab02999628d2f814871fb","datavalue":{"value":{"entity-type":"item","numeric-id":3189810,"id":"Q3189810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2464944$62B761C0-53FB-4920-9C24-8301B9B63C07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f60db55428521e0cf5ccdeaa2bf5e3fd0ed1e94","datavalue":{"value":{"entity-type":"item","numeric-id":4326390,"id":"Q4326390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2464944$5833462F-2F0D-406A-ABBA-B76766F251A0","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":"Q2464944$2D80C2F0-0D76-46B8-BBB6-916DB6BD7A81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"161c39c62daa5665a57aa85651fc82decea6c02c","datavalue":{"value":{"entity-type":"item","numeric-id":1888196,"id":"Q1888196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2464944$FB96212B-66E1-478A-BEC3-6BB7E6C34C86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a768592a36a0799f3311c6c16dd9cd5a4a03baf","datavalue":{"value":{"entity-type":"item","numeric-id":5703792,"id":"Q5703792"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2464944$874283CA-FBC7-4D2D-9786-A55DD46726DD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7d033bff0fcc38b2223d48e7fce95702ddb45b5c","datavalue":{"value":"10.1016/J.TCS.2007.07.050","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2464944$29F826D0-F3DB-402A-AAE0-5D0825D8E48E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"328db2c46ea67cb5b17724395635f337ebd4f5eb","datavalue":{"value":{"entity-type":"item","numeric-id":2817949,"id":"Q2817949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"73aadafef25db222a6d82ff765cc2da2102f4e02","datavalue":{"value":{"amount":"+0.7837488055229187","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":"Q2464944$3933B6A3-E829-4833-8014-213B851A0432","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"64115d61d243d60b8cab008281691509c7455c99","datavalue":{"value":{"entity-type":"item","numeric-id":5326327,"id":"Q5326327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0984a5b5a9383fd267349bff54e167b44bf7fef4","datavalue":{"value":{"amount":"+0.769341230392456","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":"Q2464944$2B3D4E2F-CC47-419E-857A-918787FBF723","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cefa342511ff0a38e44245db56f582114773a663","datavalue":{"value":{"entity-type":"item","numeric-id":3636854,"id":"Q3636854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"54034b2bd0b72b10735335c89660899e8d3eac09","datavalue":{"value":{"amount":"+0.7649457454681396","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":"Q2464944$BA2559C6-3269-4E73-80A9-D6599C0791A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"27baff268d3ffa5a4277b22fe56280dfc7379d68","datavalue":{"value":{"entity-type":"item","numeric-id":2753756,"id":"Q2753756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e8ee766389837f2161e64eb2c371f59fb896b1a1","datavalue":{"value":{"amount":"+0.7531148195266724","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":"Q2464944$F495A1BD-E4D6-41A9-BFC6-9729C8BE1E53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"41695abde90f6c902344d748b2f5dad8930e63bc","datavalue":{"value":{"entity-type":"item","numeric-id":5703798,"id":"Q5703798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"562cde50219bebaaaeb6ddb2065166836f458483","datavalue":{"value":{"amount":"+0.751085638999939","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":"Q2464944$7B1FBA43-A943-4D46-AA46-35D809DCF803","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Verification of Boolean programs with unbounded thread creation","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Verification_of_Boolean_programs_with_unbounded_thread_creation"}}}}}