{"entities":{"Q6564678":{"pageid":14175833,"ns":120,"title":"Item:Q6564678","lastrevid":40563281,"modified":"2025-03-06T21:40:45Z","type":"item","id":"Q6564678","labels":{"en":{"language":"en","value":"Tableaux and interpolation for propositional justification logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7873793"}},"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":"Q6564678$C93038B7-2210-4BAB-96BA-8396436EFEAC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"01b7ed3f47db80b497c0aeefa75edf2401c44012","datavalue":{"value":{"text":"Tableaux and interpolation for propositional justification logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6564678$3F05C30A-9733-44D3-96E8-747B7F01F9DF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"af02b6946192e4a4bed57a18de624cc7923a8e30","datavalue":{"value":"10.1215/00294527-2024-0005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6564678$F88C4391-F00F-48FC-977A-D8314A575279","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"01720929bc0e9c7898e5e15d3c8d2a09ecc071ce","datavalue":{"value":{"entity-type":"item","numeric-id":331047,"id":"Q331047"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6564678$D6E2A6B9-4165-4452-B644-0904F01D7D99","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6325d9f59cde8ebbdb24a9f950cab3fcef3decf6","datavalue":{"value":{"entity-type":"item","numeric-id":190248,"id":"Q190248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6564678$7F3D36CC-3D8A-435C-8081-7EBFFB56EB5E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8ad38fe45e736da7b933e7fb9aab0b9eb039636d","datavalue":{"value":{"time":"+2024-07-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6564678$ACB5743B-B6FE-43AA-9DFF-E3BD9556BBE4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6564678$90BFB376-42AF-4700-883A-A35828A906DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c1d2d83da0d870574277144fdd1db9abaae162ec","datavalue":{"value":"03C40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6564678$46302A01-8DF5-4DE1-B061-A87B8FE14C20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"89a6721807d2106ad3a18783b4fcbc004e6a56c5","datavalue":{"value":"03B60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6564678$EE181A37-BB2D-457B-A9BE-E18994CB698E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1ceefa87be5b872b606a8c3b58c91e51570c16b8","datavalue":{"value":"7873793","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6564678$4E952AF3-77BC-4A31-83BD-171DBA383AAA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f95dc58bd79c469c584620b93c8e9df8644496fb","datavalue":{"value":"analytic cut","type":"string"},"datatype":"string"},"type":"statement","id":"Q6564678$B38D17F5-26FC-4313-A324-616538B3A1F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q6564678$3309B6CB-1F58-4BE9-8C4F-0B5EB2C1C833","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d9bc6474ad8409ef4528af84655741b6b5be3d7c","datavalue":{"value":"interpolation","type":"string"},"datatype":"string"},"type":"statement","id":"Q6564678$C6E3422E-33B3-4BF9-8D82-FB72E64538A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fcd61cf3d7a88b11b8ac181635b034fdf2c873e0","datavalue":{"value":"justification logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q6564678$9E50D1B8-3F32-4DA6-8261-39273B328B7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f74920537862e25960045b173a4c530000d4686b","datavalue":{"value":"subformula property","type":"string"},"datatype":"string"},"type":"statement","id":"Q6564678$3AC60C44-23A8-40C0-BC6F-9D69B28F2C3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"45ba0550e07e04a3326d1cb7dbe398ac3d7c209d","datavalue":{"value":"tableaux","type":"string"},"datatype":"string"},"type":"statement","id":"Q6564678$EFB2A9BC-3C4E-48C1-A4B3-0C967F9E3901","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":"Q6564678$0B2DC083-A882-405A-AD4B-C91923A62405","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"cbe27c28be40d717bb2da3fe779947fa14a0184d","datavalue":{"value":{"entity-type":"item","numeric-id":2453576,"id":"Q2453576"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6564678$2E280966-F310-439A-A1FF-459DFE41BF32","rank":"normal"},{"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":"Q6564678$15EF53FC-561F-41C0-B74E-DAD612DF8778","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"17b00ab191b866943c5176f743d50485259b50b8","datavalue":{"value":{"entity-type":"item","numeric-id":5376691,"id":"Q5376691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6564678$9E555399-EE28-4947-AA31-F4361FFE7793","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13e773aec4f521324ba6a5c3d61497aff90ed176","datavalue":{"value":{"entity-type":"item","numeric-id":2904046,"id":"Q2904046"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6564678$45A714C4-9853-437C-8DBF-8CD52FB38326","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ebdf7074f04e0eb382d7fde428e28f695b7a135c","datavalue":{"value":{"entity-type":"item","numeric-id":4914518,"id":"Q4914518"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6564678$D18083BF-68B6-42D8-AD6A-20B867F72FE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"45588cd7360799e3b56381b497f12f36a21e9b0f","datavalue":{"value":{"entity-type":"item","numeric-id":1314288,"id":"Q1314288"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6564678$AEDA4525-0BDC-4E75-9A5F-8AF7929379D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf730892ec5be6c57741cf68a72855f6d08e524f","datavalue":{"value":{"entity-type":"item","numeric-id":2753597,"id":"Q2753597"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6564678$3A1B1F76-BA02-426F-8BEA-A46D23F5EAB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b19a13d21f909bc5d01ac054faba1d283210dbc5","datavalue":{"value":{"entity-type":"item","numeric-id":4304496,"id":"Q4304496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6564678$4C4062E3-FF99-4AFD-8FBD-E47A395FC003","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21deb2c7907594cf11dde9542b8208b531805e28","datavalue":{"value":{"entity-type":"item","numeric-id":5878369,"id":"Q5878369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6564678$A95721B1-F7CF-4CD7-8BF7-5E5F6B01B1CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd8f331c208304cc5d06815c844f99cac7d33a64","datavalue":{"value":{"entity-type":"item","numeric-id":5014046,"id":"Q5014046"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6564678$3D5EABB3-ED6A-4E4D-A478-53ADCD5E7ECE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6558f90f2387688404a0ec52a09add833f254627","datavalue":{"value":{"entity-type":"item","numeric-id":3406688,"id":"Q3406688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6564678$08667366-E69A-4153-8A5E-E72714A3CF2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ad2e3e71fd34316c4d5dca241131f17edc1acca","datavalue":{"value":{"entity-type":"item","numeric-id":4863622,"id":"Q4863622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6564678$6EDB42D2-4B5E-47D3-8C9B-2264A26F1EA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f1dc9f77118731d07defbe2b73ecd4ccb123bd5e","datavalue":{"value":{"entity-type":"item","numeric-id":703832,"id":"Q703832"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6564678$266C671A-19E0-47FF-8C60-F7A70B03DD1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa97ceef96b310a53cd4a2f55a5b0957549af1b1","datavalue":{"value":{"entity-type":"item","numeric-id":409323,"id":"Q409323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6564678$54680424-051D-4C79-A49A-BD9337DAD08A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7731549773c563f98cb19264a7023a9f36ffcd04","datavalue":{"value":{"entity-type":"item","numeric-id":286591,"id":"Q286591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6564678$7420FED4-E5B2-4E91-92ED-7DA591243AD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13cd48b65b4315b72ce3624875771c5712161b2b","datavalue":{"value":{"entity-type":"item","numeric-id":3165756,"id":"Q3165756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6564678$5D5B6D8D-68B6-47E5-B3A1-479764D4C9C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b47288a4f4726e1175e2a1930f0dd70ccb616bb6","datavalue":{"value":{"entity-type":"item","numeric-id":331048,"id":"Q331048"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6564678$1A8D8248-64F8-4D6E-9ACB-D2DB5030DF00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c64f0c2196acc1e8e325b090f4c6e4148310b79","datavalue":{"value":{"entity-type":"item","numeric-id":5877705,"id":"Q5877705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6564678$542CFB98-D4CE-46F6-996F-10D4956AC3CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb918ec41763146dcf435966b2e1f08f3f5225c8","datavalue":{"value":{"entity-type":"item","numeric-id":435202,"id":"Q435202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6564678$AAB9154A-E09F-4837-9F64-71860B0A502A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"149c95a8e41ffdef06419ed76632c8ce50a7b44c","datavalue":{"value":{"entity-type":"item","numeric-id":408538,"id":"Q408538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6564678$DE93523B-F6A6-404B-BE75-FCD060434DA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62fe320a8e2945a982156f6d4f3d5b1f2e3ba92e","datavalue":{"value":{"entity-type":"item","numeric-id":2753686,"id":"Q2753686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6564678$532BCD3C-04D4-4D61-AF8B-84F6A90DB09D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e8a1ebe3ea4f17fe38dbf72fbad328d4f878f48","datavalue":{"value":{"entity-type":"item","numeric-id":5419893,"id":"Q5419893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6564678$BE89E38C-6ED3-421E-AF06-64DAE0CC2892","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25b3b2827002bc8d3e5b4e924d1e5ea74c5a2eb5","datavalue":{"value":{"entity-type":"item","numeric-id":5232011,"id":"Q5232011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6564678$9B1F588D-318A-4A9E-A1A3-77FEA8ADAC55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"999c8fe94a19a2d0a1c3cffca1245dbdea8ff1ee","datavalue":{"value":{"entity-type":"item","numeric-id":5736158,"id":"Q5736158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6564678$EF59CB16-D798-4D84-94E8-B58A1E5A20EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6bd0d9143bc6830da1b08fbc5d1e9c1b297dc8b3","datavalue":{"value":{"entity-type":"item","numeric-id":5224584,"id":"Q5224584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6564678$8048D6AE-B009-4465-83B9-EFD32478D215","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1dfbfd3fd8285c1b250d4a94e1be2061d1444016","datavalue":{"value":{"entity-type":"item","numeric-id":4376067,"id":"Q4376067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6564678$504C3B8B-6BEB-435F-9E10-CE3629796501","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"75493a5d0c825e3dfc17205eb9657d80574686e8","datavalue":{"value":{"entity-type":"item","numeric-id":2902944,"id":"Q2902944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6564678$ACC37AA5-CBC9-469C-A4CA-7E8242DA83F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"023bcfd931dbe42a3d517532249c9462e732bd0b","datavalue":{"value":{"entity-type":"item","numeric-id":375307,"id":"Q375307"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6564678$07AE5EE5-8C2E-4EDD-A593-1D9D8EE94057","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7dd6d62ee7bd93b1e3442c4d7e244666926e16de","datavalue":{"value":{"entity-type":"item","numeric-id":3434705,"id":"Q3434705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6564678$F43BAAD0-1600-4AE5-B6B7-EBE82C7A0B3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1dfab8cd1756a32fda367328fbea1444b8975c67","datavalue":{"value":{"entity-type":"item","numeric-id":1406371,"id":"Q1406371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6564678$853846A3-2AFD-4B85-B325-6C78A5594F9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"febba330446bda559f2952d624c63d67c91597ef","datavalue":{"value":{"entity-type":"item","numeric-id":5560258,"id":"Q5560258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6564678$CF51A952-46A0-4C6D-B976-15FD430D5BA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"275228b79fb4ad69c1e52574e4ceb2f7cfd81f2c","datavalue":{"value":{"entity-type":"item","numeric-id":5300069,"id":"Q5300069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6564678$A26DBA4F-9ECB-4DEC-9750-30B300117FE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"556c63d3d5fbb69adda2aaeb321f31370f38a3b9","datavalue":{"value":{"entity-type":"item","numeric-id":4716271,"id":"Q4716271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6564678$EBA9340A-B059-42AD-A503-D1D5F18D27E2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6564678","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6564678"}}}}}