{"entities":{"Q5300069":{"pageid":7329643,"ns":120,"title":"Item:Q5300069","lastrevid":41065300,"modified":"2025-04-18T02:22:11Z","type":"item","id":"Q5300069","labels":{"en":{"language":"en","value":"Decidability for some justification logics with negative introspection"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6180290"}},"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":"Q5300069$0BFCB8D0-6C0A-4580-A3D6-C002C1F82E19","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"510a0939c05a14fd99794e9fb0ac09ba78dbce08","datavalue":{"value":{"text":"Decidability for some justification logics with negative introspection","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5300069$EF9CB6FF-44B0-417E-94C2-6776C602EC21","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8b7c980736afcca1285c3271cee4a146ca3a868f","datavalue":{"value":"1276.03017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5300069$7709A9FF-3709-454F-91D9-D58A496874A5","rank":"normal"}],"P16":[{"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":"Q5300069$3E827E84-93EB-4D19-9F21-4BA55ED171E1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5c4d994537ec42b6c97cc8e2c49237541c4423dd","datavalue":{"value":{"time":"+2013-06-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5300069$42077E4D-66E6-4CD4-8C68-4D1FA742F06C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"25ef99f65ddb4ade8e4298d2d9acf93f18cc0f53","datavalue":{"value":"https://projecteuclid.org/euclid.jsl/1368627056","type":"string"},"datatype":"url"},"type":"statement","id":"Q5300069$5CD7FF44-7A17-4E04-8F41-62DA1F66A4AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"16acecd05d756964bdc3c774d51c0d50f188d17f","datavalue":{"value":"https://boris.unibe.ch/40672/1/J5_Decidability.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q5300069$D16349B9-B0C2-460B-BDF6-9B36174658EC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"19e8b53914fe36a939b2f687be46776db2609217","datavalue":{"value":"03B42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5300069$4666B63C-BB5A-42C0-8CA9-C397739B41A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5300069$42EFE55C-C6A9-48F9-A367-AFF1EB117D86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5300069$7FC721BD-0AE1-4382-BF3D-2526AD5C7F38","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"095e72ea1d21467563248bdf76ee3bccf398edbc","datavalue":{"value":"6180290","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5300069$22506DB6-9922-4532-B526-CB7DFC86E272","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e6f8bffe3981e7f1e6323c53a4d45216dd480fbd","datavalue":{"value":"knowledge of agents","type":"string"},"datatype":"string"},"type":"statement","id":"Q5300069$E4B2E838-D9CB-4F53-A2CA-2AF6951A6DB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0d4a863537faf2f942b5c071aec2057179d114d0","datavalue":{"value":"introspection axioms","type":"string"},"datatype":"string"},"type":"statement","id":"Q5300069$715FB6D6-BE93-493F-924C-83CD3A0194D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e9948af1b6b49557083010086da5443937b37393","datavalue":{"value":"justified knowledge","type":"string"},"datatype":"string"},"type":"statement","id":"Q5300069$D745D878-20E8-486A-B8D3-FF9106FD40A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"afca37ec283c436ac56ea7dfcea0bd6378181bac","datavalue":{"value":"justification logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5300069$31132931-FDDA-4158-BC7E-1E5FB54339F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q5300069$B9186E29-2A93-451A-B78F-308FD21D094A","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":"Q5300069$23288784-900A-4273-8A38-B9CA1C5B3237","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"992978f25076ffce68cc634ae6baa5407571961d","datavalue":{"value":"W2143733069","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5300069$1C747D4B-0038-4F18-AE03-A11C9C94EE5E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"94f0e2e9eb91d166a87e1c8dd441dd9c7d531d73","datavalue":{"value":{"entity-type":"item","numeric-id":3431968,"id":"Q3431968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5300069$562A7ED7-7578-427A-8C1C-561189DCCB3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91178f08ffbe2303146acf8a5e9f59dead26db05","datavalue":{"value":{"entity-type":"item","numeric-id":2901206,"id":"Q2901206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5300069$5FE72AF2-B596-49E4-BA44-4A591AEF68B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"784d500dac6a0c794215d9cef69a190e7f0e7226","datavalue":{"value":{"entity-type":"item","numeric-id":3580683,"id":"Q3580683"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5300069$D00283CB-568D-4C0A-AEE4-9D17C9E630EB","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":"Q5300069$3EA03FBA-312C-4FC0-BDC7-E9ACBCE0DA7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0bba8bf53e9a7c2bf004ecf849e0a69a9c6051c6","datavalue":{"value":{"entity-type":"item","numeric-id":2500486,"id":"Q2500486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5300069$570AE204-C570-44C1-B5B5-AFF1299A8294","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"343a412a6197d0103eea4c3906a7ab821fbaeafc","datavalue":{"value":{"entity-type":"item","numeric-id":3431965,"id":"Q3431965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5300069$A54975AF-1010-45F0-BE63-0A1E4C1B7410","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b707ea6aeb6789674e09ff2dfbae760974c8632e","datavalue":{"value":{"entity-type":"item","numeric-id":5957913,"id":"Q5957913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5300069$60D0D030-7921-4B28-A734-CF3DAE7028ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"92f9a19132225581d4e905536bc3c1bb59959768","datavalue":{"value":{"entity-type":"item","numeric-id":5957853,"id":"Q5957853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5300069$1F6F8114-7308-4265-A3FE-5FFB902A1036","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":"Q5300069$B735DECC-9E00-471B-8265-694B60168432","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d05c212d9b2f2f5cee9fbb040ff36e19f686b49e","datavalue":{"value":{"entity-type":"item","numeric-id":5957921,"id":"Q5957921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5300069$AC8ACC98-FE71-4454-B2AC-B40528741F54","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a41722dcd02bb7a91aaec4ee7eaf8d6d6840419d","datavalue":{"value":"10.2178/JSL.7802030","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5300069$BD7687BC-4207-45C1-9A7E-35C07DEEFC66","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7e85b7eb13687ee18a4c6014dfbb3ca16888c929","datavalue":{"value":{"entity-type":"item","numeric-id":4914518,"id":"Q4914518"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"271be843692cc13d6b76f458c78996488b9b674a","datavalue":{"value":{"amount":"+0.94328433","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5300069$373EF248-DF6A-48B9-A761-6EEC8618D50D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"958b1abf97932ff1d8b8717fd14c1e63df61cc89","datavalue":{"value":{"entity-type":"item","numeric-id":276034,"id":"Q276034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4c4496beb4e119cab72ba5f19cb863ac98511b13","datavalue":{"value":{"amount":"+0.89786017","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5300069$89099594-3B25-44B7-A113-83F79C9B1075","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3a07c9712f59fa6d965aeb3d830723db6ecacc63","datavalue":{"value":{"entity-type":"item","numeric-id":1873248,"id":"Q1873248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e3ddb93ecef6de5da6d670bffafb7d6f8fc0456c","datavalue":{"value":{"amount":"+0.88759923","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5300069$44841653-5DD8-418E-9AE7-F3BBCA6554C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"681e1d80c78dab960c3a69da6989509687c45aec","datavalue":{"value":{"entity-type":"item","numeric-id":4636023,"id":"Q4636023"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ac1c374c729508d512d836aca2e482ad2787e4f3","datavalue":{"value":{"amount":"+0.88274217","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5300069$77C49DEB-9AF8-44F8-B860-54645AE82FB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"00142ce823fd4ec8d33a107a34f875e0cb36c446","datavalue":{"value":{"entity-type":"item","numeric-id":5436694,"id":"Q5436694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bb2f4d4d7912408f423c58a19f41b3282bd61cba","datavalue":{"value":{"amount":"+0.88093567","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5300069$109572C0-159B-4E54-B635-78FC3CF5AB25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d74289bb356778b28a1b2f46f60605b3f850309c","datavalue":{"value":{"entity-type":"item","numeric-id":2506825,"id":"Q2506825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e5e1fb6995281a73b7fc077e2fc9326087c05bd2","datavalue":{"value":{"amount":"+0.8809355","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5300069$6AF9FDF7-F626-4E7D-AA47-47533B3DC213","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fab29f90c09b1c6769e62580fc91b36961514201","datavalue":{"value":{"entity-type":"item","numeric-id":3194706,"id":"Q3194706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7ccd0705dafd5e564553d8bf0cfab7959262eb97","datavalue":{"value":{"amount":"+0.8762509","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5300069$69DFF60C-18A2-4873-BEA7-8B5C7D98A1F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a38aff1db7e87b54029e94365a261de2a32310b1","datavalue":{"value":{"entity-type":"item","numeric-id":408543,"id":"Q408543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"814e7304be0a75168832efc7fa3e9df694434bf9","datavalue":{"value":{"amount":"+0.87600875","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5300069$A9F581B9-83A4-4B4E-809D-5FBD9F8D4D0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9bd972ddc76f4871a2212db57a837fe4a3f68a45","datavalue":{"value":{"entity-type":"item","numeric-id":5224584,"id":"Q5224584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"df16c4aad1d4d9b44613d1f3468392b6a4877dbb","datavalue":{"value":{"amount":"+0.87223136","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5300069$423B0697-6537-4B69-8D1F-E897127DE00E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"be13f8f54e6cdd49feb173cc54dd59a7a8a3f429","datavalue":{"value":{"entity-type":"item","numeric-id":5750390,"id":"Q5750390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d19183cb1105278418b055b050c2453b004e78dd","datavalue":{"value":{"amount":"+0.871779","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5300069$DC46EC98-9CC3-4746-9B95-96B1B2A057D5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6218d42f0175ef35f91c4900eb5db86484a9463d","datavalue":{"value":{"entity-type":"item","numeric-id":2710590,"id":"Q2710590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5300069$8F14B1E6-727C-480D-956F-8394F46A7D22","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5300069","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5300069"}}}}}