{"entities":{"Q557795":{"pageid":559562,"ns":120,"title":"Item:Q557795","lastrevid":62730153,"modified":"2026-04-11T08:04:36Z","type":"item","id":"Q557795","labels":{"en":{"language":"en","value":"Modular verification of multithreaded programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2184038"}},"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":"Q557795$E3D50788-EB9A-4AF3-A811-CE15CA3A4E58","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"28a64e93344a706359e0fe0f69c0bd244b18ed65","datavalue":{"value":{"text":"Modular verification of multithreaded programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q557795$554EE8DA-D8C8-443C-AEBE-5045E96DE8A5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ce2143926593c86e9c74e1ca74b7343b34c42d65","datavalue":{"value":"1108.68080","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q557795$98E16E5C-2FB8-435D-A1E9-F505AF66B186","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"38126dc183098febb961ba3435b28eb28edd09c1","datavalue":{"value":{"entity-type":"item","numeric-id":557791,"id":"Q557791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q557795$4431D8EC-21EF-4F63-8FA4-96C05DD72C10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bcedcd7631903d2e280ed58e5f512a504c1d77ac","datavalue":{"value":{"entity-type":"item","numeric-id":557792,"id":"Q557792"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q557795$F285528B-928D-4B9E-ADFA-91B7786A64F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e61e1c15131a00734d19fb57dbeb828f0f9aa5db","datavalue":{"value":{"entity-type":"item","numeric-id":557793,"id":"Q557793"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q557795$82A345AD-C6EB-43CA-9F03-EB2221008DAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"55f249f40c4f258debe6dc3dacc160f2e23026fd","datavalue":{"value":{"entity-type":"item","numeric-id":557794,"id":"Q557794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q557795$1D4ACDDD-9DF3-4FDD-81E1-21D303027766","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":"Q557795$DD3F5E5B-2492-4A1C-87E3-3928F52FF331","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3be35b99bc40d25914143aa31268a19fcdde1b9d","datavalue":{"value":{"time":"+2005-06-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q557795$CBDC55B6-2944-495C-84EE-7D534052D1A4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"28a3c02cf19dd6a635cb65466b9e94e4bfebf6f1","datavalue":{"value":"https://escholarship.org/uc/item/9753d15c","type":"string"},"datatype":"url"},"type":"statement","id":"Q557795$F6066E6E-B8F7-425A-B1F0-B9FF11F7A1C4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q557795$BDF03CD2-DF8A-4A92-842B-36EFB18DAB6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q557795$E10459A3-94DA-4CAB-97AF-96165454D2F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q557795$2F1D97EA-C24E-4734-A8E5-1CC6D40D6511","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q557795$76A9F0DB-961D-45B5-AB20-2C3348540F24","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2002b8a97d93f8720b40ac18468f4afccc0ea932","datavalue":{"value":"2184038","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q557795$FA68376B-8761-466B-988D-6CB8A6A5A06B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"75837dc686260caa4d2c64aa73390dbe31f3dcc9","datavalue":{"value":"Concurrent software","type":"string"},"datatype":"string"},"type":"statement","id":"Q557795$C4F4A12A-0833-4BCD-9C78-CE57702B08C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"68be6715570c298de2f7dfb5b1baeb889a9c5942","datavalue":{"value":"Verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q557795$7EE0EC3D-60F2-45E7-B0F0-6F15884763E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"249cd8f870ad98ba763c4c5e905d3d20f06d2f7b","datavalue":{"value":"Assume-guarantee reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q557795$724A11AF-5880-4417-9A6E-D59A34181305","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"85745d8965112db9a93755ffbfbc90c80e630c0b","datavalue":{"value":"Automated theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q557795$4B055B2F-5231-411B-BBFE-D75AEFF40CEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cc404e5698a8ffc93efcc45ccefd55af09234a7d","datavalue":{"value":"Verification conditions","type":"string"},"datatype":"string"},"type":"statement","id":"Q557795$0201A188-9489-4BF4-BD3C-1C5DEDEF3F40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"accba342e342b2da758969ed736b9beaa7599a2e","datavalue":{"value":"Software engineering","type":"string"},"datatype":"string"},"type":"statement","id":"Q557795$8E5E047F-D532-4BA8-9241-3E045F889448","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8312fa7309b2bb86919d80d9dd327b01ccd3eb19","datavalue":{"value":{"entity-type":"item","numeric-id":19268,"id":"Q19268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q557795$9736DC83-99A8-4FE9-B014-506BAC3CE7F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"3bc742856c0a3f2381f8dcdebc3ddc41bacb45df","datavalue":{"value":{"entity-type":"item","numeric-id":25114,"id":"Q25114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q557795$54FA24A2-CC03-4A1D-8F3B-12C934CB7022","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2822825cdea331aa7c0ec2c340c1eb36d62db00b","datavalue":{"value":{"entity-type":"item","numeric-id":17123,"id":"Q17123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q557795$0F9D0233-AD1D-4936-9619-E11F313399C9","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":"Q557795$2D318E61-9852-4CB5-8E2B-6F5A68D0569C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d4235a3dfdec7c464c06f8e38f17709419840fd6","datavalue":{"value":"W2112381327","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q557795$DF1633E5-C904-481D-96B0-0DD467A00677","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f52f6dd7c947887b0ee5146efa87c25316d10b5e","datavalue":{"value":{"entity-type":"item","numeric-id":1880603,"id":"Q1880603"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q557795$5B0A98A6-1AEA-468F-AFF0-B08A835C089F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c5db2425d51178e925ef61218584240f659c202","datavalue":{"value":{"entity-type":"item","numeric-id":5902547,"id":"Q5902547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q557795$22ED50FB-8444-4F21-B638-E0E59FC8BC48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"234ba20a3fea3d896aa4605e544cc77e7e12ada1","datavalue":{"value":{"entity-type":"item","numeric-id":3122689,"id":"Q3122689"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q557795$E0511E37-2B1C-45B2-9D61-CE19557DD20A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3cae0b454d483b28d3315c63096dc9824543d40a","datavalue":{"value":{"entity-type":"item","numeric-id":706509,"id":"Q706509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q557795$5B950492-5CAD-4231-8D7E-99F2193A755E","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":"Q557795$DE9A8333-B51B-4F9E-845C-4A98531E69D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"090e4b104dd3f76f7e7cbd674cb41b2227a87ff1","datavalue":{"value":{"entity-type":"item","numeric-id":4692502,"id":"Q4692502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q557795$452E0AA3-60C8-42F8-869F-E90173531B04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"920c5b7bdd4d5327c3e0b46de0cbc84e86a787a2","datavalue":{"value":{"entity-type":"item","numeric-id":5096396,"id":"Q5096396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q557795$E1E4CD94-80DA-4345-B39E-51AFB4298FDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1daf6c1b27d4e2241acccb436e068cfc4f24ffff","datavalue":{"value":{"entity-type":"item","numeric-id":3546294,"id":"Q3546294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q557795$4B5899BE-7783-4F37-B5B8-A348F5FC8ECE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1265d63b4599a3fae507d9b15943296bbefa977b","datavalue":{"value":{"entity-type":"item","numeric-id":4066568,"id":"Q4066568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q557795$EF851BB5-3CA8-4327-B383-76CD93ECA4F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b9998a3f298b79f1a6a6c5768dfa90bb3cac3e1","datavalue":{"value":{"entity-type":"item","numeric-id":4738361,"id":"Q4738361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q557795$20E42421-13DF-4098-AB3F-C47F8288A761","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"138667c28da25bcffa05189a75d50db1b357b50b","datavalue":{"value":{"entity-type":"item","numeric-id":4804895,"id":"Q4804895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q557795$C387E932-A20B-43FC-BD6F-2849D309C64B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ddd21cfa4660583e538baf1b412d409c55765821","datavalue":{"value":{"entity-type":"item","numeric-id":5178883,"id":"Q5178883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q557795$5D8DB40E-D785-49D2-859E-2185704791E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"817843a7139d1f70c38676e32e4b5862f0d3f2a9","datavalue":{"value":{"entity-type":"item","numeric-id":3666252,"id":"Q3666252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q557795$3164F7B7-3603-4A9E-8B9F-3EA88E6256D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d21cbd0c791f083ee08a1e9e48b64281b87bb07","datavalue":{"value":{"entity-type":"item","numeric-id":3664404,"id":"Q3664404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q557795$252E3C35-3E2F-4FB2-8158-7CD8B6EC20E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"05656618a7fbd87833428b51ffbb73b7b47e20fc","datavalue":{"value":{"entity-type":"item","numeric-id":4077431,"id":"Q4077431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q557795$4D27EBC9-19E3-4AD4-90DE-F63DC5F56524","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8135d2b21803eba4e4837602065847af8c31a6fd","datavalue":{"value":{"entity-type":"item","numeric-id":3787422,"id":"Q3787422"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q557795$43E56D7A-F3B9-476C-9F5A-4265AE4B5FC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0ccc368591937b0e93f76ce0ee9913a83d02dd0c","datavalue":{"value":{"entity-type":"item","numeric-id":3922150,"id":"Q3922150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q557795$13DA32E7-FAB2-4145-BDFC-C11DA5D06EF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e02d028d2e6f20c848d305126b44b69f277975b","datavalue":{"value":{"entity-type":"item","numeric-id":757079,"id":"Q757079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q557795$B18A267D-8E63-4921-B9E8-D426EA1D10D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d925545028cebbe906f88a63611519e302be1c5","datavalue":{"value":{"entity-type":"item","numeric-id":3709867,"id":"Q3709867"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q557795$514CAE8C-C602-47E5-BFEC-392DEC08778F","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":"Q557795$C44AFCA6-C37E-4976-9A6A-1CDBE5A346FC","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":"Q557795$010218D3-1D8F-41A0-8038-EBB7FFC5AB9A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e0409fc328ace01b851baed59286f165506e80d6","datavalue":{"value":"10.1016/J.TCS.2004.12.006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q557795$9EBD99BC-E0AF-4C3A-800F-642833A37360","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9526741390426220951621ef8cb10bc097822ca3","datavalue":{"value":{"entity-type":"item","numeric-id":4804895,"id":"Q4804895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"be2ffc203ec90ee8bce311115e2a2b4f1880657e","datavalue":{"value":{"amount":"+0.9629580974578856","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":"Q557795$D773BC87-A156-4E7B-9AA2-19BE278AD45B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7085ee087572c8048eeca907851ca06e65d99102","datavalue":{"value":{"entity-type":"item","numeric-id":4738361,"id":"Q4738361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7b19ccccb4d898ee3a32a21e156c5d077ce3ac4c","datavalue":{"value":{"amount":"+0.9000769257545471","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":"Q557795$6B0B9809-DB07-45F9-B8CB-881027D4F35E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"70045ea88273d784112bc03c79f6ad157044a77a","datavalue":{"value":{"entity-type":"item","numeric-id":924672,"id":"Q924672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"621d9320c12d7163cd98df0ab1c6733f12c1b69f","datavalue":{"value":{"amount":"+0.7946599721908569","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":"Q557795$F4B9013C-A587-4467-BB59-5B93995301A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f88fb3cad8d86c8f87c7fc93460189a70cc5930a","datavalue":{"value":{"entity-type":"item","numeric-id":3163921,"id":"Q3163921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1caab4dfcc83f4a1f7b3598b92d0199aca71b986","datavalue":{"value":{"amount":"+0.788479208946228","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":"Q557795$B8B503B5-5046-43FD-BB00-084B9BBDEBE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5960fbc019f7f37c9b3e9ab0e7b8f4b4c9604828","datavalue":{"value":{"entity-type":"item","numeric-id":3617715,"id":"Q3617715"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4d74bae2ca9527560d4b3aa2956effd33cde7fe7","datavalue":{"value":{"amount":"+0.7761642932891846","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":"Q557795$A866A766-238C-4921-8DC4-0E81D64B6546","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Modular verification of multithreaded programs","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Modular_verification_of_multithreaded_programs"}}}}}