{"entities":{"Q3003326":{"pageid":3014050,"ns":120,"title":"Item:Q3003326","lastrevid":79705598,"modified":"2026-05-06T14:31:44Z","type":"item","id":"Q3003326","labels":{"en":{"language":"en","value":"On the Correspondence between Display Postulates and Deep Inference in Nested Sequent Calculi for Tense Logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5900077"}},"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":"Q3003326$5990DDBB-D806-45D7-86F1-A711CFE33BA5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a21040683ded558ebc59df8a27a7770c71179d78","datavalue":{"value":{"text":"On the Correspondence between Display Postulates and Deep Inference in Nested Sequent Calculi for Tense Logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3003326$0A53DF35-7152-4CB6-A637-214F78079F3E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"048c02c0232f5c478ca8b60974543731e74fa610","datavalue":{"value":"1218.03020","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3003326$AF8419A2-6B1D-4B57-A10A-852962C30481","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"73cf361a5eb65a287b57e6b4eff8d162a6a4c32e","datavalue":{"value":"10.2168/LMCS-7(2:8)2011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3003326$8568A038-FE5F-43C9-9462-B4C5E17E32E0","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":"Q3003326$6BEE6402-48A4-41BB-8E83-9D9DA8BBC879","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b8379e444a374a0b4591c044a269fd6ffeb0f306","datavalue":{"value":{"entity-type":"item","numeric-id":2904052,"id":"Q2904052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3003326$FCEEE897-6FAA-4143-8A31-ADFC84C0C0F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9eef155c744fb52510f238bbd2aa5c13b3ad5589","datavalue":{"value":{"entity-type":"item","numeric-id":1687746,"id":"Q1687746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3003326$89AC009B-989B-4EE8-8A88-F23B820596A0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"da58c52dc46c86e7440f2499c9e1bef3537c5562","datavalue":{"value":{"entity-type":"item","numeric-id":2786118,"id":"Q2786118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3003326$52D208E0-C501-4A0C-9CBC-61257D71985C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d0d41ce3332fcf97fd23ad798d4a05a02b8284bd","datavalue":{"value":{"time":"+2011-05-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3003326$82FDB78B-529C-45F4-A486-0347235F2BA6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3003326$2EE4B08D-4873-4172-AC5A-A15D53004B74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3003326$AE1F7A98-0085-4A9E-ADEA-FADEEF188915","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3003326$BACD8C72-6E19-45B3-8EDD-C9972571FA3C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"004ede8d4cd0b28f79a042beab43fd71bb1206e1","datavalue":{"value":"5900077","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3003326$711026F2-17B6-4A90-9E4C-2C2E49AB2222","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"902bb96bd7b013d323eaf0bd22f175083ba1743e","datavalue":{"value":"tense logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3003326$75B6710E-535F-449A-8F55-B526388F023D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c7d4aa0d3cf1745112ae7d594a2a5578f4e767f","datavalue":{"value":"sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3003326$975599B8-8E4B-4B4E-9C73-2BC75DB2153E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"223100e53e73fed8e253ee46e8a2984deaf67b5b","datavalue":{"value":"deep inference","type":"string"},"datatype":"string"},"type":"statement","id":"Q3003326$2A727ED9-F422-4CD0-90AB-D620F0B39BC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7703d39a27a27281175ecfee2e3e3ef8e18d9ab1","datavalue":{"value":"nested sequents","type":"string"},"datatype":"string"},"type":"statement","id":"Q3003326$E9129590-37E9-49F1-8A5A-712BF6015571","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8eae2b3a2788ace2ec5cffecfcf5bbf07601bfd7","datavalue":{"value":"display calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3003326$20BA911F-FAA2-4B7B-9165-4F565885363D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4879e8c35d56fd297a402f7c1eba53238e04d57b","datavalue":{"value":"proof search","type":"string"},"datatype":"string"},"type":"statement","id":"Q3003326$CC785422-CF34-40C7-98D5-5D0FABC986AE","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":"Q3003326$ADA5961D-DA64-4F12-9079-21CDEF9F5249","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d78d731226135e421d0c466b47492097bc337cde","datavalue":{"value":"https://doi.org/10.2168/lmcs-7(2:8)2011","type":"string"},"datatype":"url"},"type":"statement","id":"Q3003326$E0399519-91AB-4E9C-A107-6A4D2E465DEE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ac07bfc8299fdd506c4493b0c30afdf7703c9a21","datavalue":{"value":"W2132457243","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3003326$816A2098-1DD4-46AB-939E-E5282585A9E8","rank":"normal"}],"P1643":[{"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":"f715eba672a47a8bcdfb4425db9d1334520e56ca","datavalue":{"value":{"amount":"+0.9378842","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3003326$155EDA1D-191B-4C35-A1DE-639360171EF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7b5f088a816e9663d29757a879c07dfba21a8fe5","datavalue":{"value":{"entity-type":"item","numeric-id":4796460,"id":"Q4796460"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4553419b8ffda2ff334f0db9b4fa8b39ec341a37","datavalue":{"value":{"amount":"+0.88613904","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3003326$9D011C4E-120F-4589-92DF-F593588728A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7c8bddb8d2a4681adf8cb5feec290efbb21f821b","datavalue":{"value":{"entity-type":"item","numeric-id":3190166,"id":"Q3190166"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"518869f6ce688e29aa00ae4661987a3d3bb285cb","datavalue":{"value":{"amount":"+0.885246","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3003326$5B3304ED-2BE6-459F-8BB4-F9AD91A27F88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"132cd5e653dc9cd31ecdd8a6ea747c56c20620a7","datavalue":{"value":{"entity-type":"item","numeric-id":1709695,"id":"Q1709695"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"49d64d61f12be749658f5d2bf9ff927d2e988191","datavalue":{"value":{"amount":"+0.88139343","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3003326$46F54C3A-3C17-40EA-B624-C1C44662115B","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":"5e2fbd68e996ceafc4c9ce6d73cc0a37797be6d3","datavalue":{"value":{"amount":"+0.8754571","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3003326$978C2883-4648-4290-BA6F-EB50DE88A314","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ed356b5d3221abf7374259e61e636f2d7c68372c","datavalue":{"value":{"entity-type":"item","numeric-id":4263012,"id":"Q4263012"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"045f75d312360cce3a110227f3aec803438afd03","datavalue":{"value":{"amount":"+0.8752494","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3003326$AD697E66-BCF4-4891-88D6-1B6A61F1A421","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0fd625c137c4e8824377f915e0bbdfdcb4d59148","datavalue":{"value":{"entity-type":"item","numeric-id":5874215,"id":"Q5874215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"347cd2639bbe0f4acb860da36b4676cce7e28f4f","datavalue":{"value":{"amount":"+0.87176305","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3003326$05F147A8-89E7-4D1C-BF3D-12AA96AD06AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f99e23115295051719ad82b571f72c0fa008b465","datavalue":{"value":{"entity-type":"item","numeric-id":3509048,"id":"Q3509048"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"806a6f00b4b34d0f2d7386a0dc2fab5d614bff2d","datavalue":{"value":{"amount":"+0.8686937","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3003326$2617020A-3FC0-48F7-AFB0-53C57D8D7DDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c26b0bafd973c29839586c72c8bf08f8df0a161","datavalue":{"value":{"entity-type":"item","numeric-id":834716,"id":"Q834716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"806a6f00b4b34d0f2d7386a0dc2fab5d614bff2d","datavalue":{"value":{"amount":"+0.8686937","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3003326$D5E9B62B-84AF-473D-A7C7-F48FB4919AA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6f273542bfd9d9122318c686b43a8b89b3eb7d31","datavalue":{"value":{"entity-type":"item","numeric-id":2142082,"id":"Q2142082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2432ce621f26881441e3212786864dd18d2f1760","datavalue":{"value":{"amount":"+0.86639565","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3003326$E0B6DA89-75FC-4C06-A00C-4E89BC538EFD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On the Correspondence between Display Postulates and Deep Inference in Nested Sequent Calculi for Tense Logics","badges":[]}}}}}