{"entities":{"Q4612455":{"pageid":6642038,"ns":120,"title":"Item:Q4612455","lastrevid":82309511,"modified":"2026-05-06T20:35:51Z","type":"item","id":"Q4612455","labels":{"en":{"language":"en","value":"Terminating sequent calculi for two intuitionistic modal logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7009569"}},"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":"Q4612455$91EDFA59-F69E-4FC1-8D68-8D86B871E140","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6e1f9899a2ba2ae38275fa529793891728ecae0e","datavalue":{"value":{"text":"Terminating sequent calculi for two intuitionistic modal logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4612455$22FF2B3F-8DF8-4361-A808-821C80E4FF61","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1af7a82816fd7e79f3d82bcb59d5e12e904f5b03","datavalue":{"value":"1444.03060","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4612455$EA6BB798-F883-48D3-8CAF-18283A872F24","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e326b781d7ea9722bb167cc0ed9408436c2cad0b","datavalue":{"value":{"entity-type":"item","numeric-id":234719,"id":"Q234719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4612455$D9EB9979-DF8B-41B5-9D2C-BA4E1ECA767F","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":"Q4612455$3494F727-9C8D-4C0E-86FF-2F868ADF3240","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6eae2d0724c0e0213df457c667151b4270762215","datavalue":{"value":"https://dspace.library.uu.nl/handle/1874/394380","type":"string"},"datatype":"url"},"type":"statement","id":"Q4612455$9952368D-20FE-4C23-8D32-5ABE37E4F4F3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4612455$171EA124-35EB-42BD-AA41-CB4E33FD2DD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4612455$42722FD4-3B8F-454C-8011-131E7E7403F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4612455$84D38B78-15AA-4C40-8FAB-E726ABBF5D96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4612455$9CFD4166-49E2-40EB-BF14-D92B39C4B3DF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8a7931861e744b435fca9665d1e863ad26223ff7","datavalue":{"value":"7009569","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4612455$81462E3D-C19D-4434-B61D-9B5068ED0DA6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b431bc780f66c4b1eac8206b320c436a9fb1df40","datavalue":{"value":"intuitionistic modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4612455$265F9B17-7735-41E0-A0B5-B53374AF5B29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c7d4aa0d3cf1745112ae7d594a2a5578f4e767f","datavalue":{"value":"sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4612455$6080DE84-FA12-48A2-888F-9A01CE4C39AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4befa4ca20f2beabcfa09e8a92ae13c21cb4934a","datavalue":{"value":"termination","type":"string"},"datatype":"string"},"type":"statement","id":"Q4612455$E50F8781-8D5C-4F5C-976A-232283F71354","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":"Q4612455$DDA10D82-7BE7-4748-A66B-48878AD51E5D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0a028ebd14c41938bcccd50a3fd754e8be041952","datavalue":{"value":"W2896183143","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4612455$8E52138B-B0F9-4227-8B44-12198708C7A4","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"8b175e283c943ea65099e0caa83c946c2f61841f","datavalue":{"value":"Q129109444","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4612455$FC5082D7-2AB4-4D55-933A-C107A8642BED","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3e0b77adeb0c18e35edb7ef50eae6a5f27d37845","datavalue":{"value":"10.1093/LOGCOM/EXY026","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4612455$7EAA64B7-B9D6-4794-967A-52F7B0CE12EC","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":"Q4612455$03D34F05-1BC9-470C-B00D-BBE6CAF139DE","rank":"normal"}],"P1643":[{"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":"26164274b34fedf79f9aae93fbc753878dcaa908","datavalue":{"value":{"amount":"+0.8429139852523804","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":"Q4612455$E5AC51E5-061F-4C63-BD99-9D737F13C5D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"48d28c86a920167957a04c40173fd3d56eea7a49","datavalue":{"value":{"entity-type":"item","numeric-id":1982008,"id":"Q1982008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e9d5b0bc52703d012e5ad9782690d767150b5c8f","datavalue":{"value":{"amount":"+0.8241990804672241","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":"Q4612455$66E32DB1-C3BE-42E2-B27B-A9FE349EEE03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"687c2a5c6256dd6cbca81f795852ca264521fc74","datavalue":{"value":{"entity-type":"item","numeric-id":3417780,"id":"Q3417780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e9eceeb2cc8bc5b5022f028133cccb3f4226453f","datavalue":{"value":{"amount":"+0.8186915516853333","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":"Q4612455$A2850D3C-9CDF-4008-B525-829097D3A168","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0f295daa925ebf37a1c6a09c638bd493c340bae6","datavalue":{"value":{"entity-type":"item","numeric-id":4612431,"id":"Q4612431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"544784f28275e8e32b45a6e9d244e1a74b71bafd","datavalue":{"value":{"amount":"+0.793030321598053","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":"Q4612455$A520F58C-6E6A-4771-AECE-8848F7F0C1BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a5760ed96f5598ff9201be02c91f4af724db840b","datavalue":{"value":{"entity-type":"item","numeric-id":5444696,"id":"Q5444696"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9fdde91dc21c89dfb379bc6355d76c82f2410faf","datavalue":{"value":{"amount":"+0.7816553711891174","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":"Q4612455$899CDFDD-E185-48C9-B9C7-4B38B5BCCE64","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Terminating sequent calculi for two intuitionistic modal logics","badges":[]}}}}}