{"entities":{"Q3988057":{"pageid":6017915,"ns":120,"title":"Item:Q3988057","lastrevid":47055040,"modified":"2025-12-31T13:00:19Z","type":"item","id":"Q3988057","labels":{"en":{"language":"en","value":"Compositionality Through an Operational Semantics of Contexts"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 32045"}},"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":"Q3988057$BAC1FD93-F4D2-4876-9131-B8C7254D4B43","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b9394325af4026369a346dfb3d28b011ea6de8e5","datavalue":{"value":{"text":"Compositionality Through an Operational Semantics of Contexts","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3988057$254270E3-6100-4F1D-AEAE-EA23AA1E71FF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2474dc87ff852d9c7a1d0dbdc980088351624131","datavalue":{"value":"0738.68056","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3988057$292A0728-CD0D-41E3-903B-BD2120991FD1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"120787504bea9565def539fb4bfb19084956028b","datavalue":{"value":{"time":"+1992-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":"Q3988057$264418B3-6D65-47BA-8754-B74683F31AF6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"78de7fd58b2159faabbd5c24ef230cffc015ccb1","datavalue":{"value":"https://semanticscholar.org/paper/69fc0d718996bab6e6049e81e53c896c9909016b","type":"string"},"datatype":"url"},"type":"statement","id":"Q3988057$CEFD579C-9E8A-4DA3-A8CE-06B91E86A63B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3988057$D2960A10-33F9-4536-8520-381FFA8270A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35bbdcbda53152c249a7f99650e19b5ef62999f2","datavalue":{"value":"68Q10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3988057$95394786-FAFD-4B0C-B376-4A9399347950","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3988057$D6875CBB-4FF6-4E33-83A7-2F719DA53A6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3988057$EB5A21DC-DCD9-4239-B68C-51441351542A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"51ba077ade7ae87ccc41e33b28fc04b8293c8e50","datavalue":{"value":"32045","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3988057$4F5A5859-E453-4856-B508-8795B2952B85","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4ed9d7e915456bbb5f7509634877eda454bb9454","datavalue":{"value":"concurrent systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q3988057$9254B3A4-BC1E-4091-A850-9E539C705127","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q3988057$E9036687-0AA2-4B29-A74C-179E8DAB59E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6dfba264ed923dd13e3004a251bcdab07ddaa86e","datavalue":{"value":"compositionality","type":"string"},"datatype":"string"},"type":"statement","id":"Q3988057$293BE4B3-D465-4992-882D-FA22A6DAD1C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"924b5c3693a9190d8ff0df72dffdb31286204dbd","datavalue":{"value":"weakest property transformer","type":"string"},"datatype":"string"},"type":"statement","id":"Q3988057$55B3B1F3-D270-4773-B403-A9AF7ED3B0C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a2dd3a332401580f842749049d84797eb1b33c3e","datavalue":{"value":"Hennessy-Milner logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3988057$D7A96D24-EE1C-4DDA-8D1F-123E84FB31D4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7ac8acc0ee38d6ade72f0d112f1c054cc98c3505","datavalue":{"value":{"entity-type":"item","numeric-id":808272,"id":"Q808272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3988057$DF490868-4445-43A4-A17F-5B2B7AEFAD04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3a0be023ae0e9e5a0ddfbb1f86d4e9f4133d772a","datavalue":{"value":{"entity-type":"item","numeric-id":1894679,"id":"Q1894679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3988057$8516911B-D6CF-47D8-A6B3-B90647087DE9","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":"Q3988057$C9030F67-DFAD-415C-AA26-8EFDACF832A6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c6ebda39e3db51acaa53ef9ca321530dbe949a6e","datavalue":{"value":"W2095082129","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3988057$33999AAE-7B7A-40CC-8E6D-93E0CBFBC58D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a26c3053c7ffb7aefe96a30dfae4cc65aaf65489","datavalue":{"value":"10.1093/LOGCOM/1.6.761","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3988057$48F41497-F4EE-445B-865A-B49A486EC649","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9e6aedf3faf6964e0bbb1663882629f007284aa9","datavalue":{"value":{"entity-type":"item","numeric-id":2983390,"id":"Q2983390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3988057$A338695E-2671-435A-B202-AD9EE274B542","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0d6f58d85383441fdb474ec4757213ee2e34a0d8","datavalue":{"value":{"entity-type":"item","numeric-id":4038716,"id":"Q4038716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"61f1dbb7d654b691c107e4b1db2394b7af57fe35","datavalue":{"value":{"amount":"+0.8146231770515442","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":"Q3988057$96DBBA97-5B11-471B-9469-42AA3B377CE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"12e5f41365c5d9b350f6af69bb3a8ef9e0cc0b6b","datavalue":{"value":{"entity-type":"item","numeric-id":3569039,"id":"Q3569039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"61f1dbb7d654b691c107e4b1db2394b7af57fe35","datavalue":{"value":{"amount":"+0.8146231770515442","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":"Q3988057$FC3E4CE2-CC1D-4D27-863C-63E8336BD898","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b60afaf33cfae45b4e4426f23eb3b7355e4bea9b","datavalue":{"value":{"entity-type":"item","numeric-id":4738308,"id":"Q4738308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"23a0a37b4b85e96634dea19d7cac344fa0efe15d","datavalue":{"value":{"amount":"+0.7529115080833435","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":"Q3988057$8667C898-77B5-4EBD-8DD1-C7C40FC2E0AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"be9020b7c50056dbea10fac4c8b5ee7a1cb0e964","datavalue":{"value":{"entity-type":"item","numeric-id":2721100,"id":"Q2721100"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0e68f089346996c7e550492f941440717f168ff9","datavalue":{"value":{"amount":"+0.7319484949111938","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":"Q3988057$1888781C-453D-424A-87E4-853B935E5845","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4af847a187776bd4da2c0932513f18c2a0202c5b","datavalue":{"value":{"entity-type":"item","numeric-id":2892725,"id":"Q2892725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a7e0e6f9761bec509a228e59596c0e2099d9dd15","datavalue":{"value":{"amount":"+0.7216737270355225","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":"Q3988057$4EF7932E-280D-4908-966C-C07019BD449A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3988057","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3988057"}}}}}