{"entities":{"Q5089022":{"pageid":7118598,"ns":120,"title":"Item:Q5089022","lastrevid":55415326,"modified":"2026-02-17T15:57:10Z","type":"item","id":"Q5089022","labels":{"en":{"language":"en","value":"A Linear-Logical Reconstruction of Intuitionistic Modal Logic S4"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7559286"}},"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":"Q5089022$EE75E8E0-9301-4111-A3BC-B10044549DD6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6e79cf3e28be35a39cb3a7fc8a500e31ac3d4ad6","datavalue":{"value":{"entity-type":"item","numeric-id":1679797,"id":"Q1679797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089022$BAED4985-0F7F-4947-ACC4-BC6913F62670","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0fe066dd66295d4f07a49a0fa718fa972fdc7a89","datavalue":{"value":{"entity-type":"item","numeric-id":4635619,"id":"Q4635619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089022$A18A962B-1CD0-4199-B653-357D8C409ECB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6793430fc5b4ace9180691774574e339423361ba","datavalue":{"value":{"time":"+2022-07-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5089022$FD956B04-A046-40EF-A6A5-CD8B2D083D42","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e5e1a71b07179ce0e4ffe8d0ecc3fa8e812e575b","datavalue":{"value":"https://arxiv.org/abs/1904.10605","type":"string"},"datatype":"url"},"type":"statement","id":"Q5089022$6B40B82E-5607-4C22-AEEA-B88B0AB05B5C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5089022$46A00304-059F-4DB0-B52D-B1A8DB7310DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5089022$D48B3C29-1663-45DE-985E-04939C6C1588","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3c23e340bde0701eb29e6ddf4d8777bfb8dd5ca7","datavalue":{"value":"7559286","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5089022$7456B505-9EF7-406A-897C-853C3641D580","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f688d80cd10dc9c0b004843c0674655ad59b2fb","datavalue":{"value":"linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5089022$3CDB5388-F587-4FFC-8F31-F7489AA4496C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5089022$376D1E34-AC77-4A26-8EB1-86CB649A308B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e761c1db83b6c981936fd00425527bd990a21bcd","datavalue":{"value":"Girard translation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5089022$AA74790B-42E5-4EB1-8DD5-8B63D9C987FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f89b34d84a29901e6cfe557573b31fa1373d9525","datavalue":{"value":"Curry-Howard correspondence","type":"string"},"datatype":"string"},"type":"statement","id":"Q5089022$8AEB8A61-42AB-4C11-95E7-2DB905866A28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"76a82277bbe473528241978984f20c76f7f8f712","datavalue":{"value":"geometry of interaction","type":"string"},"datatype":"string"},"type":"statement","id":"Q5089022$385BF920-26E1-494B-AE77-CB11B387B708","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"157bca91e28d01a7caf49dd46a335591cecd71c2","datavalue":{"value":"staged computation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5089022$1B43853F-A27C-4AFC-8A34-984AFF827177","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":"Q5089022$7B6CA2F9-77C3-4A33-8F76-CB52B042F14B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ee5d222aba101a0acbf527c26af2c58471ddfe5","datavalue":{"value":{"entity-type":"item","numeric-id":4792973,"id":"Q4792973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089022$951BDAA4-851B-43DC-A45A-961A6C0D71DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6dd5b5aad3a3bdf462e11b6fb63fcfba394bc27c","datavalue":{"value":{"entity-type":"item","numeric-id":5308690,"id":"Q5308690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089022$2E078149-E144-476C-93EB-0134B0F6D504","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b118fc85ee391a10c7ec87ba8e392cc631a1eaa0","datavalue":{"value":{"entity-type":"item","numeric-id":4282602,"id":"Q4282602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089022$9308E103-7E70-410E-86FB-039E5B927AEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"05618bc94dd537d3034b233a45ab1cb0906c9164","datavalue":{"value":{"entity-type":"item","numeric-id":3196622,"id":"Q3196622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089022$F01AFDAF-BEFB-448D-A393-61DA1D194EB8","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":"Q5089022$734A5E38-1FB8-4B1F-B9BF-A1B5BA701A66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc9ef798e3ca8ce1bee688f2fa85b74a55e80258","datavalue":{"value":{"entity-type":"item","numeric-id":5144635,"id":"Q5144635"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089022$2760C83C-2371-4087-815C-4BF38AEC1B70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"074134d8b33bdd9cca293a6e8f5f8ee888ec9918","datavalue":{"value":{"entity-type":"item","numeric-id":1192352,"id":"Q1192352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089022$5B421622-E96B-4EF8-864F-5EBD2FC44DFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"92feaba57f05436346769947d4e90feb503ac7b1","datavalue":{"value":{"entity-type":"item","numeric-id":1575882,"id":"Q1575882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089022$D79BD266-2D8D-44D7-8EA0-66B5D88F189C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"154c27a7f4aa0b2abd2ba8f20ec1f3ee64cc5964","datavalue":{"value":{"entity-type":"item","numeric-id":4314678,"id":"Q4314678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089022$C1CC51FE-AEF4-46F0-9A10-AFED9D4AE933","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"42c66691adae087c113fd4ce4709d6fb4ddc93a9","datavalue":{"value":{"entity-type":"item","numeric-id":5739974,"id":"Q5739974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089022$DDE0D7A4-D7B8-4339-9962-12A4BAD9F78E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e31bf245f35574061754de8dd3f3f3e03ec0fa8b","datavalue":{"value":{"entity-type":"item","numeric-id":3527292,"id":"Q3527292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089022$73713E25-60A3-4979-854D-E40C622FD1A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"604686a5863b0bbdb6c64aa93b923e5212a9cf8f","datavalue":{"value":{"entity-type":"item","numeric-id":2746757,"id":"Q2746757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089022$1E59F01E-6490-4941-98BB-032A604BDF7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4c55ad49f3d623989e800ede267d8888becb97c","datavalue":{"value":{"entity-type":"item","numeric-id":5688803,"id":"Q5688803"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089022$13CBB3B7-F881-4875-BAAC-954FD7F7EBFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a185365ea304676a668d997c851ad5b7001286f","datavalue":{"value":{"entity-type":"item","numeric-id":2942909,"id":"Q2942909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089022$30097F95-D619-4CEA-8B5A-E775C9C4A972","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3cecd4cf00bc8e024448b12f96273285315a1e3f","datavalue":{"value":{"entity-type":"item","numeric-id":1583363,"id":"Q1583363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089022$0527F97D-308A-43B6-83FF-4B52B569913A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"556c63d3d5fbb69adda2aaeb321f31370f38a3b9","datavalue":{"value":{"entity-type":"item","numeric-id":4716271,"id":"Q4716271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089022$7BD2258E-3D02-4735-B5F6-79A6C98DEA14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aad140dba0e0d62853c16a3a3dbb366784e498da","datavalue":{"value":{"entity-type":"item","numeric-id":5894005,"id":"Q5894005"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089022$A8CCB056-051D-44C3-8787-BFD601291CA1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"54e7e789d0f650d334c6199a951c52dc82300c94","datavalue":{"value":"W2953977622","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5089022$47CC98F4-FB22-40AF-B733-8587014F73C3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"114cea0c0e9a26bec19c18c1213f5b273b22a5d6","datavalue":{"value":{"text":"A Linear-Logical Reconstruction of Intuitionistic Modal Logic S4","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5089022$FCC28639-0810-4107-B65F-B98F08C0C2FC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"eaea8d5942e6c1190aa98f81c21be8fd470c7915","datavalue":{"value":"10.4230/LIPICS.FSCD.2019.20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5089022$F1D6CE4F-722A-4A9C-81AC-557CFA416F1B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2511f0caf416e074fde5c9cd622c027b44e53606","datavalue":{"value":{"entity-type":"item","numeric-id":4222777,"id":"Q4222777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c40b249ff599412b6cad38bf4dc0154fcef01d28","datavalue":{"value":{"amount":"+0.8126012682914734","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":"Q5089022$D7903ECC-9C82-475C-B718-F024D7DFB884","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e259268085225e4b8182f77c0e0e854f0c60702e","datavalue":{"value":{"entity-type":"item","numeric-id":4314678,"id":"Q4314678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4416eabec3f53cd73c79325c0f8aafdc7816f531","datavalue":{"value":{"amount":"+0.7991185784339905","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":"Q5089022$5C006700-8AA8-43F3-AC6F-0844EF010103","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e0cc8a48c38cbddbc299ce2722ea8512d0ddab33","datavalue":{"value":{"entity-type":"item","numeric-id":1591340,"id":"Q1591340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"671754ddbba5a7db74ba30fd0267e7d867f5b029","datavalue":{"value":{"amount":"+0.7868494391441345","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":"Q5089022$14D0DF76-BFC3-4466-A094-C583A0AC04D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"21ea86ffc61316ca43e87cd26e310126220d364d","datavalue":{"value":{"entity-type":"item","numeric-id":5688803,"id":"Q5688803"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e08c3ea8455dcdb251968194c59d1868a9969c36","datavalue":{"value":{"amount":"+0.7734944224357605","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":"Q5089022$0B22EE53-E5CC-4A4E-B57A-924BCFA1A700","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dac589f82cc0b21c9eb93556bfb80280168b9bfd","datavalue":{"value":{"entity-type":"item","numeric-id":1397803,"id":"Q1397803"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e98ea7e7e9b04fda309f1177e0e4c9ef9783f1f1","datavalue":{"value":{"amount":"+0.7637743353843689","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":"Q5089022$F582A63C-3497-4DAA-86FD-06419EEFC059","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5089022","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5089022"}}}}}