{"entities":{"Q1090326":{"pageid":1101078,"ns":120,"title":"Item:Q1090326","lastrevid":66905559,"modified":"2026-04-12T13:38:34Z","type":"item","id":"Q1090326","labels":{"en":{"language":"en","value":"A logic to reason about likelihood"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4006237"}},"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":"Q1090326$635A5F53-D6B2-4701-9B06-95542453DCA7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0e9e84c6565dfbd20a9f5617e312755bce3429e4","datavalue":{"value":{"text":"A logic to reason about likelihood","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1090326$B9EB3CBB-15A9-4254-AC02-1C870F64520E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d706b4cd9b3c5b0376c67bec27d5d90c53c090c0","datavalue":{"value":"0621.03011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1090326$19B01F61-DEC5-4A3D-8FEA-826510789F10","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"eb0ed92822c2c0d517bf031a18fd6311d1b1d3c0","datavalue":{"value":"10.1016/0004-3702(87)90093-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1090326$2168B340-F472-4017-8FA8-C8E3EA8F4C21","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ddea5ba0eeb9138fb9e2a8de5e2cddb8c80bf84a","datavalue":{"value":{"entity-type":"item","numeric-id":272148,"id":"Q272148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1090326$0B71C817-D4D6-4085-8FEF-9E96F3E0E3A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"41a6ceea60edeae77a252d717ec1705b5a0654a2","datavalue":{"value":{"entity-type":"item","numeric-id":208759,"id":"Q208759"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1090326$511C3F98-0EAD-43D8-8498-FC2D942EFFB4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"984e6510ec40a363d20e607cce2cc2f8b07918ae","datavalue":{"value":{"entity-type":"item","numeric-id":72340,"id":"Q72340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1090326$659D33F1-5016-4999-89EB-EAEA7132A262","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5ae48c61eed19d1e1e1f33f9255d5b329362d064","datavalue":{"value":{"time":"+1987-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1090326$524C2213-8834-4644-95E0-834A4F0521B1","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"b12bcaddd7a1f227cad218c8d317a49760d6f0d0","datavalue":{"value":"The modal system LL considered here has S4-necessity G, T-possibility L and axioms and rules for these connectives as well as implication Gp\\(\\to \\sim L\\sim p\\) (G is stronger than L). Yet another modal connetive \\(L^*\\) (iteration of L) is characterised by the axiom \\(L^*p\\leftrightarrow p\\vee LL^*p\\) and the rule (\\(\\sim p\\to \\sim Lp)/\\sim p\\to \\sim L^*p\\). Completeness proof and exponential decision algorithm (for the language without \\(L^*)\\) are given along the familiar lines. L is interpreted as likelihood and it is claimed that the logic might be used in areas such as medical diagnosis where decision making in the presence of uncertainties is crucial. A lot of place is devoted to the proof in the LL of correctness of some aspects of a protocol for exchanging secrets.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1090326$191C55E9-4F74-403D-8A72-1242939E9E62","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1090326$2549EBB6-C0D4-43DF-B269-E2F957563CC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"85991e41d5921c9f733fe99d088c198a921df086","datavalue":{"value":"68T99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1090326$7B4FBADC-4872-44C7-9FC0-60B1A9F355FD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c4cd105bd65866d2042ce144c801ac0b9fbebd75","datavalue":{"value":"4006237","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1090326$FB2BD00A-CC62-47FF-973D-2639F6AB879B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1090326$8EE54A97-5C36-44BC-8BAF-02FC337C7316","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"67bdd8b4d9880f71271f1396ea51cc907888491b","datavalue":{"value":"modal system LL","type":"string"},"datatype":"string"},"type":"statement","id":"Q1090326$6CD3CB98-34C6-4D63-8B23-82DA8E685AB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b50c07c8d998cc3776060af90d1e458b673c42f","datavalue":{"value":"likelihood","type":"string"},"datatype":"string"},"type":"statement","id":"Q1090326$0C253FBE-4005-4755-B1F4-DA0D6A8E044C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7d6011562d26ec5d185f4459b8edce4d84c1ccfd","datavalue":{"value":"decision making","type":"string"},"datatype":"string"},"type":"statement","id":"Q1090326$A0D01DAD-3EA6-4A00-9EFC-680FC36C84EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f7e573f052e30ea678f5777f1243d1b7517c4d88","datavalue":{"value":"protocol for exchanging secrets","type":"string"},"datatype":"string"},"type":"statement","id":"Q1090326$94729707-79B5-4F0B-96F7-5727DDFC3E1D","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"8f432bccb81d11b6d0c5be5373ba82abf19c1967","datavalue":{"value":{"entity-type":"item","numeric-id":454365,"id":"Q454365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1090326$5F1FEBEE-78EB-4C99-B369-FC5CD44A5BD7","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":"Q1090326$CCD19DF1-AE97-4F4D-9DC7-4F5B4143FBB8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2e3f76de094d59fad54b87b8d896c07f528c5382","datavalue":{"value":"https://doi.org/10.1016/0004-3702(87)90093-2","type":"string"},"datatype":"url"},"type":"statement","id":"Q1090326$20DD1C0C-C7CF-4295-9975-B1DDF4C24ECA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"18fe5c7bf970e7ea5a4d85e28928eff863f7888c","datavalue":{"value":"W1974554384","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1090326$4FCC7137-7ED9-4608-9F80-B00D9366BFEF","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3cd835cd92b4ffb8a8dc9181c7068cd47877b025","datavalue":{"value":{"entity-type":"item","numeric-id":2265816,"id":"Q2265816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1090326$53CD9122-5666-444E-8CFD-367BBBD7E4C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47c57a1bc98a9d819c8c4b25347f0c45d96256b1","datavalue":{"value":{"entity-type":"item","numeric-id":1258296,"id":"Q1258296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1090326$9B8ECAF5-1037-42FF-8454-74A849B54FF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03feedd119ac8e7cc6676af3e477f6e932eca85f","datavalue":{"value":{"entity-type":"item","numeric-id":1221746,"id":"Q1221746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1090326$780B5496-1813-4934-905C-DAA3B83385FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e17da60b7f6b4e22bbe7045d12697c8bb0702b06","datavalue":{"value":{"entity-type":"item","numeric-id":5604443,"id":"Q5604443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1090326$E13E8A85-BF05-4878-BFEA-61ACEBF5F69B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e12ce99e75f00697efa1f5f9afd862b773370cf1","datavalue":{"value":{"entity-type":"item","numeric-id":1147690,"id":"Q1147690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1090326$7939B1A1-3091-4EA4-83D5-A9FE9C7BF815","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b5d86b3b2e305f22a4acc54ca3b563db317be7a","datavalue":{"value":{"entity-type":"item","numeric-id":4190096,"id":"Q4190096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1090326$0897E403-FC24-4C02-B3F6-275485E3923A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"94855211e231eaafec4a6b9936fa50c3f6c921ce","datavalue":{"value":{"entity-type":"item","numeric-id":3933791,"id":"Q3933791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1090326$2E252207-0A9C-4FE7-A77B-0C2C7D5CDF4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ecc8e898145b783212e800ad1bc88bc9c62fc6a6","datavalue":{"value":{"entity-type":"item","numeric-id":1140441,"id":"Q1140441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1090326$781376F0-3E78-4425-ABE4-43D2FB729B74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9937d4837697e064bb7e99e900e5f892e414db0e","datavalue":{"value":{"entity-type":"item","numeric-id":1157284,"id":"Q1157284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1090326$2A0E61E0-4262-4893-B461-4F87002E535D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c705a01dbc91dce78e17db73f8efa7b75adf0e11","datavalue":{"value":{"entity-type":"item","numeric-id":5565085,"id":"Q5565085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1090326$E9E2D3A3-42FA-4A68-9B38-0D55BFEBDDCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a4e10b4f29a81fca6ef84c43e9249a3d4fba6ae","datavalue":{"value":{"entity-type":"item","numeric-id":5636857,"id":"Q5636857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1090326$6B85F43C-36F6-4378-A6D7-A19BB2F538BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f14eb8195ba689496e0f7a277b1ccd5afd585ffd","datavalue":{"value":{"entity-type":"item","numeric-id":5628089,"id":"Q5628089"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1090326$DF0E0545-6B0A-43EA-B680-BF1A0755E7C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba9899ac3711a0ba7eaa5b54b87f5ebafbb4562e","datavalue":{"value":{"entity-type":"item","numeric-id":4131415,"id":"Q4131415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1090326$ADB97A96-1855-4991-9A27-651DA7010A2B","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":"Q1090326$39BA9CC4-BA02-4675-912D-663B27F413CC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"882ed5f9a0512b07936ab2c2362ea3395abc1961","datavalue":{"value":{"entity-type":"item","numeric-id":3123584,"id":"Q3123584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"820aafe054361ef13d42e085a589cdc9e52b5ee3","datavalue":{"value":{"amount":"+0.9522145","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":"Q1090326$76F0725B-3F7F-4589-B9B8-0AC2724C436E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f8d3f4275cbc944e20433913463cfe62b490e705","datavalue":{"value":{"entity-type":"item","numeric-id":1813497,"id":"Q1813497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"02902d81c33446ced437d204e132c7861bbe8048","datavalue":{"value":{"amount":"+0.9484013","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":"Q1090326$26D2AE12-88D5-4500-A1A9-5FCDFDCB02B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"744e91ffe903f36e4bb26c1e39bae975d124383f","datavalue":{"value":{"entity-type":"item","numeric-id":4411135,"id":"Q4411135"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a3c48d0b7d9ecdedfce981636c30e39607cde3cb","datavalue":{"value":{"amount":"+0.91603065","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":"Q1090326$B93C2C3C-1AB7-4EE2-970A-4A54811A8B73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9375e50cce69372a1f98cc62de7f06b12fb60540","datavalue":{"value":{"entity-type":"item","numeric-id":3357948,"id":"Q3357948"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f0e55c8ea51ca543519c2ece0a277ae6a65b5b8a","datavalue":{"value":{"amount":"+0.91338086","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":"Q1090326$F17174EC-A268-4225-B86C-801038E3D315","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d5a72e30b0cc3f4015bd512fe7ffe97db48a84d1","datavalue":{"value":{"entity-type":"item","numeric-id":5575530,"id":"Q5575530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ad66a15fd9d3a110dd5d4608562d2f08e02a1780","datavalue":{"value":{"amount":"+0.911059","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":"Q1090326$AEF5AD3A-F348-409E-A217-A2C8A28BE523","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"337c311c8c7808f5c861a9cc09a4fd3aa40b92a0","datavalue":{"value":{"entity-type":"item","numeric-id":798650,"id":"Q798650"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c0e7f6d48311c423fb55852b1745653ea8b610fd","datavalue":{"value":{"amount":"+0.9110589","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":"Q1090326$7DA451A3-1535-4995-B97B-FDE0F1557BB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aec5f8deb83681cbf0fea895bffdd2033b100de0","datavalue":{"value":{"entity-type":"item","numeric-id":3069416,"id":"Q3069416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e12c029fb3edbd2720bf6dc1d8497d54d274aa9a","datavalue":{"value":{"amount":"+0.90719104","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":"Q1090326$C4DE8237-BE9A-46D2-8472-B37D5D41BE38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e37850e233d0e35075e9943d8d6fc87fe48f77f3","datavalue":{"value":{"entity-type":"item","numeric-id":5705709,"id":"Q5705709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5ef8a07237cf037a2250c958f612e33b59ce6dc0","datavalue":{"value":{"amount":"+0.9053413","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":"Q1090326$1DFB71AE-E648-4DF8-8FC1-1BD04A3E6C78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b3c9197981fcce53a48ae4624514284336ad2c90","datavalue":{"value":{"entity-type":"item","numeric-id":5396482,"id":"Q5396482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"77dfb531cc550c776a983da1cb0642ed93e6701d","datavalue":{"value":{"amount":"+0.9037331","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":"Q1090326$D4F808AE-E130-4448-9A33-34DCFC3CBD6C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A logic to reason about likelihood","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_logic_to_reason_about_likelihood"}}}}}