{"entities":{"Q2193971":{"pageid":2204714,"ns":120,"title":"Item:Q2193971","lastrevid":71519946,"modified":"2026-04-13T22:48:12Z","type":"item","id":"Q2193971","labels":{"en":{"language":"en","value":"A note on strong axiomatization of G\u00f6del justification logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7239280"}},"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":"Q2193971$D7D66695-B31F-42CB-8633-29FAE73FD56B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8bf279dfc6fe1c6e3dfea6c3058cfea6f2bb4bbe","datavalue":{"value":{"text":"A note on strong axiomatization of G\u00f6del justification logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2193971$060A9495-295B-42BF-9256-4BEF643FB636","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1610820b60dc492e2f0ce325a17f4ded6d945cc3","datavalue":{"value":"1461.03023","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2193971$FD93A079-700F-4453-8E6B-CB4BAED72043","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"12ac7b491a756e57cbdc16ec722c48d61934bafa","datavalue":{"value":{"entity-type":"item","numeric-id":2129631,"id":"Q2129631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2193971$C65751D4-8D85-4CC8-B9D6-7E045F742F55","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e34236ca73b92c6ee0bc17431d03c3537a7f0792","datavalue":{"value":{"entity-type":"item","numeric-id":195358,"id":"Q195358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2193971$4A20E358-19DC-4BFB-BBF0-F52BDE869973","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"40d6298d979cc5fe8f26a1cea0e2ec254982529e","datavalue":{"value":{"time":"+2020-08-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2193971$7798254C-B7DB-4EF7-96DD-4010F0494260","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"cbeed58e81bd47fd776abd99ad119c2ef120aded","datavalue":{"value":"https://arxiv.org/abs/1809.09608","type":"string"},"datatype":"url"},"type":"statement","id":"Q2193971$9A03A499-778D-42E1-B698-B34A25763A0D","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"d4c91db7d634769edc36c322250981f482abc447","datavalue":{"value":"The paper under review is concerned with fuzzy analogues of certain justification logics. In particular, it discusses systems of justification logics whose underlying logic is the infinite-valued G\u00f6del logic. Kripke-Fitting-style semantics are provided for these logics. The interesting feature of the proposed semantics is that instead of the crisp (i.e. two-valued) accessibility relations which are generally used in the possible world semantics of justification logics, it employs fuzzy accessibility relations that takes values in the standard G\u00f6del algebra [0,1]. It is worth noting that the previous work on fuzzy justification logic [Log. J. IGPL 24, No. 5, 743--773 (2016; Zbl 1405.03040)] deals mainly with models that have crisp accessibility relations. In that paper, \\textit{M. Ghari} shows that in a \u0141ukasiewicz t-norm based justification logic the application axiom is not valid in the class of (standard) fuzzy Kripke-Fitting models with fuzzy accessibility relation.  Several standard theorems in the literature of both fuzzy logic and justification logic are mentioned. These include the strong completeness theorem, the internalization property, the conservativity of G\u00f6del justification logics over G\u00f6del logic, and the finite model property. The proof of completeness follows the same strategy used by \\textit{X. Caicedo} and \\textit{R. O. Rodriguez} [Stud. Log. 94, No. 2, 189--214 (2010; Zbl 1266.03030)] for G\u00f6del modal logic. Moreover, the completeness theorem is proved with respect to two classes of models: models with crisp accessibility relation and models with fuzzy accessibility relation. Finally, the author takes advantage of the infinitely valued fuzzy accessibility relations to resolve a sorites-style argument that models with crisp accessibility relations are not capable to formalize it.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2193971$53A6267D-1D22-441A-9BC2-0281F03F7198","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"2c7fa03ecb09e754739de450d963437b2a10927a","datavalue":{"value":{"entity-type":"item","numeric-id":331047,"id":"Q331047"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2193971$278D90CC-CC24-4AF4-B0BC-14D1A429DAA7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0ad6448c9e3f2394361827e5c2d117e48dc71794","datavalue":{"value":"03B52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2193971$3D2F8AEE-33A2-4D84-BF03-59803215E7D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"19e8b53914fe36a939b2f687be46776db2609217","datavalue":{"value":"03B42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2193971$47AEE52F-72F4-4DA8-B237-FC52C7E46B2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2193971$6D07737D-7F0F-4CA4-AE37-A0B28827D189","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1c8ef9d02bb34fc3404a7f18545e26ae5b0833c2","datavalue":{"value":"7239280","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2193971$AA37726A-7D8F-4912-942C-65A9DF0BDBFE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"afca37ec283c436ac56ea7dfcea0bd6378181bac","datavalue":{"value":"justification logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2193971$89C8AA6F-3963-4A9A-902B-D53052C59F0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6f57e7923ffb20be382fa3f67cd9a02764204c34","datavalue":{"value":"G\u00f6del logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2193971$272DC3DB-2273-46E4-AB15-7DBFAA791EF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fd90b10c86bcd3a1ea00e5a723ecbd3727c10897","datavalue":{"value":"strong completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q2193971$B755AA48-DFC3-4E16-81D0-490164E07192","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":"Q2193971$8F090F4D-EA06-4954-8E26-C0FD2B513D4D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"959ff2ac3ef67e5dd4b39958d7f07f648e02fdd9","datavalue":{"value":"W2965030146","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2193971$B794CD13-0A1D-4FBC-BDB4-98D7A4B5560B","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":"Q2193971$95ECE488-BB88-4EB9-9DA3-876661720E1A","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":"Q2193971$A1F4832A-1CF4-4B05-BFEB-B2C53D992AF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c7bc15f249726e286830d3ad1d34138fb5e2e3d4","datavalue":{"value":{"entity-type":"item","numeric-id":4893133,"id":"Q4893133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2193971$1BE2D12C-B277-443B-A5DD-3B82D3C01B76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8a8e7aa3826057e8a68a04faafb879ca50e3653","datavalue":{"value":{"entity-type":"item","numeric-id":2370370,"id":"Q2370370"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2193971$BE3BDC0D-8FDF-4AB9-9371-F833337571C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c3df0b23ba7271d3f990b3e9d91914833dff0616","datavalue":{"value":{"entity-type":"item","numeric-id":965908,"id":"Q965908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2193971$1575612F-EDCE-43E7-A1AA-9E643E8A50FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"02149d0f3702ffaf6b195b17d6ff6b1ab7b5d343","datavalue":{"value":{"entity-type":"item","numeric-id":5176545,"id":"Q5176545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2193971$84AD5426-4D61-4FAC-BB62-75FDAA6A4D00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b870bd3f7616c2307692f727cad9b33e047b823","datavalue":{"value":{"entity-type":"item","numeric-id":3264226,"id":"Q3264226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2193971$120E83D3-93EE-4AB7-8775-F794740F8B12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8bace38f6d53f0a7114e28430f06b7e5091c3633","datavalue":{"value":{"entity-type":"item","numeric-id":876491,"id":"Q876491"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2193971$C03C48B5-1D80-429F-BD79-DCD425363FA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a6c2a682b2e9dec9a4775e1451429ca20ffba5fe","datavalue":{"value":{"entity-type":"item","numeric-id":3989936,"id":"Q3989936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2193971$A815473D-B488-4596-9159-AD7811D29D96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"af6a56147721f5558561f9dc5063b26167a3efa0","datavalue":{"value":{"entity-type":"item","numeric-id":4022223,"id":"Q4022223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2193971$83C314DE-888A-4BA4-8EAE-643B98CBB89F","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":"Q2193971$AF1AFA3F-9CC8-4D7F-8366-B86F63E250F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"246ce6f44781c3c522ffbc06fccee12b56ea1e87","datavalue":{"value":{"entity-type":"item","numeric-id":2254486,"id":"Q2254486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2193971$B130EE3D-8711-466E-A7A7-4D0A146A2107","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a09e47cfb1eabb448e1b169302cf2454f9f3611b","datavalue":{"value":{"entity-type":"item","numeric-id":4644569,"id":"Q4644569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2193971$7BD723F2-E665-4774-B866-98B0BB06A817","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f421884f879ae4e0048a14b487c578b45714b0b","datavalue":{"value":{"entity-type":"item","numeric-id":1307301,"id":"Q1307301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2193971$577C4E86-8BC8-4F2A-9C46-A36BE281CEC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a150d5a38251d435dbd79fe9ddb6282ff8380e9c","datavalue":{"value":{"entity-type":"item","numeric-id":5571686,"id":"Q5571686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2193971$EAE9A17F-A9B7-46C6-9179-18D57C26B77A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5774289da01a364e753a8f9f11afcdd0197edfd1","datavalue":{"value":{"entity-type":"item","numeric-id":1575112,"id":"Q1575112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2193971$B976FB17-FF5F-425D-BBD5-C3508EAAB927","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"552a61ce40b674954fce3b3cec15700430f99785","datavalue":{"value":{"entity-type":"item","numeric-id":5283426,"id":"Q5283426"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2193971$DA718819-73AD-432E-8880-27E7A7F20A88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a7811421394b3b7e3ab05c3768efcb23e938159","datavalue":{"value":{"entity-type":"item","numeric-id":392291,"id":"Q392291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2193971$C02D4AED-4563-4DE0-93C7-16DB82B078A5","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":"Q2193971$CFEAAA69-0C08-415B-91BA-0C21EDD91E09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"16c0f10026eb1d1b29d367b8bb2d15f247247309","datavalue":{"value":{"entity-type":"item","numeric-id":2987054,"id":"Q2987054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2193971$11D465BB-78DB-448C-A513-97010EBACC72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d4bc3870266cf5a5186489d6bf6639bf1fbf3e72","datavalue":{"value":{"entity-type":"item","numeric-id":5514608,"id":"Q5514608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2193971$D5A2CD06-C11C-4FD5-BA6F-3FADB83BB2D3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"54987f0de3847b79372e58987f3be1bfb5003662","datavalue":{"value":"10.1007/S11225-019-09871-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2193971$D003836A-8BAF-4024-A2FD-91BD6436CB1F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6e7161d4c2bf49c74ed9a8636ae8723b14e4ee5f","datavalue":{"value":{"entity-type":"item","numeric-id":965908,"id":"Q965908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8fbee6a1f83d6b9e1dda9a214f9014442627bd44","datavalue":{"value":{"amount":"+0.7953645","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2193971$FD981F8C-FFE7-4F24-B9F7-F5A0D1670E9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c0959eac607e6b32f400ef86561b6114f2e85157","datavalue":{"value":{"entity-type":"item","numeric-id":5176545,"id":"Q5176545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5c1e104b8f4a9ea66079067625adb39d2b98eada","datavalue":{"value":{"amount":"+0.7901809","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2193971$36CDE51B-16A4-4A4A-B264-EACB77A47D16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"49a14052a19efd743656bba3a488d8c074258bf7","datavalue":{"value":{"entity-type":"item","numeric-id":2157603,"id":"Q2157603"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5cbaf038013487b1c045db156c33325a28b51e31","datavalue":{"value":{"amount":"+0.7804059","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2193971$AD16FF2C-E982-4F00-BE49-05DFB3EFDC69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"af9670ee6811d4bb69cca0602c1ef704733fa5f0","datavalue":{"value":{"entity-type":"item","numeric-id":3648736,"id":"Q3648736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e0b407a21bbb611444b526167805fcdd6f596533","datavalue":{"value":{"amount":"+0.7725301","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2193971$A72A408B-608C-4E05-BD55-31CEA29779B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"57ee5fdd6bc9917a65eb8b63ebc092b630e8c904","datavalue":{"value":{"entity-type":"item","numeric-id":4644569,"id":"Q4644569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d7a824bacbbb8ff4e8eedbae9cd53439534e0265","datavalue":{"value":{"amount":"+0.7645036","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2193971$ED7C1653-CD69-48EC-82EF-2FA9A8D0EE90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"08165164e195013bbfd5826e235a12daf82c2c4b","datavalue":{"value":{"entity-type":"item","numeric-id":3003328,"id":"Q3003328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2cba89a3d6a26f0fdea64e3b99daaa3e39cbe959","datavalue":{"value":{"amount":"+0.7598719","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2193971$06C89529-44DD-44C9-8304-4BEC8E5B904D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"61566c20f0bceb2730e6a094012523583c374b48","datavalue":{"value":{"entity-type":"item","numeric-id":1797765,"id":"Q1797765"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eaf9f2bb08ae90cbf07bc40b697f62b2d1b68120","datavalue":{"value":{"amount":"+0.75629115","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2193971$B999D677-2E29-4FE1-8710-2009EAFED62C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"00e803281346a7822a0a010212e8b313835ab757","datavalue":{"value":{"entity-type":"item","numeric-id":2849434,"id":"Q2849434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2a00bf19220179282178fe3bd18c26d641e0b750","datavalue":{"value":{"amount":"+0.7511133","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2193971$89A4FD88-77C9-46E3-A4B4-A6B15E580402","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e454ca1212a436071c2ed5940eb5062f2deea590","datavalue":{"value":{"entity-type":"item","numeric-id":631082,"id":"Q631082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"41fdcc61bc99e6204f025fac8bc72e82d02f0b3b","datavalue":{"value":{"amount":"+0.74970084","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2193971$790F62D7-B4C6-4191-9B4B-E5B3C86CC27C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5d0f1f4ee45482cf76e1a3a572010adb1a9d3b6a","datavalue":{"value":{"entity-type":"item","numeric-id":3638210,"id":"Q3638210"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"32c71330bbe76797482fabc6241d9bf7dcd5e197","datavalue":{"value":{"amount":"+0.7495053","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2193971$363CB8FD-B212-4240-9FD1-FDCA08AC55D4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A note on strong axiomatization of G\u00f6del justification logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_note_on_strong_axiomatization_of_G%C3%B6del_justification_logic"}}}}}