{"entities":{"Q5377700":{"pageid":7407274,"ns":120,"title":"Item:Q5377700","lastrevid":53433314,"modified":"2026-01-24T23:07:16Z","type":"item","id":"Q5377700","labels":{"en":{"language":"en","value":"A public announcement separation logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7059223"}},"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":"Q5377700$D258F71F-7E86-42EB-A9A7-2E3D87B55EEC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f4f6fca88c43915783d5a4fde2f43db5b63e3324","datavalue":{"value":{"text":"A public announcement separation logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5377700$8B0D956E-7511-4133-87F6-4283D0F6F9BC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f58105c900a99899af81c63b0749ca2521879a92","datavalue":{"value":"1456.03030","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5377700$62CBC2AC-9A7C-437D-91D9-FFB94D05E8D0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"68bde1e1ea31816eae6c959a20d8b2f10ca26cac","datavalue":{"value":"10.1017/S0960129518000348","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5377700$71F50240-63E2-4A1C-911B-333EFBAC141F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"70cc2d30e04bf11219f934649dc4a901748d7b0e","datavalue":{"value":{"entity-type":"item","numeric-id":290915,"id":"Q290915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5377700$C98675EE-CA0F-4693-8B97-8D9B6E07EAA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c43c9dea2040a308ad1527d71ba75aae30019412","datavalue":{"value":{"entity-type":"item","numeric-id":290916,"id":"Q290916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5377700$1A9BF332-54E3-4E48-9326-4C007E791CB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"43f27638688e066d21e35c07e7ef6cc3de4c06e2","datavalue":{"value":{"entity-type":"item","numeric-id":813421,"id":"Q813421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5377700$0F4B6327-2E92-4EBD-A2D0-3C6E0866E352","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a53527e88e2413966f3c8ce14c92b878c452756d","datavalue":{"value":{"entity-type":"item","numeric-id":2709784,"id":"Q2709784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5377700$C22189CA-3CC3-47B7-9B95-A366C1E62816","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ca1af7ab0f0fb74ee727ac8a7c46d285cfffbb17","datavalue":{"value":{"time":"+2019-05-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5377700$2993FBE6-BC68-4ACA-A476-73BB01A840B5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"19e8b53914fe36a939b2f687be46776db2609217","datavalue":{"value":"03B42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5377700$C73B4BAB-8878-423F-9175-102A2C81C1B0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"10826bcaa485b7c399629304e0827ec91299419a","datavalue":{"value":"7059223","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5377700$34F8928D-6DB2-4D76-9924-6B5D7B708291","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"938358769b4f58ad078254388a41b1d2ec82e622","datavalue":{"value":"separation logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5377700$6C8A9CA4-0D7E-47F6-AF0B-D9608723310F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"25b255b3f7f779539c5118a049f2680d4f791b91","datavalue":{"value":"epistemic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5377700$212BF7F6-3564-4FFB-B7AC-79A2DD270334","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cc56067f4f92b9328751d6adb4202612cf149c08","datavalue":{"value":"public announcement","type":"string"},"datatype":"string"},"type":"statement","id":"Q5377700$D5094528-E70C-4562-BD02-924BBEF3B726","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d4b608d2ef334644d4aaa6f389c89f17cc37215","datavalue":{"value":"tableau calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q5377700$48A0E5C0-42E4-4F06-AAEF-2B7637317FFB","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":"Q5377700$8C1B2723-A622-4BA0-AAB0-776E90F3290C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f9ca5450cbba5021e7590300f6239727da73ea1d","datavalue":{"value":{"entity-type":"item","numeric-id":2361350,"id":"Q2361350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5377700$90A41381-3366-4AFC-9CE8-428C25A41A32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d969bd9e9070eb4e4b53be99bf5557f5f64d3d3","datavalue":{"value":{"entity-type":"item","numeric-id":3455546,"id":"Q3455546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5377700$ECF21E90-7D30-4C29-AA80-9A808B61E974","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6bd2ed02e926f25d97705d4609f5ab02fd8358e","datavalue":{"value":{"entity-type":"item","numeric-id":3406684,"id":"Q3406684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5377700$57B3401A-9B6F-41E9-BA30-7F3D25789846","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62777a2da8f74b59bd65a59b0a7873d6300032f7","datavalue":{"value":{"entity-type":"item","numeric-id":5431612,"id":"Q5431612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5377700$12A9CAF0-B38D-4BFC-9CF1-0750D83C1A70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b3c64942525af869617033e16b711912dde8409","datavalue":{"value":{"entity-type":"item","numeric-id":5191502,"id":"Q5191502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5377700$16124027-F2FF-4E4D-A2B0-C9ADCC16880A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"33514feb38aec616e587a10c9b74569bbb6bad07","datavalue":{"value":{"entity-type":"item","numeric-id":3643362,"id":"Q3643362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5377700$E5268E9F-9B7D-4D36-8569-7B6981E34189","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d7f583f3fd345c27b49b204b50e2f3db6a761535","datavalue":{"value":{"entity-type":"item","numeric-id":3455841,"id":"Q3455841"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5377700$87689F68-C32F-4A10-B9E4-9C127E3D6A68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d6dbb50f144c27af1ab9e1ce0916ccdd827631e","datavalue":{"value":{"entity-type":"item","numeric-id":4612424,"id":"Q4612424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5377700$89D71087-54B3-488F-ADE7-F8E4EE91BA98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c0eb3366550d6c4a3a3242472370dd44fb1054a","datavalue":{"value":{"entity-type":"item","numeric-id":2947467,"id":"Q2947467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5377700$9253FAB2-9D71-42A7-9E4B-DB125858E7A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"013dacde3206bbf2c2eeab277c23d5af393af190","datavalue":{"value":{"entity-type":"item","numeric-id":360052,"id":"Q360052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5377700$1997834F-27A7-4F3F-B677-87F56BA79968","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ab411898e21b7ff1dd2c5306da3bb87a5aa3f33","datavalue":{"value":{"entity-type":"item","numeric-id":3371525,"id":"Q3371525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5377700$45CF9A52-2666-499A-BBB6-494B233C497F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a2b2a8cf71a298beb3d5742fd0312db85012cf7","datavalue":{"value":{"entity-type":"item","numeric-id":579249,"id":"Q579249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5377700$A9818CD4-39B2-4DA8-BE16-134F405A2CBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e50e0df23cb79623ff315efbeaf38a33ea09bd53","datavalue":{"value":{"entity-type":"item","numeric-id":2849430,"id":"Q2849430"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5377700$EB6BD2AD-BC79-451C-B15E-EE312FA112C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b5e68c98acab8a44b19d60726ea8d37c3a5068ee","datavalue":{"value":{"entity-type":"item","numeric-id":2971689,"id":"Q2971689"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5377700$2CD51FE1-B236-412C-BE60-56749CFF5FA4","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":"Q5377700$F668C044-FB40-48C0-BB38-7630A07CE352","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"845dbeb6b13e20a4a0e67132e07ccf7e6aa8d45a","datavalue":{"value":{"entity-type":"item","numeric-id":5739976,"id":"Q5739976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5377700$E9C3C540-A6B0-4D62-A11C-382E3F82BA5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4c704ff998b44e195f6134a4f2cef8f379bf3acc","datavalue":{"value":{"entity-type":"item","numeric-id":4180316,"id":"Q4180316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5377700$2C9DA700-5041-494D-ABAE-11D89ABA76E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"44eeb961f37a0faa60e7e35fbd5341166f48ff68","datavalue":{"value":{"entity-type":"item","numeric-id":5711863,"id":"Q5711863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5377700$DE083E76-FBE7-4BCF-BC66-17CD7AB02D01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"174e3f2701a2bacd196e2d244539c0776079d382","datavalue":{"value":{"entity-type":"item","numeric-id":4858037,"id":"Q4858037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5377700$64DEDE5E-9B3E-496F-B0F7-7FD381380C0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e0fde7dfe97558f718edc70a68b732f9b3b72d20","datavalue":{"value":{"entity-type":"item","numeric-id":2487871,"id":"Q2487871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5377700$02D806B9-0699-4185-8029-1BE9B523A9BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2990e15db3ec1299bacd39e760b2d345098c103a","datavalue":{"value":{"entity-type":"item","numeric-id":4845472,"id":"Q4845472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5377700$1C8E63B6-85D0-419A-ABA3-0A076E2BAE66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7abbe2e64519084334ef1b028962c194fae3932f","datavalue":{"value":{"entity-type":"item","numeric-id":3647268,"id":"Q3647268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5377700$E36B7D92-42DE-489D-8F43-0D66C11547B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65811032837abc05e9b9d9c582584a4d41a6d8be","datavalue":{"value":{"entity-type":"item","numeric-id":2457673,"id":"Q2457673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5377700$932CD4DA-D2DD-4693-B40E-C83DB7223CBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7ea0c6cee5ff3cb18604fb5b8a71c711e3684b3","datavalue":{"value":{"entity-type":"item","numeric-id":1420803,"id":"Q1420803"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5377700$2119EB0C-2A10-48B1-A010-6A9592152501","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3ac8a2244a946057ab21d23d8cd260bd66c6968","datavalue":{"value":{"entity-type":"item","numeric-id":3608740,"id":"Q3608740"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5377700$3E006C18-A6BD-4E5E-8F6A-3F94A3394245","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ae2b036924d203e4ac3951fcb8f1fe0ecfbe5e9","datavalue":{"value":{"entity-type":"item","numeric-id":4578043,"id":"Q4578043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5377700$86472434-075D-45B4-B00B-D61F0EE21746","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"1fa21614609143910e6518971e2030f621d97ea5","datavalue":{"value":"Q128042605","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5377700$FEC2988A-D35B-401D-9818-80DEEFF5E261","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3c3facc197283ce7fafcfd81307028fd9ed27b09","datavalue":{"value":{"entity-type":"item","numeric-id":2947467,"id":"Q2947467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"570647d85d19338d5eaf037beb977363b3510fa1","datavalue":{"value":{"amount":"+0.8610385060310364","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":"Q5377700$289DDA7D-663A-4611-BC7F-8902FB4D9BB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"71e2ffe298ccfb1d9d4a70c5119f4a12c8b655fc","datavalue":{"value":{"entity-type":"item","numeric-id":3406684,"id":"Q3406684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"979a0bfac897f6a6b529ac694c077fb4c11b09e6","datavalue":{"value":{"amount":"+0.7994347810745239","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":"Q5377700$42CA950D-533B-4F9B-A1C3-ADBD1C581A38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5464eb4f247b4c60cfbfd5b37f065d6300a02496","datavalue":{"value":{"entity-type":"item","numeric-id":5434478,"id":"Q5434478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fb8c4f24c4f408abe7e03647691f5d748d850649","datavalue":{"value":{"amount":"+0.7959827184677124","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":"Q5377700$2BD43264-D7D8-4785-AC5A-5C94D5ED60F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3e06672a2461f43ffd04a21c83c5a4f81c6dfb08","datavalue":{"value":{"entity-type":"item","numeric-id":4636028,"id":"Q4636028"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5887925c42f275c9341d1f4b9355ebf6b5405ecb","datavalue":{"value":{"amount":"+0.7728157043457031","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":"Q5377700$F4D6E933-8299-4E78-AE46-C28784F92790","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"488b2402f40791c15f0218098328eb32bfee0042","datavalue":{"value":{"entity-type":"item","numeric-id":3580674,"id":"Q3580674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9da0fc724c5fda9ec7988683d53fad3b68c774f5","datavalue":{"value":{"amount":"+0.7726160287857056","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":"Q5377700$E47367CF-E50F-447B-AC1E-4FD5B52A8BA9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5377700","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5377700"}}}}}