{"entities":{"Q408538":{"pageid":410305,"ns":120,"title":"Item:Q408538","lastrevid":51444803,"modified":"2026-01-18T06:41:30Z","type":"item","id":"Q408538","labels":{"en":{"language":"en","value":"Tableaux and hypersequents for justification logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6022769"}},"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":"Q408538$DE1A568D-AD95-4BA8-A506-C58062041C24","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bbaf038b68830158cea475a34a74eb6ade33bb91","datavalue":{"value":{"text":"Tableaux and hypersequents for justification logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q408538$565625FD-4925-4597-997B-29E227FEC751","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8d66554a41ef43496a743aa442eec0294e708643","datavalue":{"value":"1239.03010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q408538$E7A91F91-C28F-4E73-A116-A7B1D806FC6E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"abac39eb4ed65b83d7bebb6fa47883b3d5694a10","datavalue":{"value":{"entity-type":"item","numeric-id":392282,"id":"Q392282"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q408538$C25C885B-4E3B-481A-A317-A08E305E03B1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q408538$A89268E0-4198-47D1-8075-020026935EC7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b23f7bc3899b33a4c3b235a941fe6fd0e7130556","datavalue":{"value":{"time":"+2012-04-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":"Q408538$CB139F11-DD48-4314-8B09-9C4C0EE210D4","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"8a17d58d1d53054d9c410481cec4e67a6f71c865","datavalue":{"value":"Logics of proofs (now called justification logics), introduced by S. Artemov, are usually based on S4. The author investigates a system S4LPN, introduced by S. Artemov and E. Nogina, which has an additional S5-like schema. He presents rather complicated tableau and hypersequent formulations for S4LPN. It is possible that a much more elegant formulation can be obtained using a cut-free system for S5 due to \\textit{G. F. Shvarts} [``Gentzen style systems for K45 and K45D'', Lect. Notes Comput. Sci. 363, 245--256 (1989; Zbl 0677.03010)].","type":"string"},"datatype":"string"},"type":"statement","id":"Q408538$8D9567AD-9DC0-48F8-877B-6F5AB6970954","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q408538$C6316D27-DD0F-4063-AFAD-A4289A1C7037","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"19e8b53914fe36a939b2f687be46776db2609217","datavalue":{"value":"03B42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q408538$3E4A37FA-8086-42FF-B175-6AD6D9C42D47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b638c7935436ccffba7a737e2b57436cbbd2533c","datavalue":{"value":"03F45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q408538$9384D370-1970-4A24-B75C-DB41C6EF9F8A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e281d49cfa0d668a78b28c1eed32d410a11a8371","datavalue":{"value":"6022769","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q408538$63EF698E-5C5C-4FBB-A40D-5AD6182AC777","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"afca37ec283c436ac56ea7dfcea0bd6378181bac","datavalue":{"value":"justification logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q408538$8B3BC159-F28E-436E-9F33-E687E6128369","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3d1cc822e1c26c4cdd2ac493c7178a1c51841e7d","datavalue":{"value":"hypersequents","type":"string"},"datatype":"string"},"type":"statement","id":"Q408538$97C1C6A2-638D-4911-B030-975E69E5D8BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"45ba0550e07e04a3326d1cb7dbe398ac3d7c209d","datavalue":{"value":"tableaux","type":"string"},"datatype":"string"},"type":"statement","id":"Q408538$C55BD172-C43C-4363-A867-0C551727C8A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q408538$48178854-CA17-4FAA-A847-D6BCE0B22D09","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"8f432bccb81d11b6d0c5be5373ba82abf19c1967","datavalue":{"value":{"entity-type":"item","numeric-id":454365,"id":"Q454365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q408538$8427FA0B-7CF4-43E2-AE0A-AAB4D89A7942","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":"Q408538$40932C86-7DA5-4D1F-9045-6CA1B7038F57","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b20d0cd75f57957e820aed92ae2bf437e08aa05d","datavalue":{"value":"https://doi.org/10.1016/j.apal.2011.09.013","type":"string"},"datatype":"url"},"type":"statement","id":"Q408538$6CA19AEA-CD1D-4732-8B0F-3AB48A572606","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1d8ca2aae8afbc872f6129dfea302486cfaa22c3","datavalue":{"value":"W1981979308","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q408538$8FDCBB30-C3E0-42CB-9155-7CED8867BC46","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e1a6ebb360b6bfc3a111b832b5231ca5c9153b7","datavalue":{"value":{"entity-type":"item","numeric-id":2732527,"id":"Q2732527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q408538$21E2E69C-AC11-4AEC-840D-17911DB82741","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"07b1da72ca3738ae54c799ee3ad672846f73e0c6","datavalue":{"value":{"entity-type":"item","numeric-id":3371155,"id":"Q3371155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q408538$65A15051-707D-40A2-B35B-9F32310BD477","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9b1e9ac8d47dc7a8613ed81efd36f64094d8f43","datavalue":{"value":{"entity-type":"item","numeric-id":3837723,"id":"Q3837723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q408538$272A2511-096D-4194-B76F-8C1A174AF755","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db15afe119e4d8924199889dafaa491710809a5f","datavalue":{"value":{"entity-type":"item","numeric-id":2751361,"id":"Q2751361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q408538$B13B6D2A-9EB3-4C37-ADBD-F61EE166975D","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":"Q408538$07558FC8-4E5C-41D7-941F-033EE40B7EC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"816885dc2ca9f498b3caf552c5ffddf2f5bd2096","datavalue":{"value":{"entity-type":"item","numeric-id":5582312,"id":"Q5582312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q408538$425A7554-A94B-40D5-A72D-D0C945D1CF59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5769bca9b64b9ebbd057c25f979ce30ac64d3594","datavalue":{"value":{"entity-type":"item","numeric-id":4023115,"id":"Q4023115"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q408538$6D0198B4-4E6F-47EF-9437-30C94A5DFC3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf1aae49eb6b5d7cf3c74c68e06df16ab076f84f","datavalue":{"value":{"entity-type":"item","numeric-id":2753601,"id":"Q2753601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q408538$30A32859-0662-4C31-837B-AD8795F0D6F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"599c5dbf52817fbbe5f2f15e33a96dc6ac97514e","datavalue":{"value":{"entity-type":"item","numeric-id":3908463,"id":"Q3908463"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q408538$1E954E62-7C5F-44D1-817D-BABCE144569C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"76eaa28f0479adf5199f5b939c412a5c5c693c2d","datavalue":{"value":{"entity-type":"item","numeric-id":3605536,"id":"Q3605536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q408538$3AAEE719-94A1-48AF-9F60-C844C165A664","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"75b91a78383567f1a9e36257c18f0963cf3e7124","datavalue":{"value":{"entity-type":"item","numeric-id":2500485,"id":"Q2500485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q408538$39C5071E-A35F-45BC-A1E6-64D82D80FEFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"595c8b1dfa02519b9bc0d4750f00a276e02ef5a6","datavalue":{"value":{"entity-type":"item","numeric-id":1977576,"id":"Q1977576"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q408538$527EB0F1-A1C1-466D-862A-52FFCDC599B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0dfeb5b47444eafa245f412784b14045d4644ef5","datavalue":{"value":{"entity-type":"item","numeric-id":1372944,"id":"Q1372944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q408538$3092781B-2F6E-48DC-9C09-8B69A9F50466","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ea4fd057845114bc65f325cb6fb50c21a7578083","datavalue":{"value":"10.1016/J.APAL.2011.09.013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q408538$6820F858-4CED-430D-A535-5557B68716D8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2ae02a2f413ef457f5c2594dfdfcdb3900b7abba","datavalue":{"value":{"entity-type":"item","numeric-id":3605536,"id":"Q3605536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"67b99688564b091b5f66cc5eae8d2d89c0771a96","datavalue":{"value":{"amount":"+0.877255916595459","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":"Q408538$5200AE9F-A4AA-44A0-8EC5-F86A26B4685B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"50b1f39a89efd954d8c9d70b43675f31dbb93449","datavalue":{"value":{"entity-type":"item","numeric-id":3165756,"id":"Q3165756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c98474c0242e3895b999e54d7c0f250b3393e7c9","datavalue":{"value":{"amount":"+0.8247348666191101","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":"Q408538$4F4178D4-35B3-4AE9-BC76-2FECBBCEE888","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7186f0013809c3e4cb025391805c923a1d04187e","datavalue":{"value":{"entity-type":"item","numeric-id":331048,"id":"Q331048"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"530dbf38b8bd29612e567a4c71debbf167110674","datavalue":{"value":{"amount":"+0.8143614530563354","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":"Q408538$1F107B8D-6406-499C-824C-98977F6D21B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0f1e97173db305564213a200ec48a7aa5ca858bc","datavalue":{"value":{"entity-type":"item","numeric-id":5376691,"id":"Q5376691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c953175a26aa899a466c7800a4c077dae84fe883","datavalue":{"value":{"amount":"+0.7887142896652222","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":"Q408538$09952A3F-4A4B-444F-AA3C-49CF6D0C047B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1179604e13f068b59eb285e9dea483e3dd0a9e00","datavalue":{"value":{"entity-type":"item","numeric-id":5232011,"id":"Q5232011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b1416fba908ccb949a705177cb6f03fca2804bfe","datavalue":{"value":{"amount":"+0.7847409844398499","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":"Q408538$F0B2F999-4A78-4E33-B230-4DF43C525168","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:408538","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:408538"}}}}}