{"entities":{"Q4304135":{"pageid":6333736,"ns":120,"title":"Item:Q4304135","lastrevid":96640730,"modified":"2026-06-05T11:50:45Z","type":"item","id":"Q4304135","labels":{"en":{"language":"en","value":"Modal sequents for normal modal logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 635996"}},"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":"Q4304135$45579FDF-A506-42EF-860D-5301455F76B8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"79ff6a30ae8d17ff03cd153ea7911ebf45d2eff1","datavalue":{"value":{"text":"Modal sequents for normal modal logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4304135$230BABF1-0BEE-4168-8DE5-CA43CF2E9C27","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5260bb4d1d50a5a3ef0e269c31d0523021ba1de1","datavalue":{"value":"0799.03013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4304135$10176CC0-F6AD-440C-B366-F898C12C375C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7af1100b7fbaa31e618c4d49342e2fae8da143f3","datavalue":{"value":{"entity-type":"item","numeric-id":2793901,"id":"Q2793901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4304135$F372B82F-A8F9-4B56-AD3D-8CDC11C463B9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e514884e342a09a97a054d635d30bb831dc95e4b","datavalue":{"value":{"time":"+1994-09-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4304135$EB17C828-540A-424C-8320-63B67759FDD8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4304135$69DB9B4F-3A2E-43A1-ABBD-6F3177064FF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4304135$D170AADF-5326-42D2-9C54-0C73B932ED9A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"725349a043527d0ee1a74d35160b6281af8b9611","datavalue":{"value":"635996","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4304135$B8D686D7-1298-4DB7-BD64-263939FEBB8D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"64e2eda552c771575222ce030199f0f805b76a14","datavalue":{"value":"sequent calculi for normal modal logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4304135$297C9754-C4CA-4472-B579-18EE19839043","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"97cfbdd458b576a7e018dc279ea34c5cb4040b6f","datavalue":{"value":"cut-elimination theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q4304135$B2F8721C-F077-4A2A-B913-DE3E44176BC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q4304135$F5A1FD28-0844-47EF-AE28-739933BD5283","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"42697251fd26109f5a50364a7bb79dcfe4b7b73e","datavalue":{"value":{"entity-type":"item","numeric-id":1317900,"id":"Q1317900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4304135$4E133F85-1D40-409D-981F-071B16A904DD","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":"Q4304135$D1C6A6AC-D8C2-4F55-92CD-D0E2B1488A54","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"aa1f074fe56d71fe692d46781ed4403e16f0ff84","datavalue":{"value":"https://doi.org/10.1002/malq.19930390127","type":"string"},"datatype":"url"},"type":"statement","id":"Q4304135$F6F9CFD3-B752-49B7-8319-B2A83FDC4784","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2ec3e71264c68b916d2081bee1d946c7fc057c6a","datavalue":{"value":"W2049842739","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4304135$5828248D-1C6F-45F2-AC37-FBE299DB7729","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7ac3d7ec2b15acefd0efec27878eb9b4d230b02","datavalue":{"value":{"entity-type":"item","numeric-id":3867808,"id":"Q3867808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4304135$DD8279EC-9F56-4164-8CE7-3A66EB0207A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aaa788232f974bc5396481c46998b860ec3e6d1b","datavalue":{"value":{"entity-type":"item","numeric-id":1056744,"id":"Q1056744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4304135$ECE3B953-9E12-4FEC-9DE8-A88D8977A15C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5387048dbfc0eaae2bf49f41aa8e90c63be1a9c8","datavalue":{"value":"10.1002/MALQ.19930390127","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4304135$F470EBEE-60D3-4629-8F73-8AE663CE6AB2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"82273274bae099928e06027f87414107a23a0663","datavalue":{"value":{"entity-type":"item","numeric-id":1317973,"id":"Q1317973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f1762986a2450af3c723061b92b8ce7140e043b8","datavalue":{"value":{"amount":"+0.9000986814498901","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":"Q4304135$DE857CDA-5132-41AC-97D1-E69A71DCEC66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ca80663566cfbef6d55160b2b09040f6d4b91045","datavalue":{"value":{"entity-type":"item","numeric-id":3648728,"id":"Q3648728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c019c3321c00018c303f7b0c88d790a53881beb4","datavalue":{"value":{"amount":"+0.8607673048973083","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":"Q4304135$0C1CC854-AA2D-40BB-A8BA-E33492BB091F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5d1b5357675f6f899cd49cfa3a134f75911dcc66","datavalue":{"value":{"entity-type":"item","numeric-id":4879198,"id":"Q4879198"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"725ee36157ddbee66c3a9ba39b4e9491abdb079f","datavalue":{"value":{"amount":"+0.8493757843971252","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":"Q4304135$FA6352B1-E6B6-4588-B1F3-2A0FA549114F","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":"6d8c60bfc008df6680043fa83bd5486062066deb","datavalue":{"value":{"amount":"+0.843459963798523","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":"Q4304135$9D138B97-B168-4518-824A-884D2E2DC829","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Modal sequents for normal modal logics","badges":[]}}}}}