{"entities":{"Q2809680":{"pageid":2820418,"ns":120,"title":"Item:Q2809680","lastrevid":52544030,"modified":"2026-01-22T22:29:15Z","type":"item","id":"Q2809680","labels":{"en":{"language":"en","value":"A method of marks and indices for linear modal logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6587438"}},"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":"Q2809680$873E098B-A73F-41C3-87D9-C01E8B4E8A98","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2c30265ac124bf71212b633925279636f4e42923","datavalue":{"value":"1338.03041","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2809680$A5EA06CA-B82D-4134-9595-9C3DE26CFD06","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6c87b5aca574eeb1372d986f8806fd69f2d77ca3","datavalue":{"value":{"entity-type":"item","numeric-id":1245696,"id":"Q1245696"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2809680$C1BBDB72-295C-4DD8-8D82-B3DBD95166CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9e7860b5f5f8e3f51d43313692926606ec1d28de","datavalue":{"value":{"entity-type":"item","numeric-id":1344879,"id":"Q1344879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2809680$F8830250-CBFE-4A93-A7CC-20A04E470DB0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f88047d510a654c87acfb0f9b656988fa90dacd8","datavalue":{"value":{"time":"+2016-05-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2809680$AFFD0976-5F64-4DF0-BA95-AC9B1272E515","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2809680$7E49511B-743B-4FCC-838F-8D7CC605D765","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6a88bb80587a869ac5ca497d0d0c02619da3c6f4","datavalue":{"value":"6587438","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2809680$A6FEBDEA-7592-4ACE-A61F-5F621A334C14","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e70d4337ccd63bd5a94b947eb4b97131d9622035","datavalue":{"value":"modal logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2809680$68CF9388-0E14-42CF-8021-961D129CA183","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c7d4aa0d3cf1745112ae7d594a2a5578f4e767f","datavalue":{"value":"sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q2809680$2AB906E7-4115-4645-93EB-D7CEBC714D7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4befa4ca20f2beabcfa09e8a92ae13c21cb4934a","datavalue":{"value":"termination","type":"string"},"datatype":"string"},"type":"statement","id":"Q2809680$A0E6566F-31A5-45A7-A552-79C0B32A9F14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8c49e8bc1510864e540aae3bf3d4b345502975b2","datavalue":{"value":"invertible rules","type":"string"},"datatype":"string"},"type":"statement","id":"Q2809680$92A056A6-CE21-4030-9E7B-827BB8611269","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":"Q2809680$9F4839B4-8715-4D82-B19C-3AF762EFBFBE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3818a7bc2d38cecfd6bcffc3af2da1f1243e9de4","datavalue":{"value":{"text":"A method of marks and indices for linear modal logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2809680$DDCB0CD9-EE0F-4A3C-AFAB-0664446A9207","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"8d13f78e0250926a342a04894d5483e01be9d177","datavalue":{"value":{"entity-type":"item","numeric-id":6770969,"id":"Q6770969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2809680$E309EC7C-DFF3-4261-BE0E-47CCAB5AA07D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e2d5e8a05eb40e36f5b96d6c31a0839de77a20d3","datavalue":{"value":{"entity-type":"item","numeric-id":3406694,"id":"Q3406694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"56d501b3bd67b25aa313c93b2454a39d3c4dbc3a","datavalue":{"value":{"amount":"+0.7993177175521851","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":"Q2809680$629850D0-0282-4470-B5BF-985A4B420FF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f32b6c26f58ccc301d3aafd374ce92adeb0e2ef2","datavalue":{"value":{"entity-type":"item","numeric-id":2799590,"id":"Q2799590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d4a6fb82155a1b543245d94f11684ccef21e6049","datavalue":{"value":{"amount":"+0.7793318033218384","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":"Q2809680$A20C3803-1B22-4D85-AD56-9058E78D4EF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a84a849a3abe1fd1c9abcaa823bbd5a28e7feb5c","datavalue":{"value":{"entity-type":"item","numeric-id":392988,"id":"Q392988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"834b7694af5b6bb7065aea6e89ac11fef38a28fd","datavalue":{"value":{"amount":"+0.7661463618278503","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":"Q2809680$E05DD341-63F8-41F8-9EA6-A027C03FF6C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0cb2447f9bc9046dc91c4d302dcb89150b41f667","datavalue":{"value":{"entity-type":"item","numeric-id":392998,"id":"Q392998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"839c1069d7a54ab44cf05c420decd93b980a0677","datavalue":{"value":{"amount":"+0.7576814293861389","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":"Q2809680$051075A7-5361-4671-B782-C413EC63B9B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"88f03c4a54d1a3a4877e330561fa036a593e9092","datavalue":{"value":{"entity-type":"item","numeric-id":2809679,"id":"Q2809679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2c3eabe05ff1e70de2bb338ac00930bbdd0daaf6","datavalue":{"value":{"amount":"+0.7541247010231018","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":"Q2809680$5EED2012-4794-434A-8E82-5545308948BD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2809680","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2809680"}}}}}