{"entities":{"Q5115862":{"pageid":7145436,"ns":120,"title":"Item:Q5115862","lastrevid":53803196,"modified":"2026-01-25T18:07:25Z","type":"item","id":"Q5115862","labels":{"en":{"language":"en","value":"Surprises in logic: when dynamic formality meets interactive compositionality"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7237975"}},"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":"Q5115862$FD354E4D-E3F2-4D1B-B1DE-DE65F7108865","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"97b249c16c8d27e4c080d9d219a85f2619135759","datavalue":{"value":{"text":"Surprises in Logic: When Dynamic Formality Meets Interactive Compositionality","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5115862$9565669E-ADC4-4557-90DA-ED8EC4943F06","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"36253b489677d75644167f67e24925baab3c23e2","datavalue":{"value":"1465.03028","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5115862$27464195-D83A-4AB2-9B10-9D0C3BE05C08","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7f73f95429adcb4e94341567bfd7528f7ffcd204","datavalue":{"value":"10.1515/9783110657883-013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5115862$47BB9C61-1569-45C0-BEEF-FF3F9A94671A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ae41fe036022ed022a59c7af3b68a4518b3b7776","datavalue":{"value":{"entity-type":"item","numeric-id":2856045,"id":"Q2856045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5115862$66351231-A285-4528-B018-7F8C5A3832E8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d60511a3e8b97c5b55f9e52879ef8f0d25263697","datavalue":{"value":{"entity-type":"item","numeric-id":5115849,"id":"Q5115849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5115862$54441739-F364-4116-B6EA-0E464C7EA16B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5a5de714875b12302ca8a32fad72843bd851eaa6","datavalue":{"value":{"time":"+2020-08-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5115862$148BB234-2EF4-412E-A582-5EB86DCA5BBD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"48a2830216eefdc24b89ba9895c8f20366f6740d","datavalue":{"value":"03A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5115862$70C89472-8EAD-4B2A-BFB9-3A5ABFA0AF4C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"21a9c684a25e130158dd4060f045a9763bff9df1","datavalue":{"value":"7237975","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5115862$E9DCF5AB-3AA9-425F-92F0-79F076EEA080","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":"Q5115862$12122A93-C96A-4283-A527-A446F9A4CC6F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f47254760836c71ee108fac06a1ff78a64304d35","datavalue":{"value":"https://doi.org/10.1515/9783110657883-013","type":"string"},"datatype":"url"},"type":"statement","id":"Q5115862$7D7CCB43-DA2E-454B-A54A-866E999F3699","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"559a5d7c8d461042049a3ba41c16ffa0f581dcd3","datavalue":{"value":"W2949949266","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5115862$DE807AB4-6C86-4848-92B5-CA0635E71FEC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f0eb20a86874c525d693421801bb7e11c9a1eb9c","datavalue":{"value":{"entity-type":"item","numeric-id":4648941,"id":"Q4648941"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"13249968f34ad995ffd2a4a7d80c57f086793d4c","datavalue":{"value":{"amount":"+0.7380502820014954","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":"Q5115862$74889D3D-3BB7-42CD-B440-69AAF683DB0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e6a8926822bbb287a484055e6f30cfb51bf2cb61","datavalue":{"value":{"entity-type":"item","numeric-id":4483978,"id":"Q4483978"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"361f6fb848ca6be22039fbbcb6509cb76a468426","datavalue":{"value":{"amount":"+0.6861199736595154","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":"Q5115862$BE94B106-164B-4B6B-AC83-0744987727D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"50475b3df5b27bb635e9e53dafd3631d955210c9","datavalue":{"value":{"entity-type":"item","numeric-id":542124,"id":"Q542124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7640a89d2925c94ffcf11fc2baa851dc44d2a07f","datavalue":{"value":{"amount":"+0.6839984059333801","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":"Q5115862$4DC6FD08-BE5C-4A00-845D-7A7786974B95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"342f2174cd44879811e728b9b4dcca51de9f209a","datavalue":{"value":{"entity-type":"item","numeric-id":5436994,"id":"Q5436994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4b44a4f756d03e7ff93d1ee30772356ce034e8e4","datavalue":{"value":{"amount":"+0.679645836353302","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":"Q5115862$97270E3A-A452-4B67-9524-830D28B61732","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6e91775927e681471f67a90244ad4bf3f2addda6","datavalue":{"value":{"entity-type":"item","numeric-id":2856046,"id":"Q2856046"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d48bc4db607d3511508ca951a887bebf28f31151","datavalue":{"value":{"amount":"+0.6752076745033264","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":"Q5115862$009FF430-9B5D-4A9D-BAAD-768C740BDBD7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5115862","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5115862"}}}}}