{"entities":{"Q2914029":{"pageid":2924749,"ns":120,"title":"Item:Q2914029","lastrevid":51559592,"modified":"2026-01-18T19:05:36Z","type":"item","id":"Q2914029","labels":{"en":{"language":"en","value":"A logic with conditional probability operators"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6085343"}},"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":"Q2914029$B6ABE190-78AF-4B35-AE3E-C5FE2D6493B1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"360d0b94aab2e589f1377f18dcb7d2ec0701529c","datavalue":{"value":{"text":"A logic with conditional probability operators","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2914029$E3799CED-F842-4751-8BEE-BA0797DC266D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"46cece8aa1c135512ffa3583f95bc405d4a12ae6","datavalue":{"value":"1265.03010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2914029$AFD8F3AE-1587-4284-8945-92862A6DC93C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"142e5946b06771c8116ce9dc4619409ad1a118a7","datavalue":{"value":"10.2298/PIM1001085D","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2914029$C71B6C7D-54A7-48B0-AC39-D6BE47BF83B8","rank":"normal"}],"P16":[{"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":"Q2914029$DAD2B5B9-6E25-49F7-957D-653C573D8A85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"243fa58401b31cb4d26112d8c1eb628c5571af23","datavalue":{"value":{"entity-type":"item","numeric-id":1757157,"id":"Q1757157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2914029$E9FB93A3-67FB-4215-939E-5F8D7C05ACE6","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":"Q2914029$ED2BD076-AC16-4B69-B44D-584059829490","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9c5e231b3dbbc5d1bd2f4dc979442fdd78789897","datavalue":{"value":{"entity-type":"item","numeric-id":6771347,"id":"Q6771347"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2914029$63318916-CA89-47F0-BB9E-08FB1D0DA9F3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9be54b5bf8411b172b987b968e66cf4985f4b2f8","datavalue":{"value":{"time":"+2012-09-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2914029$800B9433-943B-47EA-8059-45D62AAE0F9E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0e3678c4c27859448aaf57c0c464a06d6cc1a175","datavalue":{"value":"03B48","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2914029$7A14A15E-3B69-4DEB-A15E-D451D84DDE71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2914029$10A04CF7-A872-495F-90EA-73C7442C6981","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"19e8b53914fe36a939b2f687be46776db2609217","datavalue":{"value":"03B42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2914029$93B3328D-F319-4E67-999B-DAB079A6AE2C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9e15a462ec589e232f226905a7f45e486ae06be7","datavalue":{"value":"6085343","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2914029$CE68B36E-5E23-425A-8DCB-8D8A517B0D88","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"669e1ab0be3b0e96a51a2ef7e433c212210f37a0","datavalue":{"value":"completeness theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q2914029$56DCE78B-7D2F-47E0-A7E3-A3C655960588","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2914029$507B06DC-FF67-4B6E-A0B3-4C12A7E058CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f202a006760bf9623411a284624cf51b1aca34d5","datavalue":{"value":"PSPACE-complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q2914029$ED859DB1-631A-45A5-85E1-E877CF2C5C87","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":"Q2914029$E6CEB66D-641A-4C7C-B12F-370AC75903EF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4c8091195a9782d46b39ebfb8f806e4a3188b6b7","datavalue":{"value":"https://doi.org/10.2298/pim1001085d","type":"string"},"datatype":"url"},"type":"statement","id":"Q2914029$8EB2D249-D567-494D-8E6F-87942B874F6C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6945d820710f5b372b3cd84a7fd4826bfbbfd8e5","datavalue":{"value":"W1969478288","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2914029$C48B9487-1D08-45F0-BC86-DF0B064D57B5","rank":"normal"}],"P1633":[{"mainsnak":{"snaktype":"value","property":"P1633","hash":"dd5b513e6642ec86bdde698f27a30ba6d5c55b0e","datavalue":{"value":"bafkreihkk7yppxuswkgj5yvcqw4y3ayy4csz7qxqgmt6fdiagcacbu6n4e","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2914029$C8AD1576-2CEA-40F3-A875-7F7B20CA1B03","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"cee17a61fcff18bb7d8c3ada51d813b2f79bcdf3","datavalue":{"value":{"entity-type":"item","numeric-id":6486666,"id":"Q6486666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2914029$97AD49C5-EDE1-4E21-8E98-C0789FF4D8D5","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"dbcb213ae4b4acb658f462625918e197efca8668","datavalue":{"value":"The authors present a sound and strongly complete infinitary axiomatization of reasoning about linear combinations of conditional probabilities. The logical language is rich enough to formalize sentences of the form: The conditional probability of \\(\\alpha\\) given \\(\\beta\\) (in the opinion of Agent 1) is at least the sum of the conditional probabilities of \\(\\alpha\\) given \\(\\gamma\\) (in the opinion of Agent 2) and two times the conditional probabilities of \\(\\gamma\\) given \\(\\delta\\) (in the opinion of Agent 3). Decidability of the logic is proven. The corresponding decision procedure is in PSPACE (in the case of only one agent).","type":"string"},"datatype":"string"},"type":"statement","id":"Q2914029$B19B9228-0A91-4115-88B0-B48353D06E14","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"05e027a2984bed7181ae7906e6be0e1d4620880d","datavalue":{"value":{"entity-type":"item","numeric-id":5473754,"id":"Q5473754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ea179d6a92f3fb295029d4a73215e8d1f1946865","datavalue":{"value":{"amount":"+0.9037634134292604","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":"Q2914029$945981DE-B783-4F46-9365-1F6FE7F58837","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1df1656a60b561e16fcf32135a34e02bf50afd83","datavalue":{"value":{"entity-type":"item","numeric-id":3510452,"id":"Q3510452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"055b2f8c8f2e824814dd84066e05519040ee8e87","datavalue":{"value":{"amount":"+0.8874147534370422","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":"Q2914029$1D2593E5-B824-4909-9204-949AD523882A","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":"faaf6c45300d850f7f10e3c5dd4513f650077a8e","datavalue":{"value":{"amount":"+0.8765107989311218","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":"Q2914029$3E9606D3-A27F-4E18-AF94-687ED3DA7962","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":"65da4e217a86db89a718a87d5ff6fa2142916cfb","datavalue":{"value":{"amount":"+0.8750889897346497","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":"Q2914029$22F36B8E-DA71-4A93-A902-FCFB05004A7A","rank":"normal"},{"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":"fe8bf3476a5425178dc8952c4e497a3b132bc6d0","datavalue":{"value":{"amount":"+0.8542299270629883","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":"Q2914029$3F72B46A-734F-4036-9D36-2A7686C28CC0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2914029","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2914029"}}}}}