{"entities":{"Q4612431":{"pageid":6642014,"ns":120,"title":"Item:Q4612431","lastrevid":82309295,"modified":"2026-05-06T20:35:49Z","type":"item","id":"Q4612431","labels":{"en":{"language":"en","value":"Tree-sequent calculi and decision procedures for intuitionistic modal logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7009545"}},"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":"Q4612431$60E2E692-AF5B-4957-9B9B-BA3539192EA1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c5a1b6e1d200dd2408f67f31764e77006396356b","datavalue":{"value":{"text":"Tree-sequent calculi and decision procedures for intuitionistic modal logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4612431$87C2C6C5-8C2B-4B00-B934-FDBC9D3C22B2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"edf191b04b4cbef814d16a966d339edb351dc87a","datavalue":{"value":"1444.03053","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4612431$83B75F93-E2C9-466C-9BAF-BFDA7BB00D51","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c43c9dea2040a308ad1527d71ba75aae30019412","datavalue":{"value":{"entity-type":"item","numeric-id":290916,"id":"Q290916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4612431$C549A6AB-FC88-4298-B846-608E1C904DA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0618ef01335eda4cb324f37481152385c7ce02d6","datavalue":{"value":{"entity-type":"item","numeric-id":262132,"id":"Q262132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4612431$5DFBAFB5-2772-419D-BF36-76EF0A4855E5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6cff588b238fe649ad35be9c49b1edf5332cb4aa","datavalue":{"value":{"time":"+2019-01-31T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4612431$22E4B79A-5DD8-452B-A62C-05D17E0F4489","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4612431$11386AD8-ABDE-4647-A483-FA70F3DE9957","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4612431$FF3102FE-0C8C-454D-8AA4-4E9F73EA1C82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4612431$560BE50C-D7E4-4BFE-A5EB-9611C0F59DD2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0aafb4d989cf8c57ea5427901936b8c8f777e83c","datavalue":{"value":"7009545","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4612431$2AC2C8D2-4CA7-4044-90DB-595E6BC90E0F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83d5dcaa7aef3dc9ddc3eab92a7db35d53442c07","datavalue":{"value":"proof theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4612431$F967D564-3B81-4F97-9F80-572AAECD791E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b4edc44af0afae3eb9ce509009e3d9b8dbab24f4","datavalue":{"value":"intuitionistic modal logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4612431$973DEDA2-C03F-402E-9CEE-8FF673D52AA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c7d4aa0d3cf1745112ae7d594a2a5578f4e767f","datavalue":{"value":"sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4612431$56A810CD-812A-44FB-9323-2470108CB430","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4612431$AD649B6D-F2FA-402B-8985-EC3EF1158BBA","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":"Q4612431$B17D00A7-01BA-4E4B-A2B8-16E9049E2E52","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0e818c3e11d95a2731b263ef9213697b6da6e406","datavalue":{"value":"https://doi.org/10.1093/logcom/exv039","type":"string"},"datatype":"url"},"type":"statement","id":"Q4612431$EDF305FD-50DD-49E7-8775-57213D4F00AA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e584f1505f05274c8cd93323a046f3a3ca565579","datavalue":{"value":"W2225972672","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4612431$2A314BB0-AFB8-48A4-AA3B-04AD602AEF28","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c3791bf7d428fee0e1de3d3905b0ea16512f747d","datavalue":{"value":"10.1093/LOGCOM/EXV039","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4612431$2ADDC569-8A7C-44E4-94D7-65BCA239372D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9e6aedf3faf6964e0bbb1663882629f007284aa9","datavalue":{"value":{"entity-type":"item","numeric-id":2983390,"id":"Q2983390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4612431$0F684365-3CF7-45A9-B01E-11997032547E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dc35e2b9930762a999ee18667f2e75470fe3b4e0","datavalue":{"value":{"entity-type":"item","numeric-id":5278420,"id":"Q5278420"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5acfa803dfd1555eb9a4bd769792cd0082e68142","datavalue":{"value":{"amount":"+0.93758035","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":"Q4612431$77E7EFCE-BAD6-4704-A8B2-8785578A036B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d138e2f2dbcc4e70744d053fb8bf2b3ba9b21dde","datavalue":{"value":{"entity-type":"item","numeric-id":3600562,"id":"Q3600562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9fc9972883628d06f24ee3b709c647c71c9a289d","datavalue":{"value":{"amount":"+0.92584","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":"Q4612431$B012B7CD-A04E-4608-A4CC-288B38581750","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d8036637663247d5f6f95751e5c4c09820075aaf","datavalue":{"value":{"entity-type":"item","numeric-id":2757841,"id":"Q2757841"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"89b283a448fcd6f9f7602d484f6a53c526689c2b","datavalue":{"value":{"amount":"+0.92091644","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":"Q4612431$A0C8BF58-F79C-47D1-90F4-B96AE80D1D2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"28a96c2032ef0ebbc0b5d7aa29b07d4d217cf0d3","datavalue":{"value":{"entity-type":"item","numeric-id":764257,"id":"Q764257"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ed910f9633092b4d44630b9d66490619d27927da","datavalue":{"value":{"amount":"+0.9135159","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":"Q4612431$FCA399BE-AADF-4696-967E-15E631B6440B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9e2f15e4e2e87069c7aa46886e3db7fd1a5168b4","datavalue":{"value":{"entity-type":"item","numeric-id":3638296,"id":"Q3638296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7712c29294167b72720eeb84294a17240dd5fdd1","datavalue":{"value":{"amount":"+0.91297114","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":"Q4612431$5887B718-B34C-4117-B609-C394989D64B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"15bc96b3710d1c7ed56f9f31af0f4ae406cc90cb","datavalue":{"value":{"entity-type":"item","numeric-id":5434487,"id":"Q5434487"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"295e7e5e07fe5f8e83b0a5ea33b0a61ecd0c85de","datavalue":{"value":{"amount":"+0.91110826","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":"Q4612431$B6A17854-109D-4DA6-8FDD-C7CA0C0BC0C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7f6bdfb6d3006b453474ea06a77e968873feb9dc","datavalue":{"value":{"entity-type":"item","numeric-id":5014057,"id":"Q5014057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ca8b9ebda66e01a932828efca5e4d905da297f49","datavalue":{"value":{"amount":"+0.90877485","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":"Q4612431$0DBC6BC3-A80A-4509-83B2-FA156212704F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9e9852b6076c444d5064bb46d63ab13495875d23","datavalue":{"value":{"entity-type":"item","numeric-id":3147361,"id":"Q3147361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"afd3b522c80fc9e5ee6b4cb83ea0cbbfa2bdccda","datavalue":{"value":{"amount":"+0.9086687","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":"Q4612431$F50A3E25-E72C-4141-9707-A99A331F4F02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"28cdd15042c11155ab029aab68da6e277a471dcf","datavalue":{"value":{"entity-type":"item","numeric-id":3728880,"id":"Q3728880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cbb269d5e70c5deb330966b9dee1007cb56665d9","datavalue":{"value":{"amount":"+0.90657276","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":"Q4612431$11EA78D6-35B2-4C9C-A57E-6625A705F76D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf9c59e0563bb29f6db341d78e7e02c6f7e877c0","datavalue":{"value":{"entity-type":"item","numeric-id":3712315,"id":"Q3712315"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cbb269d5e70c5deb330966b9dee1007cb56665d9","datavalue":{"value":{"amount":"+0.90657276","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":"Q4612431$594B658B-D97D-4049-81D4-50A17EF040B1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Tree-sequent calculi and decision procedures for intuitionistic modal logics","badges":[]}}}}}