{"entities":{"Q1928821":{"pageid":1939563,"ns":120,"title":"Item:Q1928821","lastrevid":78392705,"modified":"2026-05-06T11:29:04Z","type":"item","id":"Q1928821","labels":{"en":{"language":"en","value":"A propositional probabilistic logic with discrete linear time for reasoning about evidence"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6122045"}},"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":"Q1928821$31252FF4-FED5-4465-B6DF-85C540ED71D6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f70c88086b26739295b9c76e71456c48f2bcee5f","datavalue":{"value":{"text":"A propositional probabilistic logic with discrete linear time for reasoning about evidence","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1928821$39A423FF-F8FD-446B-A96E-ADDE06A90BFA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3f4dd703c05877e3d6627e586720997b3a983e5a","datavalue":{"value":"1269.03033","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1928821$0CE2FBCE-2B1B-4B60-B869-72B50FD8E383","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5417c9d5a8d8b91df0e65b2ef01613f52beebd6a","datavalue":{"value":{"entity-type":"item","numeric-id":465580,"id":"Q465580"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1928821$EB133FE4-A8D4-49D9-A21D-484805952063","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"01049baa7cb1224f09687f350e395a4253a96763","datavalue":{"value":{"entity-type":"item","numeric-id":991002,"id":"Q991002"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1928821$84A05064-0C59-4489-8AA3-C40F9D43DA71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d820429f3140e7d009f4438f62b787bd7ca023b4","datavalue":{"value":{"entity-type":"item","numeric-id":465582,"id":"Q465582"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1928821$1640B734-7836-4262-94E9-1C4CCACF9B49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6e0bda7cdf92664a4bee0c3f7686e4c4dfbc6bfe","datavalue":{"value":{"entity-type":"item","numeric-id":991001,"id":"Q991001"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1928821$87F27E03-1DFD-4736-99AE-4DBE106B74E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c95639eea9749b2381c312d72fb0dced146c214e","datavalue":{"value":{"entity-type":"item","numeric-id":465581,"id":"Q465581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1928821$E1773B0C-E966-4F07-A27A-8C32B1120E57","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7346dc34d1d50fea46ec345fbc7e3214530889ab","datavalue":{"value":{"entity-type":"item","numeric-id":276517,"id":"Q276517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1928821$BD2B2F31-BAFB-4ABB-BBFF-2CB2E51235D3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"00fb69b194d982fde28d3d5572b874a8dce55175","datavalue":{"value":{"time":"+2013-01-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1928821$3AC37A86-67F9-4A8E-A0B5-4BD41060CE1C","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"752aee4a9945eeee9993524f3a6f21c2613d885f","datavalue":{"value":"The introduction and Section 2 of this paper are devoted to setting this paper in a wider context. To this end, the authors trace the combination of logic and probability back to Leibniz, Bernoulli, Laplace and other great historic figures. For the purposes of this paper the most relevant modern-day work is one of \\textit{J. Y. Halpern} and \\textit{R. Pucella} [J. Artif. Intell. Res. (JAIR) 26, 1--34 (2006; Zbl 1182.68244)] which contained an open question. This paper is aimed at answering this question.\\newline In Section 3 the authors introduce a propositional logic which allows reasoning about evidence, prior and posterior probabilities, for which they define syntax and semantics. For a deducibility relation with countably many deduction steps the authors prove that the introduced logic is strongly complete.\\newline The fourth section is devoted to a propositional logic for evidence and hypotheses that is enriched by two temporal operators, one operator for ``next'' and one operator for ``until''. This logic is shown to be sound and strongly complete.\\newline Section 5 contains the conclusions. Here the authors explain why their completeness results required infinitary inference rules by considering the example of polynomials of odd degree over the real numbers.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1928821$A8FD0B8D-F70C-4651-824F-F8C7A32D7880","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"c99d7bab7860e6ef95ce58f09e3829be39b50561","datavalue":{"value":{"entity-type":"item","numeric-id":280545,"id":"Q280545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1928821$DCB582FE-645C-453A-AEC8-882EA57DAFEA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1281dd6b9c4f62144bc68cb09edbb6fe30760a8f","datavalue":{"value":"03B62","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1928821$7176D277-089D-4DC5-BD1B-3A3FED808BBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1928821$0084DC3A-0E97-42B7-8C7C-084ACA97F6C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1928821$60EBA164-7456-4B0C-82B4-F96838571CB1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4b01bcd0fc3c05ca5b23771dfaf1e495796a4a51","datavalue":{"value":"6122045","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1928821$409BCA00-6436-41D3-8E6F-F3FFD5E5E49E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fd90b10c86bcd3a1ea00e5a723ecbd3727c10897","datavalue":{"value":"strong completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q1928821$9A7704E4-E64F-4644-AB87-72EAEEE72A6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1928821$661D5CDB-DF4D-413E-9516-167E0BACD2DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"639912d39561777c9f24eec80a9240f4cb2e5c52","datavalue":{"value":"probabilistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1928821$DA90E640-096D-4478-A14D-FBF3D119A4F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"024a4379c140f76d96323155b280ede0043f4e5d","datavalue":{"value":"evidence","type":"string"},"datatype":"string"},"type":"statement","id":"Q1928821$7B96520D-5BA3-41C6-A50E-7C79FD4DEAE3","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":"Q1928821$CA27A620-6423-4E20-87FD-7041BEDE32B7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"eb8f88a545b371be81a879224e263d5417833f64","datavalue":{"value":"https://doi.org/10.1007/s10472-012-9307-9","type":"string"},"datatype":"url"},"type":"statement","id":"Q1928821$BD5C719C-5E8C-4179-BAA0-3568E0FDE234","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f419d7e0930beb27aa543c539cced989ef1acf42","datavalue":{"value":"W2011593799","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1928821$6F84FBE0-7A35-4D2A-A09E-33C807564CCE","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"306e12a9cf0eda54a3cc4a9ea9a5f408097e0e07","datavalue":{"value":{"entity-type":"item","numeric-id":1118578,"id":"Q1118578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1928821$5FE1E5C9-33FA-4458-B5F1-ABD2C299BA7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a7481ef5e177e83da292ab9c46c04191734ec10","datavalue":{"value":{"entity-type":"item","numeric-id":913784,"id":"Q913784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1928821$102EA099-8E16-4573-B403-CFBCAEFAA452","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a38caeb656a3b05239fb1e8e281f9c0f328a152","datavalue":{"value":{"entity-type":"item","numeric-id":809066,"id":"Q809066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1928821$829BC456-141A-4D49-84AD-4260AC1ECAEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"05526e0b2bde4731559c71c12fdf9eda58a51464","datavalue":{"value":{"entity-type":"item","numeric-id":4929426,"id":"Q4929426"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1928821$90D257E0-E755-41EC-BA48-EDC8FCC0C9F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"120c8e41431895a309f8ef32cac52a772f33d796","datavalue":{"value":{"entity-type":"item","numeric-id":4385542,"id":"Q4385542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1928821$FFD99610-D14F-49C1-AB20-1BCC619CC287","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2cd56f820547becaf1640ba57e415b67b2dccf11","datavalue":{"value":{"entity-type":"item","numeric-id":3766825,"id":"Q3766825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1928821$81A129DF-CA81-463E-8F3A-901D829D38ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"93f7e9b51624f25e880af792c7f9d74c82f45335","datavalue":{"value":{"entity-type":"item","numeric-id":3722471,"id":"Q3722471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1928821$46724F53-90FA-4172-8D59-C2DF94A997C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9f21257d8b20ccfecd3db595afbc8b2e1a0a737","datavalue":{"value":{"entity-type":"item","numeric-id":3835817,"id":"Q3835817"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1928821$302B04B0-1CF6-40BC-B014-D592C6204D76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5cf44227e8b3fc23a0ac076e5ebe6ca74f6f731f","datavalue":{"value":{"entity-type":"item","numeric-id":1813497,"id":"Q1813497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1928821$498B79AD-A8E2-4D0B-AF30-40C4C484A8BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7dd70c6bffef5c0db0316b47326964a0112676e0","datavalue":{"value":{"entity-type":"item","numeric-id":4451078,"id":"Q4451078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1928821$0A1165D5-5162-415F-88DF-C812F231E2E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"69e202dbff8ff85fccaf6c1f113c1fcf8161e0c4","datavalue":{"value":{"entity-type":"item","numeric-id":3432004,"id":"Q3432004"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1928821$7972D13F-28ED-4F7C-BD82-E20DAB0AEAD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"006e9108963dd240af39bc9c364ba6322b042ad3","datavalue":{"value":{"entity-type":"item","numeric-id":4368723,"id":"Q4368723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1928821$E63762FE-B945-4218-A4B0-0560F4008ADB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"615ff70f625757121e9c2d70f2bbde4e34f4ceec","datavalue":{"value":{"entity-type":"item","numeric-id":1193475,"id":"Q1193475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1928821$7F44474A-3AEC-49EB-BEE1-343E893A749B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc4647b006d147eeee2b86c622042462c53ca095","datavalue":{"value":{"entity-type":"item","numeric-id":3624009,"id":"Q3624009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1928821$C4CCED34-AF3D-4754-81C5-1BBCE2D651BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9aa29e9e740c19985d519723a7803e882198a6be","datavalue":{"value":{"entity-type":"item","numeric-id":4175264,"id":"Q4175264"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1928821$0B129CE4-40E3-4735-8518-97E338CA919B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"327e22cdbec50bf131b896e644033f99765d79a8","datavalue":{"value":{"entity-type":"item","numeric-id":1389439,"id":"Q1389439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1928821$2EE35361-7C60-43D3-BD1F-1B49CE2D5C87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bfedd2c761b3fb7576c08b264508fc6ee6706256","datavalue":{"value":{"entity-type":"item","numeric-id":3856756,"id":"Q3856756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1928821$7159B3E2-E9C1-457B-A4E1-312B604372A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d55d9d717b6dd928ca51f3a56f3933f99738e0a9","datavalue":{"value":{"entity-type":"item","numeric-id":4444910,"id":"Q4444910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1928821$4301FDD2-1135-479D-B9A5-9C84EC2C8250","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d79e5414603655c386b0938a096d52dca5eb3b69","datavalue":{"value":{"entity-type":"item","numeric-id":4815848,"id":"Q4815848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1928821$F9F76CDA-AC79-4A14-9FA3-C0668C770855","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e8bc6627635c436dcd562e9662052656a8c07a4","datavalue":{"value":{"entity-type":"item","numeric-id":1073782,"id":"Q1073782"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1928821$F2110CF2-1003-457E-A512-40066DC8A63A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a669e1470fb21d71efeabe461471bb35d4d5a124","datavalue":{"value":{"entity-type":"item","numeric-id":4806141,"id":"Q4806141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1928821$6CFB889E-7102-44E5-BEEE-50B61DBE183B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cba79d149ec94acade6d4c33000c0b33f237a8ba","datavalue":{"value":{"entity-type":"item","numeric-id":2913981,"id":"Q2913981"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1928821$F31C0564-AD4B-4505-AE49-0008326A2C5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de29c69e13453c9065f2e21a7ff425da01b8640d","datavalue":{"value":{"entity-type":"item","numeric-id":5450397,"id":"Q5450397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1928821$271FCE6C-BBB7-4E7E-9557-D67C76D2EB5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e8e82940fe0cfd6742dc0f9927cb999c30236c2","datavalue":{"value":{"entity-type":"item","numeric-id":5477458,"id":"Q5477458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1928821$342388AD-568B-43EA-92BD-4D1ACAE5E68E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"caa412e33f39e5ffe362a3975f5bb22736868421","datavalue":{"value":{"entity-type":"item","numeric-id":3069416,"id":"Q3069416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1928821$5CA88F3D-7DA8-4B44-BE9F-3C7C0ACDED92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ed450d5b8ececa4cee055566c9113251eed8a1b","datavalue":{"value":{"entity-type":"item","numeric-id":5445304,"id":"Q5445304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1928821$8B2A2236-BF4D-4B3F-BB86-24C3F722D7E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"35e807ca0d12053bab51b75bb8a7e28c523159aa","datavalue":{"value":{"entity-type":"item","numeric-id":3246315,"id":"Q3246315"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1928821$DE5726B6-D2A5-4B43-80AA-8D069812DC65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a1602705b5b12aca3713099f929985b6562bd2a","datavalue":{"value":{"entity-type":"item","numeric-id":4296345,"id":"Q4296345"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1928821$5A83464D-AD0F-4AB5-A41A-920FF822BC2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c16cc9c52a2ae689750a2225b6b0cec9a670e27d","datavalue":{"value":{"entity-type":"item","numeric-id":4795396,"id":"Q4795396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1928821$9A37BE08-995D-455D-B187-CFE58C655ED6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f11b84dc227737a49d44351c1d031bfc5c62a407","datavalue":{"value":{"entity-type":"item","numeric-id":2379314,"id":"Q2379314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1928821$7A9D7868-4471-406A-A89A-7A2D54B58C72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6440aa6eb5d414713f792f7d809d5508c4bdc0ba","datavalue":{"value":{"entity-type":"item","numeric-id":2758043,"id":"Q2758043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1928821$A0E96247-08CA-45AA-A86B-94735E245630","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":"Q1928821$5D733795-3123-4929-81C2-17FE16F3360F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a4465c02bea5988f20c006f6d1d696e153c8275c","datavalue":{"value":{"entity-type":"item","numeric-id":3965387,"id":"Q3965387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1928821$353F4814-E372-4DC9-A6DF-3BC06DF7F56C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7f09b53b7c446f5ba60a17b5b11a35f4dcc7ac0","datavalue":{"value":{"entity-type":"item","numeric-id":1188997,"id":"Q1188997"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1928821$06379D9B-B3C5-446F-A915-89B853DAEA23","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d5710bc25fc41415e1aa08ce9e0df69809c42a18","datavalue":{"value":"10.1007/S10472-012-9307-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1928821$0C4C210E-E107-4406-8D2F-D3E3EAEDC6C6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ca9e7fb24370ffa19a66ab73efaf49c0c2bfc222","datavalue":{"value":{"entity-type":"item","numeric-id":3429441,"id":"Q3429441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ad7fe24a31698a0fe054f5625622b8ffa767399a","datavalue":{"value":{"amount":"+0.8705057","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":"Q1928821$6A13F182-C93E-4AC0-BEAB-8AF9DE32209B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"202e1d0c2d37c34510d4f32b3171724105a95157","datavalue":{"value":{"entity-type":"item","numeric-id":4327368,"id":"Q4327368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"346a55a76cca8717b83a035879f1247aa30a3c85","datavalue":{"value":{"amount":"+0.8688614","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":"Q1928821$4C34AD86-CA16-480E-9313-2E1F83AE2ECA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e2bfd9eaf3a3925e3ff5e806d3ea0248b83358e0","datavalue":{"value":{"entity-type":"item","numeric-id":5424861,"id":"Q5424861"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"056132dd266a7bd840b5118e2d7419d1a68daf8c","datavalue":{"value":{"amount":"+0.85243016","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":"Q1928821$AEE94B89-D1DB-4EEA-AE92-56B05F7274E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f4c4def492e721a14a13a24f6f5054caae5d1018","datavalue":{"value":{"entity-type":"item","numeric-id":701749,"id":"Q701749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3cbf5d81cc489d7588a2701e1826fdebedf65e4a","datavalue":{"value":{"amount":"+0.85195214","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":"Q1928821$42F7FDCB-DFEE-4DDA-88C0-7AC83FEAB130","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0d11428e205c3762b00b75dc630ad192daf8de45","datavalue":{"value":{"entity-type":"item","numeric-id":4532050,"id":"Q4532050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ef06d3c6a3c07e570a31c1979f202e05b8512574","datavalue":{"value":{"amount":"+0.8504213","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":"Q1928821$8D7C69AE-F942-4A04-98F8-C4295DABA5AE","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":"eb6b4062f05fd8c9077829507ca34026153e290b","datavalue":{"value":{"amount":"+0.8469246","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":"Q1928821$65B23728-18B1-4D14-AC61-E918487ED2E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ea8604dd65ee8dd3e6d7e49b32f669fc58410aac","datavalue":{"value":{"entity-type":"item","numeric-id":3105881,"id":"Q3105881"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e544b3c40ee2e61eb4c742aa8b7d4a1b8f77f002","datavalue":{"value":{"amount":"+0.8447646","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":"Q1928821$550B4501-9AF7-4A16-87EE-5A6E0F35DC9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"501a90e9bc76e7cbec962e30f9dbd4a0276b7ec3","datavalue":{"value":{"entity-type":"item","numeric-id":3624009,"id":"Q3624009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3c76392600668ec1890f7d3d35955dc44e64564d","datavalue":{"value":{"amount":"+0.8439345","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":"Q1928821$4510FC68-A1A2-474E-9B52-843C67074483","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c8097ce482330416318442af96690b03c98332bf","datavalue":{"value":{"entity-type":"item","numeric-id":2867531,"id":"Q2867531"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e0168442e303bb0303e2f8a04535aa0e5e5edfd0","datavalue":{"value":{"amount":"+0.8430121","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":"Q1928821$D30F050B-0D04-4A2A-AB5A-C40A144FB544","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A propositional probabilistic logic with discrete linear time for reasoning about evidence","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_propositional_probabilistic_logic_with_discrete_linear_time_for_reasoning_about_evidence"}}}}}