{"entities":{"Q2866324":{"pageid":2877044,"ns":120,"title":"Item:Q2866324","lastrevid":51890390,"modified":"2026-01-20T11:54:16Z","type":"item","id":"Q2866324","labels":{"en":{"language":"en","value":"Distributed verification of multi-threaded C++ programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6238185"}},"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":"Q2866324$1B6868E1-A7C6-4811-87BB-B2EA34A8BA3C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"873bae7150b937a72df9ad2db3e997d891026afd","datavalue":{"value":"1277.68051","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2866324$E3BC310B-31A0-46F5-A667-4F0FB539145C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"00e9891982d51a824b72785c3fad60d1c76460f1","datavalue":{"value":{"entity-type":"item","numeric-id":343908,"id":"Q343908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2866324$53FC2B0C-9EE2-410E-BD68-59924AA195A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6aa6298099f3f16de494fa8299557341486c65e9","datavalue":{"value":{"entity-type":"item","numeric-id":2852019,"id":"Q2852019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2866324$E157FF35-40B6-410C-9090-AB607CB843C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"48bca92bc3aa1417a4a978545597e6aaf3846ef6","datavalue":{"value":{"entity-type":"item","numeric-id":617927,"id":"Q617927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2866324$96A7BDCD-0466-4034-B58D-92E027ABD7C7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3478ec308a15597e43cb648673c843463f4d3028","datavalue":{"value":{"entity-type":"item","numeric-id":163528,"id":"Q163528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2866324$98481581-D813-4501-B6C1-65876C685683","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"53717fa6c8d29b46d6a34473fd09757844b25aa8","datavalue":{"value":{"time":"+2013-12-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2866324$CEFD3AA1-6904-4DDD-AD3F-1BD4EEE18797","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"35c3f01235ccba091e1644bb05c86f53d45fd7f7","datavalue":{"value":"68N19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2866324$720115EE-771F-4942-A3DC-C9A4AEF3594D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2866324$B53C3F82-DD88-472D-8285-0BF58F1EFFFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b65efe51b183d0f4a672427b8171cd1e14211cba","datavalue":{"value":"68W15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2866324$7EE8274D-9B19-43DA-B721-A56734D00576","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"29c7b5ab25b31a3d2f2f8ebfe3e4c454940c258d","datavalue":{"value":"6238185","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2866324$90E721BB-7D16-4557-BDCF-2E1A86D14FA0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c50d987ab7c3ea2a41cb6aca681d912964971ed8","datavalue":{"value":"program verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2866324$17EF9D64-ACCD-4357-BD80-FF60636961F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c4b267873cb5c300aaecc7811cbc568405bde428","datavalue":{"value":"distributed model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q2866324$1B71EE8C-99C1-45A7-8630-49DC47D1E9DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"77db09607437025d1b9fd2767aeb98978a657300","datavalue":{"value":"external model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q2866324$200CB16A-062D-4E46-90DE-C7FB9DB907F8","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"3c11dd4f5e8562a7579fa5f894672b041bb21507","datavalue":{"value":{"entity-type":"item","numeric-id":16315,"id":"Q16315"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2866324$FC8ED710-EA64-476A-B5AF-4B910FC23C4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e05716d11354c9d38e76a1ec25809265e02d101d","datavalue":{"value":{"entity-type":"item","numeric-id":24961,"id":"Q24961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2866324$AC62DC47-90F2-4F1E-B604-7C548AD05889","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"05c59994820aa6b8e0f0d976d0973f2b80ff379b","datavalue":{"value":{"entity-type":"item","numeric-id":33945,"id":"Q33945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2866324$096F8AD5-CD32-4E13-BECA-C248AB58205B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bee5cb1919919ea97c6e467c1806a0893670d996","datavalue":{"value":{"entity-type":"item","numeric-id":14223,"id":"Q14223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2866324$1DBAA37D-5060-49FA-9014-71C0984009E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"53a4a9b6c38d395d5b2eb80cedc3eefcbf3e9947","datavalue":{"value":{"entity-type":"item","numeric-id":15987,"id":"Q15987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2866324$F0078471-F859-4C05-A57C-24E7492EBBEE","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":"Q2866324$8A611DAE-B14D-4B55-A216-9AD664367C07","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b12bced4927c43b8c683344d817bbf320c0e6240","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2007.10.019","type":"string"},"datatype":"url"},"type":"statement","id":"Q2866324$E0EA8445-14B8-450F-A0FE-AB543649ECFD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"29de9fc6105e7d7fd8c217e19cd1df37cb04df8d","datavalue":{"value":"W2099143901","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2866324$247F9230-780A-4451-B244-FE2E23D117EF","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"00bfd9355f557a3e626becf246e659f651fcb6a6","datavalue":{"value":{"entity-type":"item","numeric-id":3787429,"id":"Q3787429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2866324$AA4D7A1B-DA2E-44AD-9275-6F5A1C44F058","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c9b8ae39966b3d22cb18c9ab85247da6142b13f","datavalue":{"value":{"entity-type":"item","numeric-id":5703783,"id":"Q5703783"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2866324$643FB7FB-70F1-4249-B7EE-8968A1AE35E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7140674c1426c924b171b69bd110d41ce8a5370","datavalue":{"value":{"entity-type":"item","numeric-id":3591390,"id":"Q3591390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2866324$03A92AFF-9EC1-419A-9AA8-BA6A616B4C16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d207321f5a8923ffcf4638f1bd25d4d55b8df7c","datavalue":{"value":{"entity-type":"item","numeric-id":2754085,"id":"Q2754085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2866324$1B43CC19-459B-4DCC-8303-0CE6C29F00C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d04697761a22cbbace17a88ed40b60684b02448d","datavalue":{"value":{"entity-type":"item","numeric-id":2866323,"id":"Q2866323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2866324$21EC9DA7-13D2-4919-8825-3A4AE8CDA2BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe4e233ff1837911f4fbfdd3f3738318d8dce822","datavalue":{"value":{"entity-type":"item","numeric-id":2771064,"id":"Q2771064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2866324$4C114708-EC51-4515-8341-1063368ED413","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6f1790bd633b004205ffed2a2f674ef41d8831d","datavalue":{"value":{"entity-type":"item","numeric-id":4426370,"id":"Q4426370"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2866324$E4EA0164-3160-4639-AC6A-BC12802F04F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19666e60aa5f5be77088292c4f14386e9279d5c1","datavalue":{"value":{"entity-type":"item","numeric-id":5899033,"id":"Q5899033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2866324$DB39B5D7-B977-443B-A0A5-BBB2B5CA1628","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9540c6c28af8a9c548ad06dcaa0234138db6a390","datavalue":{"value":{"entity-type":"item","numeric-id":4530809,"id":"Q4530809"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2866324$3E4DF622-A54B-459E-9C81-5A103F92D96E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"27fd548a5841a147444b62df421c484da13f14ec","datavalue":{"value":{"entity-type":"item","numeric-id":2431764,"id":"Q2431764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2866324$13475326-F932-489E-AF60-127B6210860C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"678d45384f681bd9f653dcc5d970afaea2ad9d57","datavalue":{"value":{"entity-type":"item","numeric-id":2431771,"id":"Q2431771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2866324$E9292AF1-3309-4A99-8864-1418E7E0B486","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7982b2cb152a4df9cd8d54ae66996fc463f7dc4f","datavalue":{"value":{"entity-type":"item","numeric-id":5898621,"id":"Q5898621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2866324$0FC6F003-1908-46B9-8D7D-F03127933374","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae86f7f9a887a687514e908a95983eb040c75aa9","datavalue":{"value":{"entity-type":"item","numeric-id":1330457,"id":"Q1330457"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2866324$B6F05AB1-26D5-4D23-9616-32B66DEEE56E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"dd87a5ea83e299936c80a0293f77144a53601f3f","datavalue":{"value":"10.1016/J.ENTCS.2007.10.019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2866324$A335EBB9-A15F-4ABB-B710-4487315A0744","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4816fcecd4b61de3c67abce066bdc1548c0c3367","datavalue":{"value":{"text":"Distributed verification of multi-threaded C++ programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2866324$B4ABB179-053D-40DB-9D0B-D6C57EF19760","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ae57df94706e64c7dc987a9e4962fc92e4537ef3","datavalue":{"value":{"entity-type":"item","numeric-id":2753763,"id":"Q2753763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f29f010192d23439e2ad314006adcc45d8e8c23f","datavalue":{"value":{"amount":"+0.7802255749702454","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":"Q2866324$39A51E59-4067-4ABC-9819-07CE76B55974","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"86562c958104bf722071c62758cd224a8594421f","datavalue":{"value":{"entity-type":"item","numeric-id":2848148,"id":"Q2848148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3b3c3fa226f437e8e88d12f4f6a132e92782c553","datavalue":{"value":{"amount":"+0.7326040267944336","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":"Q2866324$2CC115C4-5D2A-4015-B9EF-BAA1700B5AC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8301abbbb3376e660e5af194409f38df0d5a0301","datavalue":{"value":{"entity-type":"item","numeric-id":4530809,"id":"Q4530809"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4e88c7accce22e37fdea18f5daffe8662fa738cf","datavalue":{"value":{"amount":"+0.7240899801254272","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":"Q2866324$EAF0F2DB-26BC-4F9E-9680-65DD87E87F28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7ebfe0118d4e156ad7924a705caf1d9074c89dcd","datavalue":{"value":{"entity-type":"item","numeric-id":2842113,"id":"Q2842113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"458bc59db7e00b05dbd065d03582b1835b81eb3f","datavalue":{"value":{"amount":"+0.7161985039710999","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":"Q2866324$AC8F792A-F1F8-4B21-B5D1-C9EB9A365BC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d78c1d673bff78c3a136f61a115264b2cce523b1","datavalue":{"value":{"entity-type":"item","numeric-id":5943259,"id":"Q5943259"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7b9d82ad89ca7cf084cce43c1504eac0ba8c6b27","datavalue":{"value":{"amount":"+0.7150033116340637","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":"Q2866324$284944EA-310E-4775-A8A8-D2DCBCC7A27B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2866324","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2866324"}}}}}