{"entities":{"Q1709695":{"pageid":1720436,"ns":120,"title":"Item:Q1709695","lastrevid":72828618,"modified":"2026-04-14T08:06:53Z","type":"item","id":"Q1709695","labels":{"en":{"language":"en","value":"From display to labelled proofs for tense logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6856642"}},"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":"Q1709695$7480316D-ACBA-4D9A-BBA5-1FF09FC9D39F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"29d3c3cf9e496dad62693ccfaa7240008e686090","datavalue":{"value":{"text":"From display to labelled proofs for tense logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1709695$87FB2E27-B868-495C-B446-5FFE8CBAC22B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8526179309b4b2734defd58b9d0bfa550dbd050f","datavalue":{"value":"1503.03031","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1709695$3A860729-E4A2-4DF1-9442-C7A49E23D221","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"48786f36953b85a4ec3817c4713bf5cf6881127d","datavalue":{"value":"10.1007/978-3-319-72056-2_8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1709695$B72A8D3F-8F2A-4307-9BEC-99D486792157","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"eb4465c1e4c8de201e147387c933ac41a7d412d9","datavalue":{"value":{"entity-type":"item","numeric-id":385018,"id":"Q385018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1709695$DDEDC640-E24D-4094-8EB9-4F1EF617F157","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4cd26fdbdfe1d2fb01e4aa125652a423d7111de5","datavalue":{"value":{"entity-type":"item","numeric-id":1709694,"id":"Q1709694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1709695$26671556-6795-4430-9FCF-867328475D67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ed1cd4ae27124a7613f6f15cdd4522fe66a676dd","datavalue":{"value":{"entity-type":"item","numeric-id":2142092,"id":"Q2142092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1709695$730EC70D-F87B-441C-824B-E2E7B6363B49","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"903e104d255c76762b447f9c24b1eed2b1fc2c24","datavalue":{"value":{"time":"+2018-04-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1709695$6281F6FA-F9F9-440F-8EC9-6A5166AE91B9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"be37e9e0cb5eae314da1cfea4e01ee8490ae60e7","datavalue":{"value":"https://philarchive.org/rec/LYOFDT-2","type":"string"},"datatype":"url"},"type":"statement","id":"Q1709695$5BB8C7F4-D116-49FD-9AFC-C2D0E99C3AD1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1709695$081ED4FE-74AE-4032-AC22-345F959A8640","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6e2ae8b1900147d15ddea62ccb5302a15ee19b5d","datavalue":{"value":"03F07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1709695$4B8D9F68-85FC-4816-ABF5-EAC6CCD0166A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6b71f36af4adf38a4199b5227a72471bb4765d08","datavalue":{"value":"6856642","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1709695$56768EB3-27E5-4F2B-A264-80C857C938F7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8eae2b3a2788ace2ec5cffecfcf5bbf07601bfd7","datavalue":{"value":"display calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q1709695$12C382D1-62EC-46C6-83B1-C5C94D3C9B11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"33af75a334de5f42e46fe41933020e0a955fa329","datavalue":{"value":"labelled calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q1709695$CB4D0B60-30DF-4F0D-BA88-9F7BBDC9B520","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"410d0b0ba76fd55f4991d8e4fe518dda310a6621","datavalue":{"value":"structural proof theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1709695$0AFD77BE-24D6-48F4-AD1C-017B197B77D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"902bb96bd7b013d323eaf0bd22f175083ba1743e","datavalue":{"value":"tense logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1709695$94DEDB45-C13C-4CAA-8327-1AB3318643C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1709695$E6B13F67-6E48-4E1C-90F1-7C93A7EA8922","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":"Q1709695$BEF9CA39-6C2E-4AAE-908F-587A81EE91B2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"475e193bb7091a92ddae034a9ad06cf7fbbe5f33","datavalue":{"value":"W2770839357","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1709695$482313FB-1AE6-4754-9600-F9CC8F8D4AAE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"55e838ee9b19cfca843886971ccb149b8f9e72be","datavalue":{"value":{"entity-type":"item","numeric-id":5034228,"id":"Q5034228"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cc5adecea3287d3d7b55298134e3f89fdf8eceec","datavalue":{"value":{"amount":"+0.9396713972091676","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":"Q1709695$58C21EC1-CCDD-4162-B3B7-501F5D89FED5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1038bb79d4fff54e6c31852941021dd4fd44ba4a","datavalue":{"value":{"entity-type":"item","numeric-id":4247207,"id":"Q4247207"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0d0f620ef7d4d61c283819853de8f21a3aebcd8a","datavalue":{"value":{"amount":"+0.7834668159484863","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":"Q1709695$882C8B66-7EC4-48C0-B2A0-57D0A653EC02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"554b66eb08a291086befebb863cc1555ec988938","datavalue":{"value":{"entity-type":"item","numeric-id":4263013,"id":"Q4263013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fb855d016046326bd548c09fc9dcd9e805143b74","datavalue":{"value":{"amount":"+0.767774224281311","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":"Q1709695$CD15C5ED-57F4-428C-AFED-306DA0A65D7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"13b04316351e5f991c7c33c30463b7a6964de9f5","datavalue":{"value":{"entity-type":"item","numeric-id":3003326,"id":"Q3003326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fd05b5663fd45bdcbc8d43aa42219634a09c281f","datavalue":{"value":{"amount":"+0.7627384066581726","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":"Q1709695$C06A5020-A294-4F90-A09C-0AC8B74AFC99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"126b4ae84e5e0e1c430bd8b060925154992bbe38","datavalue":{"value":{"entity-type":"item","numeric-id":3648731,"id":"Q3648731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b5eac5c278eddc46fb48aa93147cdc57ad474d4b","datavalue":{"value":{"amount":"+0.7604027390480042","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":"Q1709695$B3B15482-D20C-4C20-878B-BFB4AC4629E5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"From display to labelled proofs for tense logics","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/From_display_to_labelled_proofs_for_tense_logics"}}}}}