{"entities":{"Q6111085":{"pageid":13245392,"ns":120,"title":"Item:Q6111085","lastrevid":58689972,"modified":"2026-04-06T08:23:40Z","type":"item","id":"Q6111085","labels":{"en":{"language":"en","value":"On intermediate justification logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7708100"}},"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":"Q6111085$CBC78110-ED38-4349-967E-A534FD6395E4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"630263172884de0c3aed8b47d05a124c791ed446","datavalue":{"value":{"text":"On intermediate justification logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6111085$BFBD82BD-BCBB-4AB6-A152-D12E9CF905C3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"27755b23146d262c10107c8f75dda258c016b007","datavalue":{"value":"1515.03129","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6111085$C1CEE11B-0161-4EF1-8E11-32C4308F547E","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":"Q6111085$BBCDB827-5065-4B68-955B-1C494D8D53C2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2322a21df36f02b2b9c16a6174c764d5fc949009","datavalue":{"value":{"entity-type":"item","numeric-id":3061274,"id":"Q3061274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6111085$F1111D57-D014-4931-A8E3-7071F3B5E1EA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2b0cf7020a84728d267c72687d2ac45770799462","datavalue":{"value":{"time":"+2023-07-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6111085$7F7B05A4-E590-4A98-AF95-7B213EBA5504","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bd3bc992243ae9c1ab0a451f8f99f42864981ff2","datavalue":{"value":"https://arxiv.org/abs/2005.13854","type":"string"},"datatype":"url"},"type":"statement","id":"Q6111085$F959729F-9118-4437-95A0-7BC9CC95FE77","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"87f66489f0c14f30094b654591a05fdd61321103","datavalue":{"value":"03B55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6111085$10B5BE73-CD54-4C19-8AA6-1878E7EB42CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"19e8b53914fe36a939b2f687be46776db2609217","datavalue":{"value":"03B42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6111085$1104B878-74C2-416C-B197-06A34DAE9042","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"67d83a420633c5e61caca50109886be8d1d7a17a","datavalue":{"value":"03G25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6111085$85ACCC52-521C-435A-B214-B156026BB0F9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ee7eec37b95a66ca420d941c00126f7038236c98","datavalue":{"value":"7708100","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6111085$F22E5C62-41F2-4D43-9071-6BFA584BA86D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"afca37ec283c436ac56ea7dfcea0bd6378181bac","datavalue":{"value":"justification logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6111085$31599C34-A9A1-4F80-93DE-1539270DACD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e20caaf0551fe84fb69eae2f4da361eb77759b92","datavalue":{"value":"intermediate logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6111085$703310EF-3531-426C-9231-3490D0061927","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5fa90d9b43357ac49f07caba3b29b66354b3e6fb","datavalue":{"value":"Heyting algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q6111085$644EAA8F-21D2-4123-B1F2-042B9B25061C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"17a01cedacdd5d7fedd625de50de09464f3aa2c0","datavalue":{"value":"Kripke frames","type":"string"},"datatype":"string"},"type":"statement","id":"Q6111085$5405CC9D-0E7D-4A75-B2BF-4230BFB83C49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8b355c8a4174d6d8394d7bf240c24bc9a0be14b8","datavalue":{"value":"realization","type":"string"},"datatype":"string"},"type":"statement","id":"Q6111085$AE9B7477-6191-4065-90F3-83311F0B5EB0","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":"Q6111085$0FEFD457-4BD9-4844-A2D2-40D0706BD883","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c9b1de3d025f9400ecfc5d95ec33f02b09469e48","datavalue":{"value":"W4225713927","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6111085$4A9B8193-3512-46B9-84F9-42D4E773B40B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"294f87cef620836a15ea17c374149d18957df580","datavalue":{"value":"10.1093/JIGPAL/JZAC049","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6111085$FF18F180-9284-4EDE-B840-22CB1A67396A","rank":"normal"}],"P1643":[{"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":"292e877a7b27d06fb4368fb32189e8c7f6f1b30e","datavalue":{"value":{"amount":"+0.8291234374046326","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":"Q6111085$1A3EFD6A-EBD4-4C1C-B8E8-768A86D38210","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":"44da99ff1f3369ca270560d819339033a7bfd045","datavalue":{"value":{"amount":"+0.8144867420196533","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":"Q6111085$8AE963F3-2F6A-4036-8490-B92856EDF052","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":"01e0bc253ed9ab3b1b1b513ddcc5aaace4bb6ed5","datavalue":{"value":{"amount":"+0.8064444661140442","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":"Q6111085$311BE064-FA98-48DC-ABA2-B9F012C3B183","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8e6368bd4f08259bc280d2acc02ad7796ef0463a","datavalue":{"value":{"entity-type":"item","numeric-id":631081,"id":"Q631081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e45ddda97a23ade05dafc16a94e7e7c43887a5a8","datavalue":{"value":{"amount":"+0.799248993396759","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":"Q6111085$00F33B3F-59D0-4211-8BE8-35D997F72866","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8dd2969ef3f8985ed67ae91475ed48c503a495e0","datavalue":{"value":{"entity-type":"item","numeric-id":5092557,"id":"Q5092557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6241de6cdf86bb300d189871a2f95f4888e60b9f","datavalue":{"value":{"amount":"+0.7975393533706665","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":"Q6111085$70526ADF-ED22-4245-B8BB-A304F8375B99","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6111085","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6111085"}}}}}