{"entities":{"Q5096396":{"pageid":7125972,"ns":120,"title":"Item:Q5096396","lastrevid":54382370,"modified":"2026-01-26T17:53:28Z","type":"item","id":"Q5096396","labels":{"en":{"language":"en","value":"Logical foundations for compositional verification and development of concurrent programs in UNITY"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7572221"}},"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":"Q5096396$184E007C-B9FE-43E8-A960-8189044FFF09","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"372dcefb1339c91316607dd46cc0d3bca43ff6e4","datavalue":{"value":{"text":"Logical foundations for compositional verification and development of concurrent programs in UNITY","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5096396$E258D298-18E0-488B-8DA4-07ACCB032476","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b2971cbecac69ae09197c58addadf760996f8c8b","datavalue":{"value":"1496.68102","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096396$41FF4D43-61A2-4DBF-9AFC-66C49DC85029","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cdae7f1ded7df5bf0c609133c61985533954ca1a","datavalue":{"value":"10.1007/3-540-60043-4_64","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096396$D8604181-DAD6-47A4-A470-97E0A7922C9E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f19e786075a3f0e47dc95148a2d918befda1cd2f","datavalue":{"value":{"entity-type":"item","numeric-id":1321832,"id":"Q1321832"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096396$0F3E4B98-7018-4A93-ADDB-310922371999","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"dc6f4391429862cb53a5b17de9747a6a3bbf620a","datavalue":{"value":{"entity-type":"item","numeric-id":909440,"id":"Q909440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096396$71E98C21-C547-471B-90AB-1426E7C431A5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"61858cb81e4b5eb34d2de9199633f44c2ecae313","datavalue":{"value":{"entity-type":"item","numeric-id":2996122,"id":"Q2996122"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096396$F55266F0-D9FF-4844-B6AD-DAA94CD136A5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9f0638de14cb053deb57828797f5c127a478dbaa","datavalue":{"value":{"time":"+2022-08-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5096396$A16131DF-8B2A-4B6D-B8A1-8894C1C8254E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096396$59D780C1-0F43-4A3C-B83B-5E4BBFB8BE8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35c3f01235ccba091e1644bb05c86f53d45fd7f7","datavalue":{"value":"68N19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096396$C67553F0-0ADA-447A-A33D-7976B1F1E446","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096396$49F1DA22-68FC-49F4-A031-161D4D469971","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096396$7AF25912-BF25-4AFD-A8E8-051766C85C74","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3d6c37e0e36e9743a044042bd0bec2f5ec7f7258","datavalue":{"value":"7572221","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096396$4F07FD25-F33E-4B0D-B9C5-A7DC815D70A2","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":"Q5096396$EED62113-B117-4E20-823A-6D4296DE5547","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"45f3a2f6ae00c897cffe93ca4ef48aa986de3e45","datavalue":{"value":"https://doi.org/10.1007/3-540-60043-4_64","type":"string"},"datatype":"url"},"type":"statement","id":"Q5096396$6FE29C91-FCDC-421A-B2C2-3BCE08541E8D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"947795265d0153a8d30cd79791eb6c4df4bc3e5b","datavalue":{"value":"W1601208182","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096396$7F3E1565-7468-4F89-813E-E90C8652076A","rank":"normal"}],"P223":[{"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":"Q5096396$EA924105-0D85-4538-89E3-6ADD8C991CE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc13a2308e4b80a7269113153549866df94ca4f1","datavalue":{"value":{"entity-type":"item","numeric-id":1346680,"id":"Q1346680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096396$35519C64-1C85-4DA9-9BCB-F1ECE6E07782","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"92ce5a02cff6d9a065146371b7d682b7818cecfd","datavalue":{"value":{"entity-type":"item","numeric-id":1199832,"id":"Q1199832"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096396$BBC57EA2-4C62-43F4-8EBC-D43EC7E320B0","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":"Q5096396$988F8631-67A3-4CC2-8DBC-FBF49CEB4FEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7dda1fedcde1f6b26d1a6d5d4b7290deaf5a967f","datavalue":{"value":{"entity-type":"item","numeric-id":674008,"id":"Q674008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096396$D5C1D728-4CE8-49C5-A01C-3ACE5F084E58","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":"Q5096396$F22CCC44-1954-4CDE-AADF-7DFC1400186C","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":"Q5096396$30E18D6B-A41B-4FD6-B3B1-168DF3224835","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b903410f1a6227646424166fe21e2772f833caf","datavalue":{"value":{"entity-type":"item","numeric-id":751848,"id":"Q751848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096396$25EE57A1-AB4D-49B9-9660-5884E549394C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb2e9aeb250aee552f9c7acabe3d57da193b2393","datavalue":{"value":{"entity-type":"item","numeric-id":1187626,"id":"Q1187626"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096396$E87787FB-18B7-41AC-95D9-202EA5A5C185","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f83df204fba48b96d25944b421a5b581e31a5c93","datavalue":{"value":{"entity-type":"item","numeric-id":1391101,"id":"Q1391101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c66d154738b8e826439c61f2a8e1e2d3356f65af","datavalue":{"value":{"amount":"+0.8419433236122131","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":"Q5096396$40413622-8CB4-41EA-B13C-7CA5CAFF8037","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"23ab66ddaf1228bac0cf07115693a4bb5c2607b1","datavalue":{"value":{"entity-type":"item","numeric-id":1346680,"id":"Q1346680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"46bbdbb62b5a31bc4b52b94dcccb714e6c9d335d","datavalue":{"value":{"amount":"+0.8098834156990051","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":"Q5096396$184E185F-5C80-4A89-9516-72A43BCAD51E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"53a506a732087cff0796b7307609577c09fa348b","datavalue":{"value":{"entity-type":"item","numeric-id":673960,"id":"Q673960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"51cd5728607f4acf7f6b30574485ed25dce2a928","datavalue":{"value":{"amount":"+0.8054532408714294","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":"Q5096396$FA11D34B-AC47-4D16-B500-A3872D0946F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7dc4167b85600303bf6a63862a75410108e3edd8","datavalue":{"value":{"entity-type":"item","numeric-id":4470520,"id":"Q4470520"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"912bda88cb1a5b221405faae7062e1fe507313e0","datavalue":{"value":{"amount":"+0.8008937835693359","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":"Q5096396$13210C2A-AB2A-45BF-8D72-AD58742BEA93","rank":"normal"},{"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":"7a32ee819a452b0d7a7c2ae90bfea18ea748438b","datavalue":{"value":{"amount":"+0.7957963943481445","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":"Q5096396$04ABF838-E648-469C-AF2F-66F832A01ED8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5096396","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5096396"}}}}}