{"entities":{"Q4314678":{"pageid":6344279,"ns":120,"title":"Item:Q4314678","lastrevid":81678674,"modified":"2026-05-06T19:05:43Z","type":"item","id":"Q4314678","labels":{"en":{"language":"en","value":"A modal view of linear logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 695449"}},"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":"Q4314678$3920C2CD-37D7-4C70-AFB8-5FC83F60D5CD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"00eb3fa59af56ffa9550f5cd9bae5c6938e6b526","datavalue":{"value":{"text":"A modal view of linear logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4314678$9A97C66B-CEFE-43E2-AEA8-5D311D553C9D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d09d026c1152d0fa5050bc1742d5d638a2ef1886","datavalue":{"value":"0814.03038","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4314678$80B83EF5-6CCC-498B-855C-4DDDBA212380","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3662778f18e0170f8bd6ada71ddf8257d1198692","datavalue":{"value":"10.2307/2275915","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4314678$DA947300-7F36-457D-804E-6763CDF9FC8E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7086b371037f8c6a4118ffbbe29f86ca9e6f2148","datavalue":{"value":{"entity-type":"item","numeric-id":596036,"id":"Q596036"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4314678$469754AF-9A1C-482C-814A-BCC1AF534C09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d1b68d0e89e7b621c100d1bdf2782ef774a2f362","datavalue":{"value":{"entity-type":"item","numeric-id":1044835,"id":"Q1044835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4314678$FB6A200F-B199-45E7-B488-4C125CE98EF4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6218d42f0175ef35f91c4900eb5db86484a9463d","datavalue":{"value":{"entity-type":"item","numeric-id":2710590,"id":"Q2710590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4314678$42D38C72-100D-4DBC-87E3-DF99504098E9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b284e35c1970c32b54ea678933b5f17581b0b244","datavalue":{"value":{"time":"+1995-06-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4314678$87067411-6276-465E-90D7-BFD18942C268","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4dd17e948ef0e266d136e969bf8283741afbd898","datavalue":{"value":"03F25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4314678$7CF6FF8B-0067-48F5-95D7-81E4E5881114","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4314678$E3EEE5D6-958A-4018-8575-9B40FEB0B7AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4314678$2AF6E74D-EAF6-4F29-8105-0783B37A588E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4314678$AF9C9DED-BF1E-4E53-A25A-9300FD88F868","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3f203f9bbb4287729478295948f884db361bbcfe","datavalue":{"value":"695449","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4314678$3E6EDFF0-366C-46AE-B173-10158FAA1D17","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dbadd689afdff7de47d6fc9658b887b8542f7df4","datavalue":{"value":"contraction rule","type":"string"},"datatype":"string"},"type":"statement","id":"Q4314678$5F289816-DCFA-4E05-A7CA-E07F22854881","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"693ff5fabf0674fd253282db691ef9f1539b7c59","datavalue":{"value":"exponential connectives","type":"string"},"datatype":"string"},"type":"statement","id":"Q4314678$CF765AD9-C151-4081-8D05-CF061CF6291C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f688d80cd10dc9c0b004843c0674655ad59b2fb","datavalue":{"value":"linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4314678$9E7FC2FF-AACA-4B18-821E-C056F13BED03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b0f69157038dcf2d8510e4917fbb952004b8b7d4","datavalue":{"value":"Grishin-Ono translation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4314678$85760ACB-10A5-4A09-BD65-D8267E63787C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d162b9dec5dedd6058b4beadf0d4eb0827aaaf63","datavalue":{"value":"propositional modal logic S4","type":"string"},"datatype":"string"},"type":"statement","id":"Q4314678$7980D682-8733-4810-B062-6FBD72E6A033","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d412c8f09e557ce150206de14b4a769b31d0b5d2","datavalue":{"value":"contraction-free sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4314678$77FA0501-01A7-4B8A-AF3F-B34483EF669A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ee0a69ba46a5f23ccf6ad83fcf01b7501a19fa4e","datavalue":{"value":"cut-elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q4314678$19DD5863-73E3-4D24-8E0A-E268971465A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"820b26f4cbbcd05af93a5007d87331344257c088","datavalue":{"value":"cut-free linear proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q4314678$E74E8166-0E54-44EB-828D-8CD2A2BE2253","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ab14670fd645ceec284d741b18aecb5f5131180","datavalue":{"value":"decision problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q4314678$B63A2972-47FC-4433-A1A9-17560CC8B77A","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":"Q4314678$0798D3C0-BD44-4097-8132-D354EEA43D12","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"839c28461d95a041f05b208ebc3d70fe7e2d7e36","datavalue":{"value":"https://doi.org/10.2307/2275915","type":"string"},"datatype":"url"},"type":"statement","id":"Q4314678$641C87ED-7308-48E5-ACEB-0BE6D635888F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1b6ffcdbc8dcc38dddbb091fb8b9dd689e019e5c","datavalue":{"value":"W2045549616","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4314678$124F0B31-04E7-4EB0-B2B1-24DB85B6657F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0004f8fddecc0a33725b971c1c77c93c033b938f","datavalue":{"value":{"entity-type":"item","numeric-id":4692942,"id":"Q4692942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4314678$F27E4083-CBCB-4904-8EFC-F9506279114A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1845121d7204a561acfbb8b55f7d2a361a55e0f1","datavalue":{"value":{"entity-type":"item","numeric-id":4178997,"id":"Q4178997"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4314678$3701B958-DA32-4EF5-A667-6B0DE274169C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d9e6e4389eb351114acccb25274f6bf8d570c247","datavalue":{"value":{"entity-type":"item","numeric-id":5668435,"id":"Q5668435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4314678$7D575E7F-E5A2-48EB-A2A4-D0F1F84ACC60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bdd776131e11e4278abdb74b0dc63b486b93334b","datavalue":{"value":{"entity-type":"item","numeric-id":4309506,"id":"Q4309506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4314678$B563861D-7CDF-4EDD-80BD-76B08A199A02","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d5c5f16066f600409ef43b7ef2bf3e168436d94a","datavalue":{"value":{"entity-type":"item","numeric-id":3126407,"id":"Q3126407"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9a65641a02fbeb13f101784d8a903a1e9834d18f","datavalue":{"value":{"amount":"+0.8371249","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4314678$943F661C-6A1B-4649-971F-4B6195305252","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f66302990f4dbc0e4358a7134686423094526928","datavalue":{"value":{"entity-type":"item","numeric-id":2900543,"id":"Q2900543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8cba77cd93e7374d014336711f492ebc100ec2d4","datavalue":{"value":{"amount":"+0.8015367","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4314678$5BE33E22-3A59-42C8-A74D-45B21B416FD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"298f54efda5b32e5a22511da7f85bcfbab77615c","datavalue":{"value":{"entity-type":"item","numeric-id":2702566,"id":"Q2702566"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"93e8b518b55fd8cb303a3a85864076ee1ee5902e","datavalue":{"value":{"amount":"+0.7915564","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4314678$25E9B7D3-D1BD-4A0E-BBDC-82B11F982E73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4b957ad6dc5d90a250dd508d48d7d6fc846bb993","datavalue":{"value":{"entity-type":"item","numeric-id":1198409,"id":"Q1198409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0e356644b4de52133f042b37846f18f8c3849f42","datavalue":{"value":{"amount":"+0.7893813","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4314678$3919C6D7-0D65-4F26-8479-A6870A94A2DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2bec58fbf136bc6dd129e53930f0af17ad99010c","datavalue":{"value":{"entity-type":"item","numeric-id":1902553,"id":"Q1902553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e20e2939498fbd5798617a7c30f7a933fcfb7d19","datavalue":{"value":{"amount":"+0.7833764","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4314678$2A059CB0-A092-4D86-81B9-2371F25A8628","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1e43a8e52d9764867b80193aa5f9de7685229905","datavalue":{"value":{"entity-type":"item","numeric-id":2721197,"id":"Q2721197"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3b1ec5e167728790a0c25cbaa165f161d6f7dc32","datavalue":{"value":{"amount":"+0.78232396","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4314678$91472B5C-2D18-4BAD-9C22-17B5243947E0","rank":"normal"},{"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":"be76a5135993f606992835a21c3271ec658d18b1","datavalue":{"value":{"amount":"+0.7813371","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4314678$BD5460FD-3354-4A70-8EE8-090FD1F2E731","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d776251971de9cedf12bb5788f6450a62a83e18","datavalue":{"value":{"entity-type":"item","numeric-id":5739974,"id":"Q5739974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e1c3baff27572d230fba8dbdbf12bf8ba954fbe0","datavalue":{"value":{"amount":"+0.7801473","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4314678$4A603859-5658-4ED5-A65D-181A13249E30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7f14ecdc046b0d229e320e01a191ddd54d8eeb17","datavalue":{"value":{"entity-type":"item","numeric-id":4650293,"id":"Q4650293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a8e5ae0effa0c625defc5e73b6ca22082a7ee2b9","datavalue":{"value":{"amount":"+0.77875185","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4314678$D56174A2-E601-4727-AE33-84C92620307E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8e37c02e5fc129026c4872920f1f5be7b13eae3a","datavalue":{"value":{"entity-type":"item","numeric-id":4250043,"id":"Q4250043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"806fab765bebec2dd0c3ee120a6c11f41d36311d","datavalue":{"value":{"amount":"+0.77571356","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4314678$555B95D6-2330-495B-9FE5-9A46F6110C19","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A modal view of linear logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_modal_view_of_linear_logic"}}}}}