{"entities":{"Q2172820":{"pageid":2183563,"ns":120,"title":"Item:Q2172820","lastrevid":55422247,"modified":"2026-02-17T16:01:47Z","type":"item","id":"Q2172820","labels":{"en":{"language":"en","value":"Separation logic and logics with team semantics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7587325"}},"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":"Q2172820$A401892D-73FC-462C-A434-8E63BADDEE42","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2c8c2b529dc1d6a3309943a5081810b1d0de81b3","datavalue":{"value":{"text":"Separation logic and logics with team semantics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2172820$DE7B0EAD-D6A9-437A-9954-79E9552FEE84","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5f4483b2e1b85a622135e0244f5cbee26b8ebdda","datavalue":{"value":{"entity-type":"item","numeric-id":2172818,"id":"Q2172818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2172820$8C29B89A-5C60-4C38-BE4B-8C2FF16712B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d92e5b50a477cfe238ac688c9a8eb0ddc7ad041e","datavalue":{"value":{"entity-type":"item","numeric-id":204638,"id":"Q204638"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2172820$53F80EA8-5AE9-44CA-AD09-2EDBAC7150A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"11a23cf28e74ff89c316845582a7b9b26a52e81d","datavalue":{"value":{"entity-type":"item","numeric-id":2172819,"id":"Q2172819"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2172820$E10E624A-6675-438D-B43C-912D1FD007D6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2172820$6AFDD066-0EEB-42ED-88D0-277B50B64A11","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2b24a50f24ef8af7640efbeb135a5d51990fb328","datavalue":{"value":{"time":"+2022-09-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":"Q2172820$0DBAEDCC-5BF2-4608-A860-6E2D4B5F08B8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2172820$10BDD30F-E8A9-4ACB-B231-DCFB5C606612","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"89a6721807d2106ad3a18783b4fcbc004e6a56c5","datavalue":{"value":"03B60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2172820$4CA5B18B-18CB-494A-B629-20FC465901C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25e5a5f23d3e2e2c05864da16eda493011c33276","datavalue":{"value":"03C80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2172820$5CE74963-88B3-4135-A98A-559CF440B6FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2172820$AAFB42C7-E76B-4438-836A-DAF8DF39A53A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9618b3689a044f945505fad155d033c0a4c3f2fe","datavalue":{"value":"7587325","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2172820$B61EB636-B839-4BAA-A69B-F6E8C5FBE360","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"938358769b4f58ad078254388a41b1d2ec82e622","datavalue":{"value":"separation logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2172820$39865BF7-DB84-4096-82F7-7CF5B5FB90F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f8a320ac3d69219ff809712b53034e7b1e05dbb0","datavalue":{"value":"team semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2172820$955583ED-38F9-4764-9302-E7326BC865FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ab4b7797af53d2e28f5d59969e5906064d77dde3","datavalue":{"value":"logics of dependence and independence","type":"string"},"datatype":"string"},"type":"statement","id":"Q2172820$42710521-BC40-47F7-82E1-192EBFFF69BB","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":"Q2172820$BB4BB780-002A-41B8-9321-B4FC350E4AA0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"34fa1102b4623932f1ab3054a159edceb1453d1f","datavalue":{"value":"https://doi.org/10.1016/j.apal.2021.103063","type":"string"},"datatype":"url"},"type":"statement","id":"Q2172820$32C2B66D-A198-44A7-8E76-656BBD99A356","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ad9a766bb06eb0f4aa403a189c88a2c296726477","datavalue":{"value":"W3217466433","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2172820$4B097089-0B4E-4BE2-81B0-B1715FAA0518","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"67a6bbac8d6ec155af87fdf4d97059d8699b2158","datavalue":{"value":{"entity-type":"item","numeric-id":833040,"id":"Q833040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2172820$98385AAB-4412-4065-BE56-893E20BB0382","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"112d092ce03f7e86d9996ef530de2a740a2f8c08","datavalue":{"value":{"entity-type":"item","numeric-id":418137,"id":"Q418137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2172820$8D3E9ED7-1155-4548-AB42-95CAE88817B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bbfd6eeba35083bdb99fc1b354aa7a2ba80bf027","datavalue":{"value":{"entity-type":"item","numeric-id":5277913,"id":"Q5277913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2172820$5C2108B3-9AE2-4FAE-999B-A9FA5DDB42B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7ed283f352ab1fafe41dd5a04cf9750bc9a78f6","datavalue":{"value":{"entity-type":"item","numeric-id":2411038,"id":"Q2411038"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2172820$8F443FB4-778B-4FC5-9F51-202287C8941A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d50cb558c897494f528c1f2901405b7c4d095ac2","datavalue":{"value":{"entity-type":"item","numeric-id":2289076,"id":"Q2289076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2172820$C56C95F3-2971-4489-9DEF-B2C10DB82753","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3ad58fb43e22b51bb15c5b2de8679e492658da3","datavalue":{"value":{"entity-type":"item","numeric-id":645985,"id":"Q645985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2172820$57C1B714-16C1-47E2-89D1-CFF0A9E08EB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"846061f0875834aec2bd94daef27b0daf76b1e96","datavalue":{"value":{"entity-type":"item","numeric-id":1956375,"id":"Q1956375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2172820$8FA733B2-6B6C-49FA-ABF4-C693578493EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"242161c835d65c89be9101966d07684b65a01b37","datavalue":{"value":{"entity-type":"item","numeric-id":5213641,"id":"Q5213641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2172820$30A52BA3-4B02-423C-8CDB-D54251831F3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e3f8c5a0cc0a6db23dd94cd2c6ba8cc0ec6f7cd","datavalue":{"value":{"entity-type":"item","numeric-id":1956372,"id":"Q1956372"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2172820$4F5FC448-B31B-460E-9F32-7B7F5DA80E7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba3a0d183f69ab4da449c2e91353ed2f24648502","datavalue":{"value":{"entity-type":"item","numeric-id":5278424,"id":"Q5278424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2172820$184A6D37-AC0F-426A-9C48-55DA9D640C37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"323dbd6fd6973b3663055cf97da83be885dd9ec7","datavalue":{"value":{"entity-type":"item","numeric-id":5569944,"id":"Q5569944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2172820$4C981314-FE5F-4D6E-93F9-F48D94B9258B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bee679aade6405d6694d01f0efb209e3a97aacb8","datavalue":{"value":{"entity-type":"item","numeric-id":4353719,"id":"Q4353719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2172820$916C7827-8D09-486B-801A-9AAD032B05EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac23d65a9afeff852c7bda4556ad42907e525e44","datavalue":{"value":{"entity-type":"item","numeric-id":5178870,"id":"Q5178870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2172820$D81FCB1A-CFF6-4D45-8C48-A622EE12DD15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2fd50cebeabbd8c125023756b3cf239442eed90a","datavalue":{"value":{"entity-type":"item","numeric-id":1956380,"id":"Q1956380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2172820$418152A4-99F3-4103-9075-0358877E754E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e7f7d33ac25b10eb1bd60ef4dfd2a228c0e1581","datavalue":{"value":{"entity-type":"item","numeric-id":5894359,"id":"Q5894359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2172820$04DD61AB-0B56-45C9-8A40-127E1C1A6F20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e04ecbb7382c81ff4c246d8ee37f901be0a41022","datavalue":{"value":{"entity-type":"item","numeric-id":735407,"id":"Q735407"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2172820$245F7648-EA8F-4C95-B8A2-C785C78FA055","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"162bdd4df93f8ffd3483f8a1810ab35d50492908","datavalue":{"value":{"entity-type":"item","numeric-id":4262604,"id":"Q4262604"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2172820$2CF7558C-7F69-497C-A577-0F21D967C66C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb5c384f83cfe304bd792549ed6786939a461655","datavalue":{"value":{"entity-type":"item","numeric-id":4783297,"id":"Q4783297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2172820$8D25C5F0-70EE-412B-9A1F-D0C1BC08EB71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e8a0e6895d7265b1b90f97c095daa111dd9c47c","datavalue":{"value":{"entity-type":"item","numeric-id":1826634,"id":"Q1826634"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2172820$63BF093A-B846-42C3-BB31-89219CCC0E4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c08f93a83cac59738e22393f05cfd94e4929ae30","datavalue":{"value":{"entity-type":"item","numeric-id":2961583,"id":"Q2961583"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2172820$426B7FD4-BCF5-411F-BD0F-BC7FB83851DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0b06cdf3058d94fbc91292a227b57b1c8abff29","datavalue":{"value":{"entity-type":"item","numeric-id":3446107,"id":"Q3446107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2172820$6BAE987C-8450-4FA2-B1ED-13507ABE6030","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"380a08119d4c425b8bd8d74f456ea59eba367441","datavalue":{"value":"10.1016/J.APAL.2021.103063","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2172820$2706DDCD-4C19-452E-BD15-5B51D18E7621","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"46e70a6f00fc92e27da11dc32ea158c57d3fcfe0","datavalue":{"value":{"entity-type":"item","numeric-id":5034235,"id":"Q5034235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"463907fb89c7071812080bd6109e70d6234b11b0","datavalue":{"value":{"amount":"+0.7625700235366821","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":"Q2172820$5914E6C6-D861-4047-8512-86B875A6A81E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"57f3fd82a705bd44525d4fb7f868aaabc208a426","datavalue":{"value":{"entity-type":"item","numeric-id":526967,"id":"Q526967"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e613c73c7b5f64cd33b72566284569d5a705a16b","datavalue":{"value":{"amount":"+0.7596059441566467","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":"Q2172820$901CEC49-9B5C-443D-8A89-49720808BE25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"70104a27c95bc1423a80e32a8f20851e8b34bc4e","datavalue":{"value":{"entity-type":"item","numeric-id":5140328,"id":"Q5140328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"675529eeda42b5f4694819754a38301831b0325c","datavalue":{"value":{"amount":"+0.7574660778045654","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":"Q2172820$52B843FB-B276-4924-85B7-9E6314A9C702","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9f28a28358356e931ca995f53b57ba656f58046f","datavalue":{"value":{"entity-type":"item","numeric-id":4586138,"id":"Q4586138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f48c9825ec8206ec660a1ff714de9bbbc5ff6777","datavalue":{"value":{"amount":"+0.7513319253921509","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":"Q2172820$50CAD0FC-4380-42E4-AAE8-60F1CFA1B802","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8c46519c48e4a60dcf1a3c7b05fe690fcf049585","datavalue":{"value":{"entity-type":"item","numeric-id":1709702,"id":"Q1709702"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ab0873346daf9ff437bf031ed4a0fb31a167b773","datavalue":{"value":{"amount":"+0.7495405673980713","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":"Q2172820$F1363B0F-10DB-486A-BA68-785E13F360BC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2172820","badges":[]}}}}}