{"entities":{"Q5108022":{"pageid":7137598,"ns":120,"title":"Item:Q5108022","lastrevid":53719979,"modified":"2026-01-25T14:53:50Z","type":"item","id":"Q5108022","labels":{"en":{"language":"en","value":"First-order justification logic with constant domain semantics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7194697"}},"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":"Q5108022$2A734748-7FF8-4F2D-A32E-11F95B08F2EC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c9684ded412ceee3b58b6f0acbfebd544dc3940b","datavalue":{"value":{"text":"First-order justification logic with constant domain semantics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5108022$0BA98E16-374E-4A4D-985D-F896F43AA802","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cc95965cf49dfa3d07b440b1790cabedc2634253","datavalue":{"value":{"entity-type":"item","numeric-id":229752,"id":"Q229752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5108022$909397D5-A799-4307-B9D5-244255A49AD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2591dfd24ae79f70ce0c38852a7b858cf59e6939","datavalue":{"value":{"entity-type":"item","numeric-id":5108021,"id":"Q5108021"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5108022$E2FA3C36-71DD-4DB0-9317-DE89D0DCB391","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ce2e4d67bcb4c2c2fdc795276eac481d2c3c6d16","datavalue":{"value":{"time":"+2020-04-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5108022$4737E758-4D87-4635-B102-415095E5D34A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b640550e1216a1388a874c9b449b954600c66f60","datavalue":{"value":"https://arxiv.org/abs/1808.09875","type":"string"},"datatype":"url"},"type":"statement","id":"Q5108022$1B5D6D25-685F-431E-BB2B-18B7BAE520CE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7a1d4d343889492e30dd853837039fd3cd08322a","datavalue":{"value":"03-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5108022$C3BDA208-F88D-4C2D-9420-544896E240CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5108022$E9B7A7C6-87C0-425D-A99C-96AB4A6E4379","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bd51e464b30b9d14092012818bd62ca44d601e8f","datavalue":{"value":"7194697","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5108022$5EC50E86-8257-4EDB-A376-6206289A034D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"afca37ec283c436ac56ea7dfcea0bd6378181bac","datavalue":{"value":"justification logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5108022$97F96289-CD5E-477E-9503-26FAEF0621EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"db140566fc9035b2ce586225d779e513c4ef39a4","datavalue":{"value":"first-order logic of proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q5108022$37A4770B-1718-47EB-BE20-9A97ADFB54EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q5108022$18273C67-7264-42B8-B577-AB8246F3471D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"25b255b3f7f779539c5118a049f2680d4f791b91","datavalue":{"value":"epistemic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5108022$98E42721-B2A4-4AE5-9D30-D5AC2B46C395","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":"Q5108022$26EADDCB-F116-4B31-A005-97C3CD5DAAAD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6f5011e46d09aea17212c7d22ade70069b6fc06f","datavalue":{"value":"W3003930972","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5108022$AC0EA94C-8483-4648-A38C-E31C18C9BD4A","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"ff3facc81d4bd6a3335cb9b61d1276c72c196a69","datavalue":{"value":"Q126404311","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5108022$617F0541-0E49-4470-A1B5-B0D197BE4CA6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"67ba36f1dd1c45b6f0f5c153a80ce3fba49496e3","datavalue":{"value":"10.1093/LOGCOM/EXAA008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5108022$C4E4684D-4101-4641-B239-66FE044C3A97","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9e6aedf3faf6964e0bbb1663882629f007284aa9","datavalue":{"value":{"entity-type":"item","numeric-id":2983390,"id":"Q2983390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5108022$D57B677C-FACD-4B08-8218-9CB6DC4EDFBE","rank":"normal"}],"P1643":[{"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":"217dac95324221e77ecd1ce1c0d707a37b751e43","datavalue":{"value":{"amount":"+0.7645440101623535","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":"Q5108022$A9AA0DDE-15FA-4CF9-AF58-BD4136C4DEA9","rank":"normal"},{"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":"6df899377271bbb01d7abf594c28c91446ea8a16","datavalue":{"value":{"amount":"+0.7535595297813416","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":"Q5108022$A2A9E6FE-62D9-497F-B978-33D1EFCC1040","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d6d293412ec27137e9c499546b1328aad012c7d","datavalue":{"value":{"entity-type":"item","numeric-id":3133155,"id":"Q3133155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"56f1c715c339770172c8887396843c7a5d7753bf","datavalue":{"value":{"amount":"+0.7497105002403259","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":"Q5108022$5DF7DD53-62B8-4179-BFFF-66F9B2BA9BE7","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":"3cbae3335e65ccdbc19a9a398eef70b67ff6736c","datavalue":{"value":{"amount":"+0.7493996620178223","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":"Q5108022$71775EB3-C6CF-4034-B9B0-619DB6865146","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":"2ac0706c4ec5a90c8b0839f102bb91a8479ea06d","datavalue":{"value":{"amount":"+0.7484437823295593","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":"Q5108022$BB6BA567-64A1-4ECE-9E9D-AFAA09C72B71","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5108022","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5108022"}}}}}