{"entities":{"Q6162114":{"pageid":13296995,"ns":120,"title":"Item:Q6162114","lastrevid":47867788,"modified":"2026-01-02T22:36:42Z","type":"item","id":"Q6162114","labels":{"en":{"language":"en","value":"Modular verification for shared-variable concurrent programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7703621"}},"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":"Q6162114$37D07B2A-D65B-4AFF-9D66-69ABE004DF72","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0449f02e0ab7aa07e70f64e5e87b5326629128b0","datavalue":{"value":{"text":"Modular verification for shared-variable concurrent programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6162114$BB09044C-31C9-4FDD-AD23-FE04EBDF6E69","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3b6b5e422550b6d8068b05b6d80aa746d5d454a1","datavalue":{"value":"1515.68178","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6162114$8064152B-D612-407A-9519-63665DC9233D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8c06d25fbd538c64b269ce7dfa699ad7cde6312e","datavalue":{"value":"10.1007/3-540-61604-7_85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6162114$B902D0B9-1862-45A9-AF97-805180F6304E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0380b83b3974d983edbfe0594792ba8b37542c8a","datavalue":{"value":{"entity-type":"item","numeric-id":394963,"id":"Q394963"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6162114$80484BAC-5140-4722-A981-722D7B462C2A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"40e977a827c62303d6a73bc259ccdb9bde4f6877","datavalue":{"value":{"entity-type":"item","numeric-id":6104361,"id":"Q6104361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6162114$2E78B480-1694-426F-96DF-B1582AF24659","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9b878ec3713c817dca00288e268c11822e517167","datavalue":{"value":{"time":"+2023-06-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6162114$D1C733F4-AEC5-4F1A-AB6F-62FFBAD7DD32","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6162114$C7255081-42C6-4ECA-BF89-B1F7DD9064EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35c3f01235ccba091e1644bb05c86f53d45fd7f7","datavalue":{"value":"68N19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6162114$17CF6E73-8B7D-4655-8B78-DCAF6F753745","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6162114$FF98CB03-9EE8-4A32-AC73-3589F9DAB1C0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"65af6a80bae21572141fe8d30d47b1bde25628cd","datavalue":{"value":"7703621","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6162114$6E09E60C-17DC-45C8-80E5-495BAEFD09B8","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":"Q6162114$2876AEAC-0C79-465C-BA8C-795AC4F3EB2A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d99c5a0e13ee889036714bc5394088e5f34dd18","datavalue":{"value":{"entity-type":"item","numeric-id":1111362,"id":"Q1111362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6162114$C1F8B3FC-95A3-42F7-8FD9-9F94A293CFC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"67b8a6374b4fc895d89506f759c76e54380f8254","datavalue":{"value":{"entity-type":"item","numeric-id":4144755,"id":"Q4144755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6162114$474E7C04-1C7E-4C3D-9CAF-CB6E85C77266","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a1b1b225889f83bfada58658525bacbd896b00e3","datavalue":{"value":{"entity-type":"item","numeric-id":1088404,"id":"Q1088404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6162114$8DDC661E-1E53-482B-9D6A-2D201AD310B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"391e966cda7841966699f9d7a3bf9750dda40e97","datavalue":{"value":{"entity-type":"item","numeric-id":3992568,"id":"Q3992568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6162114$3B035540-B539-4B74-AF58-25C1655F8D96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db45f234f354c516e6967660fb11814401792350","datavalue":{"value":{"entity-type":"item","numeric-id":578892,"id":"Q578892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6162114$E90D437E-0D5B-4271-9283-4DC9D672FC24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"768da93377b5dbe67ffc466d796d0d32932c2d63","datavalue":{"value":{"entity-type":"item","numeric-id":4301161,"id":"Q4301161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6162114$E9E7520C-F59D-4BEE-92BE-6E7D9D386112","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"796364eeefb9789a01eab3a144d0337d6c23ee01","datavalue":{"value":{"entity-type":"item","numeric-id":1219675,"id":"Q1219675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6162114$836D83E1-AFD3-4031-B9C6-0A91CA1A1C0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aff9a0e3f0f2bb5379481e2506c1ed09265b0350","datavalue":{"value":{"entity-type":"item","numeric-id":3700812,"id":"Q3700812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6162114$F0F12910-F119-4A5F-A640-7A91713F3F4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0ccb1bb6972c34ba87ead8253e3bd450b22dfe2","datavalue":{"value":{"entity-type":"item","numeric-id":1107518,"id":"Q1107518"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6162114$590C64EB-F023-4298-B006-59BBB7CAC5C4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c3709436caebdb389c9afab90636fadf4b733f94","datavalue":{"value":{"entity-type":"item","numeric-id":3725529,"id":"Q3725529"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5ea80dbcd78d7af99d23648578449ec85e6ffc27","datavalue":{"value":{"amount":"+0.8154832124710083","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":"Q6162114$8349E0D6-86DE-47D6-AC3E-AC344247120C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2c3edb0e35abe551cd1ba974c3d36227362e9c22","datavalue":{"value":{"entity-type":"item","numeric-id":5971389,"id":"Q5971389"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"897da3f9f36b0996671532c34381b3d6f0062c56","datavalue":{"value":{"amount":"+0.808397114276886","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":"Q6162114$19F32540-0571-446E-BAFC-32AB12FDA8D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bb906b7819af3215c442ea0a6017f05602f2584e","datavalue":{"value":{"entity-type":"item","numeric-id":2351261,"id":"Q2351261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7d189d1c580bf6a8c70a06b54db03cd0804b8a99","datavalue":{"value":{"amount":"+0.800250232219696","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":"Q6162114$A300D70A-749A-4E51-94A3-3DD73846BB21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"331bfb91374f70d72303964ae5e38ce13d07df53","datavalue":{"value":{"entity-type":"item","numeric-id":1362776,"id":"Q1362776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bc6a496ed72d160ca27af288da94f45ad884e30b","datavalue":{"value":{"amount":"+0.7954932451248169","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":"Q6162114$C46DDE86-7075-4FF7-ACBC-2CB594F2537E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"49e7f2fa86319898784ab1c1ddf715aaf9c6d04f","datavalue":{"value":{"entity-type":"item","numeric-id":2024370,"id":"Q2024370"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"427ce0cbf20bbe7c619c9245e053f46a3df4b916","datavalue":{"value":{"amount":"+0.7934141755104065","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":"Q6162114$BA58DFBB-C1B6-4538-A69F-FA16A5864A95","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6162114","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6162114"}}}}}