{"entities":{"Q4914518":{"pageid":6944099,"ns":120,"title":"Item:Q4914518","lastrevid":98300165,"modified":"2026-06-05T17:10:17Z","type":"item","id":"Q4914518","labels":{"en":{"language":"en","value":"Decidability for justification logics revisited"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6153708"}},"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":"Q4914518$46FC26CB-6BD9-4232-9629-5E658F37D48B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"76276292617a2e3e165f2b953fe5be77a1f97bdd","datavalue":{"value":{"text":"Decidability for Justification Logics Revisited","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4914518$55D11B5E-4F2D-485E-8645-89909382CD58","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a37c70b6f11c74c47191e60f7e7afb5e8fd6319a","datavalue":{"value":"1383.03025","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4914518$B71E8C94-1994-407B-849A-4C8E3C130F76","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0473447c5673e405dc89e3049177ca1b1221ba7e","datavalue":{"value":"10.1007/978-3-642-36976-6_12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4914518$9A89BF48-26DD-4914-BF66-B497B805A9EC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5f1e9b719533140f7b91208c7b275a24626a73c4","datavalue":{"value":{"entity-type":"item","numeric-id":2453577,"id":"Q2453577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4914518$94A9D17D-68E7-447A-9F2C-35F7D62A7DFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"196dbdb570f68291e9833b5fdffc455b470e5721","datavalue":{"value":{"entity-type":"item","numeric-id":392270,"id":"Q392270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4914518$E7333AC0-C1CE-4A41-BC5C-B22B30D52682","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6a23089233c6f9a342152a9a3a402eea56cc40e3","datavalue":{"value":{"entity-type":"item","numeric-id":194999,"id":"Q194999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4914518$08C79DD6-EB42-4FF0-AD69-25EB2B9D4BCD","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"73721dca36e09b1fa1957406b9ce9131cf322a8e","datavalue":{"value":{"entity-type":"item","numeric-id":3019965,"id":"Q3019965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4914518$14BA2556-97F0-4443-88DB-ACBB3F7722B6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"16b61607d3c9e95948e64c616265d1c851d4a4a4","datavalue":{"value":{"time":"+2013-04-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4914518$7797F28E-E59D-44CE-9842-B8EA6712F2FC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"19e8b53914fe36a939b2f687be46776db2609217","datavalue":{"value":"03B42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4914518$EAF83015-6256-4559-BB41-612EBD29CAB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4914518$4B5F9464-9283-428A-A4B5-896977F911DA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a08d26850ca023b8cd7d69429ede25c61011502c","datavalue":{"value":"6153708","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4914518$4D27EEA4-27B1-46CF-A318-70247DA0EB2E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"afca37ec283c436ac56ea7dfcea0bd6378181bac","datavalue":{"value":"justification logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4914518$8C2196A4-6947-4447-B043-2A100ACEA8BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4914518$5EAAF624-1AF2-46DB-B467-094AC3C43786","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"05bdd07461d09bc38695333a1cd0618fef804a5b","datavalue":{"value":"filtration","type":"string"},"datatype":"string"},"type":"statement","id":"Q4914518$FF11A3E1-DD1E-4909-9C53-25D92E73A53A","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":"Q4914518$61B4E0E9-9E16-4268-8D8A-895F14E5C812","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2d3aa7c894f6d3d01638694584fb5b40eccbe194","datavalue":{"value":"https://doi.org/10.1007/978-3-642-36976-6_12","type":"string"},"datatype":"url"},"type":"statement","id":"Q4914518$22B68CB9-7706-4734-B76A-4F0C1BC43ADE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7de1770f98df109f8c20c34f65662e80210922a5","datavalue":{"value":"W1931640534","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4914518$C491C1FD-547E-4A73-903C-9FE6189F1850","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad8386dc4906b90c7f5459ae9a663c050f0cc58c","datavalue":{"value":{"entity-type":"item","numeric-id":5300069,"id":"Q5300069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"827fcfe4e92ecb9be9f9dbf8710913566daf9557","datavalue":{"value":{"amount":"+0.8760722875595093","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":"Q4914518$D483CCE5-D89F-4BBE-A12E-7E3D0917D7B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bb12b278698d822d19d7761e0d6c2f8b03e37466","datavalue":{"value":{"entity-type":"item","numeric-id":454364,"id":"Q454364"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9ea909c269b12fa6f02b227e5d17547c09555d14","datavalue":{"value":{"amount":"+0.8520940542221069","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":"Q4914518$0C0D68FE-38BD-4B28-B702-E22173D32D3A","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":"0448c60802e82f87d5a217d7df77e51109316ce7","datavalue":{"value":{"amount":"+0.8439474701881409","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":"Q4914518$A67D8186-E117-4E28-855D-36BEB1DA7A3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f78571396feeebfe846884369ea8a5cd30bf4bbd","datavalue":{"value":{"entity-type":"item","numeric-id":5377318,"id":"Q5377318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b03005c3672a1e74b8973a52ff8cff2a164b5e50","datavalue":{"value":{"amount":"+0.798904299736023","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":"Q4914518$5F129A3B-8533-4881-B0F3-59E65C0AC5F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"63dddeb7b7306784e5d1335d78cdf47a42cedd7e","datavalue":{"value":{"entity-type":"item","numeric-id":2901206,"id":"Q2901206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a5f8d1d03340c6d1c54754a91764abe78348a2e1","datavalue":{"value":{"amount":"+0.7966550588607788","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":"Q4914518$7FD1C666-EEC9-438F-B201-877D0D0E4B22","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Decidability for justification logics revisited","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Decidability_for_justification_logics_revisited"}}}}}