{"entities":{"Q5082322":{"pageid":7111898,"ns":120,"title":"Item:Q5082322","lastrevid":54341624,"modified":"2026-01-26T16:22:45Z","type":"item","id":"Q5082322","labels":{"en":{"language":"en","value":"A proof-search system for the logic of likelihood"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7542735"}},"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":"Q5082322$9B25E8DE-9A54-423E-9307-14679C5BCE19","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8981c097a3e4f22bcb6a01f5b6c7af1bdca8686c","datavalue":{"value":{"text":"A proof-search system for the logic of likelihood","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5082322$153707B8-065D-4374-9546-EA78A9B0240C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0e8f5cff94e307932b18bc1056f724d6ebf8c6e2","datavalue":{"value":"1494.03070","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5082322$5B8EC27F-DD98-45EB-9A35-D4CE9F7E0CA6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3b417081ff3600658a3025bfda3ebccf222d36d2","datavalue":{"value":{"entity-type":"item","numeric-id":174447,"id":"Q174447"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5082322$E09A2DAF-931F-4B49-91BC-D3E3659149A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8b2613cf584ec54a9fbe1b2955f9ceb90b88bb35","datavalue":{"value":{"entity-type":"item","numeric-id":2106880,"id":"Q2106880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5082322$E9B7FEA1-9E70-4F91-8753-C163FA6F6657","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":"Q5082322$5BB206B2-85C6-404F-892D-9A0C9D087BFD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"580f0f96aeb8ad5d0ecf7e4b543854571d06dea8","datavalue":{"value":{"time":"+2022-06-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5082322$2333A207-240F-4062-907A-FA4920656B1E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"89a6721807d2106ad3a18783b4fcbc004e6a56c5","datavalue":{"value":"03B60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5082322$0F760017-F983-4220-960B-FB2F5B151D8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5082322$62DC97B9-8426-4F0D-AAEE-6AE3504B6AB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5082322$2D1AAA8B-5606-423B-8B66-E4CE5EFB97E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5082322$B7F7419C-3717-4E48-8A67-9EA9F7847524","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5082322$293345D3-6EEE-4A76-A624-2829E61EFAE2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5a217eabfde654ce5824cffe2ef9e37a0081e7ad","datavalue":{"value":"7542735","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5082322$E2A206C7-A5DE-4375-9FD1-DDA04525B734","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6971d452ec69d8711bd288f41e50aa76d5aea97f","datavalue":{"value":"likelihood logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5082322$BEEDD294-A3BB-4B6C-BC17-CA734EEBB105","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c7d4aa0d3cf1745112ae7d594a2a5578f4e767f","datavalue":{"value":"sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q5082322$80862EB2-9EBD-43FC-B2D4-B8D6108D8A37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q5082322$97B63972-543B-4EFD-839C-5CC9B4118605","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":"Q5082322$23FA4A7F-DDEE-4519-A9EF-4898FD1AAE66","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"878338c3a47cc6ed1aac74ba0648ca13643a6d1b","datavalue":{"value":"https://doi.org/10.1093/jigpal/jzz022","type":"string"},"datatype":"url"},"type":"statement","id":"Q5082322$C307A778-BB89-47F5-819A-D9632BE63BE8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4a7430fc64b926cd3d1957436541fc83db0fc208","datavalue":{"value":"W2964501316","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5082322$78D765D0-FB00-43AA-9807-789719D7AE09","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"211866419ab481ac77da8eed361e758e82166817","datavalue":{"value":"Q127941723","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5082322$62EDA485-75BE-490E-AA6F-EC0B3774E2BB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6e4a00e2acbb149b7b580a3742dbb5e4e13d5310","datavalue":{"value":"10.1093/JIGPAL/JZZ022","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5082322$DAF5AF85-3136-4A77-A4C9-32DCAF1DA6AD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fa454e85d3708476fe371a4b7fb6e36471a67c96","datavalue":{"value":{"entity-type":"item","numeric-id":3607556,"id":"Q3607556"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1a0072602b63d2038bd90fe471cc31b6fb15db99","datavalue":{"value":{"amount":"+0.8170987963676453","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":"Q5082322$AD38B155-1375-4D85-918E-55D2C76985AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b56ee141954bbf6c817bc640da91cfb1cbc2eaab","datavalue":{"value":{"entity-type":"item","numeric-id":2571505,"id":"Q2571505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"22e691008b4d3f3678b3595d49f0e0f5d77dc317","datavalue":{"value":{"amount":"+0.7651956081390381","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":"Q5082322$576C223E-292B-4236-82E9-B98DD17D4B4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7a230dd121006c29a2475387674c3555e58ff728","datavalue":{"value":{"entity-type":"item","numeric-id":1090326,"id":"Q1090326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2a9afbcb3ae6d3be3042d82171a14f0941bd6281","datavalue":{"value":{"amount":"+0.7643733620643616","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":"Q5082322$1625835B-47F1-4812-94CC-B867C7AB44E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d1a2d94be668875189f245cbbe7609e8006d2dd2","datavalue":{"value":{"entity-type":"item","numeric-id":3133161,"id":"Q3133161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f9488cffa4884da7d01f04e133d0e504bbd39bfb","datavalue":{"value":{"amount":"+0.7560736536979675","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":"Q5082322$566190AD-C345-4D37-AF4D-4B84DEFF5959","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ddba683a0a851f93146231b32ed157398d5368f8","datavalue":{"value":{"entity-type":"item","numeric-id":2446684,"id":"Q2446684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"64ec61043c38943ef11c777c9286680c86c257be","datavalue":{"value":{"amount":"+0.7520198225975037","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":"Q5082322$92E815EA-3A4E-45AA-869B-405434F8A054","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5082322","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5082322"}}}}}