{"entities":{"Q1973930":{"pageid":1984672,"ns":120,"title":"Item:Q1973930","lastrevid":46919364,"modified":"2025-12-25T20:47:11Z","type":"item","id":"Q1973930","labels":{"en":{"language":"en","value":"Display calculi for logics with relative accessibility relations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1441352"}},"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":"Q1973930$F02068FC-CFD8-44F0-9B41-AB3C034DCC9B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6601aada49129576a7d90e4cec5d2729d0dfdb7b","datavalue":{"value":{"text":"Display calculi for logics with relative accessibility relations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1973930$259751E0-B33B-407D-89DD-D0990C39FAC8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0b34af290df91773cf2b725b767ab0e8aa1e698b","datavalue":{"value":"0988.03030","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1973930$67BAC2F4-0B5E-4D9F-8E8A-89046A407317","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b05d07b3b85c026252cda428987972b8bf29a6fe","datavalue":{"value":"10.1023/A:1008341521750","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1973930$B99E67D0-71BB-448C-A9C7-34840E5A20FA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9764b5e3183836adae29ba3fef393bcd0832967e","datavalue":{"value":{"entity-type":"item","numeric-id":229747,"id":"Q229747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1973930$3C1318A6-A19B-4495-A980-FDF55AB65C3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"487657d41a3727080d9cf416d12bed060ca6cc64","datavalue":{"value":{"entity-type":"item","numeric-id":213235,"id":"Q213235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1973930$617E5B72-79D8-4604-8FF9-662667513055","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"147edfc9dddd5bbefb3ef0a24d334c7da90bbf45","datavalue":{"value":{"entity-type":"item","numeric-id":195246,"id":"Q195246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1973930$094FD1BC-F9F1-4F1C-B1E2-2C77479AC00F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"cac706b748d18db4c8ad233b94727176526ac6a7","datavalue":{"value":{"time":"+2002-07-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1973930$BB41D476-4085-49A4-96CE-1857F93AF23C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"19e8b53914fe36a939b2f687be46776db2609217","datavalue":{"value":"03B42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1973930$EF7A6111-3C93-4883-BDED-E2E5FC9A40D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0c6e71133293256880be082f6af9aa793c57d433","datavalue":{"value":"68T30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1973930$E5BC167F-F190-4744-AC6F-3FDADA6DF5F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1973930$8B329F61-369B-461A-AC25-7EDE064F8DCD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2c991a96c26feb9fe588b871f384f2900106ec1b","datavalue":{"value":"1441352","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1973930$BEAFE0B1-10F6-48BB-BBAF-C62B54486969","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fec518651c977169b54c20fc6d60f6b1fbf2fc9d","datavalue":{"value":"knowledge logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1973930$BEE3083E-E675-4058-A488-BA00CC853086","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e8113773368c42cfe853efa3d7d18dc85a1cccd2","datavalue":{"value":"cut-free display calculi","type":"string"},"datatype":"string"},"type":"statement","id":"Q1973930$024CF92D-69D0-4F11-8ABF-38ED2B273FD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9a7bbdb47b0885cc96b9b3720fcd8b3193ea0203","datavalue":{"value":"indiscernibility relation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1973930$8E14DD38-4523-4698-AEB0-4058EC9AA20B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"21a64e1beb339916a3ec0c235cd2e82a390b17c7","datavalue":{"value":"polymodal logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1973930$1A9F79BC-B449-49E0-A480-B0937BBD49D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6bc3a19089d3c475a56535a8622363edd5f36cd5","datavalue":{"value":"display logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1973930$73ACAE60-F3EE-4511-AD2A-41D45B87622B","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":"Q1973930$C9444622-60A2-4EA1-A0E2-E088C1DCB7CF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"cb590ee0ca57b056aa7c235affb8c76ebd2877e3","datavalue":{"value":"https://doi.org/10.1023/a:1008341521750","type":"string"},"datatype":"url"},"type":"statement","id":"Q1973930$EEC58C25-4FFE-43F5-87E4-C7BDFAEDD296","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f6947348aada93c72f0b04fa43ab591ace8d5371","datavalue":{"value":"W1538071772","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1973930$108990A2-2DC3-45ED-84A1-6A9D68FE9075","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"66c8b70769ed794d8b48d98bf4ed74e99fce7476","datavalue":{"value":{"entity-type":"item","numeric-id":4362918,"id":"Q4362918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"61bda384588d5335a98a75588424255563bdad6c","datavalue":{"value":{"amount":"+0.8030878305435181","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":"Q1973930$7016A330-7F57-4B52-BBB4-C013BD16372D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6fe10b19e8b7698546e087026b7127fdb46677c8","datavalue":{"value":{"entity-type":"item","numeric-id":1288174,"id":"Q1288174"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9637502a94d62c425ed45051758e09bdaf88e0ef","datavalue":{"value":{"amount":"+0.765388548374176","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":"Q1973930$40852A7C-0DAC-437E-811E-2B6E3D9978D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4a83b8e3540035f7e17916297f534be91eb3fc8b","datavalue":{"value":{"entity-type":"item","numeric-id":2859101,"id":"Q2859101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ca4a7526ae04c9d0e6291d20eb6c27d98b28c505","datavalue":{"value":{"amount":"+0.7588774561882019","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":"Q1973930$4F94576B-D5E9-4291-B61D-914C0E8BB893","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6b1b6dba0b2e3fb4df9bc558cc2eebeb24baa39c","datavalue":{"value":{"entity-type":"item","numeric-id":2849424,"id":"Q2849424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"38a30a042f835117a9d4ace6b406dad04b8d0937","datavalue":{"value":{"amount":"+0.7548831701278687","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":"Q1973930$D06ACEF1-5055-49FA-9173-C9632AF63C08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8f38b0db26192250cbcc438e65da1ef28ef1bfee","datavalue":{"value":{"entity-type":"item","numeric-id":2957975,"id":"Q2957975"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3db1f84811b3793bc7bd510fb4327627edbf7d92","datavalue":{"value":{"amount":"+0.7543047070503235","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":"Q1973930$BC970B90-B54D-4EED-A647-18E2BCB71076","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1973930","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1973930"}}}}}