{"entities":{"Q4645225":{"pageid":6674806,"ns":120,"title":"Item:Q4645225","lastrevid":53315699,"modified":"2026-01-24T17:25:39Z","type":"item","id":"Q4645225","labels":{"en":{"language":"en","value":"Almost duplication-free tableau calculi for propositional lax logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6999512"}},"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":"Q4645225$67493FF9-F231-4D99-9240-AD811D14C848","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c596131f863aecd58b17107c51f6853d99a4ac0d","datavalue":{"value":{"text":"Almost duplication-free tableau calculi for prepositional lax logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4645225$63D5DF64-870F-4F13-B84C-B7EB181CECC8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"de962d56392a2e331b73ef5c6b86c4aa9327db78","datavalue":{"value":"1415.03013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4645225$E635EFA3-29FA-4A49-B1C1-39A5BBC62023","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2f3afa569e29529dce7e5d1f864b669ef52c5e5e","datavalue":{"value":"10.1007/3-540-61208-4_4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4645225$E5F1A47C-FF9F-4025-B6E7-FA9F366246D9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d9f71358bbdbd87e15f90c45b21f9769883d0dbe","datavalue":{"value":{"entity-type":"item","numeric-id":506822,"id":"Q506822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645225$0792097C-BDB8-4C12-97F2-68343FBAFD30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"dc37be6f3a32541e658db241ba6d5f1a748f7047","datavalue":{"value":{"entity-type":"item","numeric-id":972429,"id":"Q972429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645225$D9C6116C-75E1-4078-B1EB-C907CAEA89E8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"260f361c96cfc64e7204fcdf9876515bb18cb191","datavalue":{"value":{"entity-type":"item","numeric-id":4645221,"id":"Q4645221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645225$67DF3879-5E8B-43FD-B715-BD6C77DE7C86","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"412b474a973c0dfa7488c61fc45fdeec318e212e","datavalue":{"value":{"time":"+2019-01-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4645225$4A780962-C503-4522-A291-AEB76E8987E2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4645225$2A3DC5F8-36CA-44AB-9E45-04CC10F7D1C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4645225$0AD8E05C-1759-4502-959F-EB7105474030","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"93ad04da6483884f65e2b7c62c1e88b8a13ff8fe","datavalue":{"value":"6999512","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4645225$A07AFD38-97C8-4860-BBA2-BEB572D664BC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b4edc44af0afae3eb9ce509009e3d9b8dbab24f4","datavalue":{"value":"intuitionistic modal logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4645225$C683E4FE-BEC5-4583-A0FB-A9FF4C6017F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"216a8d7b871a062bad8919fefbce32ef5dade227","datavalue":{"value":"refutation systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4645225$CB2AD775-0EF9-4AB8-B5E0-1C04944D425E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c9f312c5e168e64ba70bf7f7f0684cf90f2a524","datavalue":{"value":"duplications","type":"string"},"datatype":"string"},"type":"statement","id":"Q4645225$AB8D3DB2-E2D7-4E94-BFE1-D19EE845B9C3","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":"Q4645225$79B20E24-DA38-4090-855E-E79F29DDA817","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bfcdda37d50a091fb8f0abf0200cddd1d69ba4d9","datavalue":{"value":"https://doi.org/10.1007/3-540-61208-4_4","type":"string"},"datatype":"url"},"type":"statement","id":"Q4645225$E782DD2C-A54D-4F93-9501-9B46B45AC2ED","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0d43bf5d4b6fcae21998e11568cf5ffd9026d63c","datavalue":{"value":"W1512137820","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4645225$2C553200-0BBF-4625-A2EA-0AE98FF480D6","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"616c6a5e8df30896f29b57b5d118beac1fb930e1","datavalue":{"value":{"entity-type":"item","numeric-id":1317899,"id":"Q1317899"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645225$72F6AC8E-9EA0-4718-8E2C-9E11CAF39AED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4760a59608fda63bd7abcfa1f697197d62b4d0ac","datavalue":{"value":{"entity-type":"item","numeric-id":1096612,"id":"Q1096612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645225$22D714F0-30D1-4E2F-857D-471D31B075D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8261e58a12119ae17be8431dce68f8e58905899","datavalue":{"value":{"entity-type":"item","numeric-id":3026978,"id":"Q3026978"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645225$5945F31D-A49F-4A5B-B7A3-CE783995E96E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b2db943cdfec732839199b6390d33fe4ed4cb5de","datavalue":{"value":{"entity-type":"item","numeric-id":5813908,"id":"Q5813908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645225$697FD4F9-B0EA-401C-91C5-4C47AAB553DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a7ca2467263eff2412ef5ffee764de45ea5202f","datavalue":{"value":{"entity-type":"item","numeric-id":1378426,"id":"Q1378426"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645225$81898690-DEAF-4343-8650-F8F148FBF837","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":"Q4645225$0739807C-4642-4352-A1D0-E7DE8FFEFAAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"259f10b1729b1bdd1a2c328f24b95696b28ee3d4","datavalue":{"value":{"entity-type":"item","numeric-id":4474851,"id":"Q4474851"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645225$49F26318-55E1-48C9-A682-2B21026F7DF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ee19f680d962c1f634bcb5b5a87502da5129db0","datavalue":{"value":{"entity-type":"item","numeric-id":1240729,"id":"Q1240729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645225$C355420B-CBF3-4889-BABC-0F52BB5D0DB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"54f26c266337bcf2c390b14823438c16947fe37a","datavalue":{"value":{"entity-type":"item","numeric-id":3720564,"id":"Q3720564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645225$5DD0BD40-5F18-40EF-BE04-7F4B11059F59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5dfbc538077da75d332fb528c12551a8b230f68","datavalue":{"value":{"entity-type":"item","numeric-id":1148885,"id":"Q1148885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645225$36B7A6EB-0A1F-4D9B-B66D-ED156D64D8A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9c887b92614dbc292afd0634927cae92c216a18","datavalue":{"value":{"entity-type":"item","numeric-id":1344876,"id":"Q1344876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645225$55DF5F0E-A540-400A-811A-89B6E96FE7D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2002e9228b023d08f49489031907fa50fb1b3491","datavalue":{"value":{"entity-type":"item","numeric-id":1188500,"id":"Q1188500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645225$B9D3B173-FE6C-4F58-B28F-632AB150DFDB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d06c11e2a4229333f514d9b9ec626174b4abae54","datavalue":{"value":{"entity-type":"item","numeric-id":4474851,"id":"Q4474851"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"acc9da29f954519348a0aa982a2ce0eb35fac5f6","datavalue":{"value":{"amount":"+0.8010199666023254","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":"Q4645225$A63B13C6-E99D-4A74-AA9C-D594B7D4165C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"42d5769cee74f3608302c9595c1604263a51d80a","datavalue":{"value":{"entity-type":"item","numeric-id":2746761,"id":"Q2746761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ed345d41e2011a07d91c1f4d5bd1e84b235dc13e","datavalue":{"value":{"amount":"+0.7879411578178406","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":"Q4645225$A11B12F1-4248-49C0-A06D-B33D8AFBAAF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"39be0ff7a94ae10fc754662618a70836ed9a9173","datavalue":{"value":{"entity-type":"item","numeric-id":4610317,"id":"Q4610317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"812537188049a511e4ffe082ae22ab200f38a8b0","datavalue":{"value":{"amount":"+0.7805609703063965","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":"Q4645225$16352586-1BE5-413A-A733-25A42B1AE7F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5b42e6956ded9b5cb78252d43cbb3afbbcb9c515","datavalue":{"value":{"entity-type":"item","numeric-id":1368378,"id":"Q1368378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"42f2294f92fa9b2b431175608483f391999effa9","datavalue":{"value":{"amount":"+0.7664565443992615","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":"Q4645225$44AA18EC-0ED9-4C2B-998D-5C9EA9A8EA2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"959aaf9e7d4547038f5d76ee570ad7274cb2f596","datavalue":{"value":{"entity-type":"item","numeric-id":4809044,"id":"Q4809044"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"41d5cd4135c303f3e86b6289fdec2441e543bfc2","datavalue":{"value":{"amount":"+0.7664564251899719","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":"Q4645225$38073DEF-85F2-497E-BCF5-86B6A98C1E26","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4645225","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4645225"}}}}}