{"entities":{"Q2563456":{"pageid":2574199,"ns":120,"title":"Item:Q2563456","lastrevid":46814742,"modified":"2025-12-25T15:49:47Z","type":"item","id":"Q2563456","labels":{"en":{"language":"en","value":"Cut-free tableau calculi for some propositional normal modal logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 957484"}},"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":"Q2563456$D89E19B8-D238-4062-B10C-1E7CBF10F635","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ae8521066fab10049ef442f9c145a4f020ef56a9","datavalue":{"value":{"text":"Cut-free tableau calculi for some propositional normal modal logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2563456$4FB6C90C-E633-4158-B793-9822A9CE3338","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"08149c2d0197d8d5b3a2d38db7eedae3131513e8","datavalue":{"value":"0857.03006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2563456$E2C2C4C1-87B9-4900-B31B-2898E36D8827","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4bd946d7eb5be3b3b26ed70715cc6850060036f0","datavalue":{"value":"10.1007/BF00370840","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2563456$CB0D1525-F312-416F-9161-04B18ADA4018","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"821d19a42cc5281c80d09c27c525085629ad68fe","datavalue":{"value":{"entity-type":"item","numeric-id":2563455,"id":"Q2563455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2563456$2C1D1234-2063-406E-BC8D-4A76253D8501","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e34236ca73b92c6ee0bc17431d03c3537a7f0792","datavalue":{"value":{"entity-type":"item","numeric-id":195358,"id":"Q195358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2563456$BFFD6A83-94D6-4555-B722-24ADBF49109B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7d08bb9a72a2259fe21464e6025b4a7e58a684cc","datavalue":{"value":{"time":"+1997-03-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2563456$0C62A0FA-3034-468E-B5BF-6225235308B1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2563456$7342C244-0E93-4173-B437-D920C5573567","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c6d3c141f6dc8d92b24e7cac7b88281146514cbb","datavalue":{"value":"957484","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2563456$730A5C69-19A5-4691-BCDA-AA966FD677FB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8e51f6ec28f02dc2a9772d9df90510505952c90b","datavalue":{"value":"tableau-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q2563456$5EEA8186-D4BF-4F4D-A1C8-BB9E2353D536","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"404e591614190488419156400105486d83841bbf","datavalue":{"value":"sequent calculi","type":"string"},"datatype":"string"},"type":"statement","id":"Q2563456$162587C4-6368-45BE-B6BA-22CD9E035466","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f556bfb3bb1fd5adec0361800a8b37bb88196398","datavalue":{"value":"propositional normal modal logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2563456$82809C97-9050-46A5-88FC-1AB32222DBAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1488f9a366e224f4e9f874b07c7a8b57cf50236b","datavalue":{"value":"interpolation property","type":"string"},"datatype":"string"},"type":"statement","id":"Q2563456$A0B535E9-E7B9-454F-B8A3-86CACE38BC12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8ed48dae18c4cea5041d91e3da6321e1777402e7","datavalue":{"value":"analytical cut-rule","type":"string"},"datatype":"string"},"type":"statement","id":"Q2563456$4DE8B804-F3EF-41DD-B8DF-0AD034EB6CC0","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":"Q2563456$83DE160B-CF7A-47A8-9708-F640EEC835DC","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb352cf3a8aa1bcadf6623070f33c0f521239455","datavalue":{"value":{"entity-type":"item","numeric-id":4342093,"id":"Q4342093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2563456$8F4D5808-9F8A-4408-A68B-87B239DD56B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7f1a60c6e3806b7702203145e0970dcda3051ea","datavalue":{"value":{"entity-type":"item","numeric-id":1337606,"id":"Q1337606"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2563456$FCAD6485-86AC-43B7-8142-63F06B780715","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f6463fa98bb920923b2e348a5daa6b88de06cb2","datavalue":{"value":{"entity-type":"item","numeric-id":3720486,"id":"Q3720486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2563456$5ACCDAFF-D1FF-43B9-BBA6-033A97F61B24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"51d60697a31a720ca3818e290670745c2871f117","datavalue":{"value":{"entity-type":"item","numeric-id":798647,"id":"Q798647"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2563456$E472FF05-C4A3-4B6E-9D6D-39740899C1D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e7deb7cbb7cd9c19da86f917c77d45ea86fa652","datavalue":{"value":{"entity-type":"item","numeric-id":4068699,"id":"Q4068699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2563456$EAF6622F-2024-472E-B147-C0D9422110AC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bf55120df05e7fb6a0a3eee149edb68d788d51b4","datavalue":{"value":"https://doi.org/10.1007/bf00370840","type":"string"},"datatype":"url"},"type":"statement","id":"Q2563456$067BC959-4B23-4EFC-9F27-7D6B905C3A32","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"acaf9b176a5dfe7452132b93d1eaa4c5506f3c31","datavalue":{"value":"W1977778918","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2563456$A3EF1955-F335-45FB-B990-54939BE75BD2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7e41072e861f72b3f62d9e622b3f1127307a419c","datavalue":{"value":{"entity-type":"item","numeric-id":5210808,"id":"Q5210808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9f372e8893b9f9798736ce146a1143bc9b692224","datavalue":{"value":{"amount":"+0.8026714324951172","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":"Q2563456$AE7DC2E4-F073-4699-B21D-0DF5A217D9E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d2396bba8dfc90dce3e47b524a32007f7a3a0ee","datavalue":{"value":{"entity-type":"item","numeric-id":4627724,"id":"Q4627724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6962f32044ac786ff4255d5802a6f33ab27cec9f","datavalue":{"value":{"amount":"+0.7959912419319153","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":"Q2563456$019E2E91-A638-4FB3-9DC3-086F6B9CE6A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"652ec6d7ea2d684a48e5124e1125be4daccb75b1","datavalue":{"value":{"entity-type":"item","numeric-id":1337606,"id":"Q1337606"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2137242d1b306d49b909e676605902648d17481b","datavalue":{"value":{"amount":"+0.7926666736602783","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":"Q2563456$B4869391-C076-4D8C-833F-E258445E3F0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9f4e61e93ccfcf67e14717a7ab43743706ac13f3","datavalue":{"value":{"entity-type":"item","numeric-id":798647,"id":"Q798647"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2100f2069871bed3bc03a484ea186c509525a5b7","datavalue":{"value":{"amount":"+0.7856811881065369","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":"Q2563456$38829960-7EA3-4F99-AD90-98359604A901","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2563456","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2563456"}}}}}