{"entities":{"Q2413201":{"pageid":2423944,"ns":120,"title":"Item:Q2413201","lastrevid":57899010,"modified":"2026-04-03T00:23:19Z","type":"item","id":"Q2413201","labels":{"en":{"language":"en","value":"On probability and logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6857316"}},"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":"Q2413201$EE719BB0-D7D8-4C28-BC5A-06920CF26186","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"84f37c97a01f4a12b532ba882b122065e8b00c6b","datavalue":{"value":{"text":"On probability and logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2413201$32B0CB03-ECA9-4BA9-A57B-75E48F8A32FD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9cf81221fe80956fb2387e8fc4e64bb06169bdc5","datavalue":{"value":"1448.03015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2413201$C423B20A-67FE-4B28-A992-8394D34FAD31","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e6ab48cfe1d3d44e61aa4d78d4bdee0c596a5d7f","datavalue":{"value":"10.4171/PM/2007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2413201$042EEA9B-9F56-42EC-9F56-7A95EADAE794","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f0da1cb3a9fbcb78801361ca630307ed2635d6e0","datavalue":{"value":{"entity-type":"item","numeric-id":209011,"id":"Q209011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2413201$D516663C-FED4-4231-B287-B3D7D75B2DAD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ee62bc46b4dd3703fb531c7141fdf043716c9e15","datavalue":{"value":{"time":"+2018-04-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2413201$C0381C7B-B2CD-4B32-89B9-EC7A716FFE38","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"afb65a7a6fa8efd3575f04558778efaee545f546","datavalue":{"value":"https://arxiv.org/abs/1601.02915","type":"string"},"datatype":"url"},"type":"statement","id":"Q2413201$96F2C3C0-0382-45EF-B3F8-96CCA159720B","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"6c8805ceb4ae7e96c604a4aef930549e74203cf6","datavalue":{"value":"Summary: Within classical propositional logic, assigning probabilities to formulas is shown to be equivalent to assigning probabilities to valuations by means of stochastic valuations. A stochastic valuation is a stochastic process, that is a family of random variables one for each propositional symbol. With stochastic valuations we are able to cope with a countably infinite set of propositional symbols. A notion of probabilistic entailment enjoying desirable properties of logical consequence is defined and shown to collapse into the classical entailment when the propositional language is left unchanged. Motivated by this result, a decidable conservative enrichment of propositional logic is proposed by giving the appropriate semantics to a new language construct that allows the constraining of the probability of a formula. A sound and weakly complete axiomatization is provided using the decidability of the theory of real closed ordered fields.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2413201$9F3B7603-E914-49A9-994C-0874498D98B5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0e3678c4c27859448aaf57c0c464a06d6cc1a175","datavalue":{"value":"03B48","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2413201$A64AC26B-790A-4D8F-82F8-F00DF4EFCE57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a1373a717bfc3e3784e6515ac9067b607bc64de7","datavalue":{"value":"60G05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2413201$8ED03038-C0C3-41B9-8E70-CEC3115D0065","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2d94d46d785eca76ec92730a6b637a231d16c833","datavalue":{"value":"6857316","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2413201$B5DCE6B1-8192-495F-9CE8-81E56CF6CB8A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d8dc02addc53ba075a5d4e6cd74aff4775b28050","datavalue":{"value":"probabilistic propositional logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2413201$FC071E80-B4ED-4E41-8D66-3AD6EB887CC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d9fc8255417e84f42a46b847f55e6fb3bc1857bf","datavalue":{"value":"stochastic valuation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2413201$FF3C13E9-0B05-47C5-8D56-49976C83A26B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1eef7b2d88ba82c0f000922dc8f97d0f19e44936","datavalue":{"value":"probabilistic entailment","type":"string"},"datatype":"string"},"type":"statement","id":"Q2413201$44B6D697-FD80-4BB7-938E-2453E18D1D04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2413201$D4C0703F-5266-48A7-A890-993D177D8781","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"285d9750983a099fd09d5b668a563562c82d80f8","datavalue":{"value":{"entity-type":"item","numeric-id":694497,"id":"Q694497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2413201$A331DA20-4BED-4955-AFB7-0239104639D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cd81c74e9dd6a65228b7fc9755a82f62eef19851","datavalue":{"value":{"entity-type":"item","numeric-id":682379,"id":"Q682379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2413201$9DC42AF6-4861-4169-B258-46905608E8AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6f777adcad6332a741f226656c48fe659c1cfa7b","datavalue":{"value":{"entity-type":"item","numeric-id":694498,"id":"Q694498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2413201$A9980EC2-CDF7-4037-880F-A0776DA9C31C","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":"Q2413201$BE1E3575-8B52-4099-87C1-54A0536CD568","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f10517d3de27d286f822912017b84c3849c12227","datavalue":{"value":"W2963603050","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2413201$5810290F-F6DC-4F6C-BB88-0ACE5C87997B","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":"6027ad790066d424c445e80bc5a9ce5ddaf13661","datavalue":{"value":{"amount":"+0.8586573004722595","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":"Q2413201$95C5F859-912A-4A3C-96F5-9BABD82B598C","rank":"normal"},{"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":"375e68957dcc6fb96f87034fb744ccc5892a6b66","datavalue":{"value":{"amount":"+0.8282366394996643","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":"Q2413201$E2C80DA4-4248-4DB6-87CC-C6A34045516B","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":"8830a8927ca708ec2c2e6b2c1af44b35d90c2b91","datavalue":{"value":{"amount":"+0.8237395882606506","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":"Q2413201$0647DA54-11DD-4598-9C2B-8A4A92FB5E9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"720e89ea7fc167eae199dc0f1074e390ce242d50","datavalue":{"value":{"entity-type":"item","numeric-id":4419271,"id":"Q4419271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cb16383e78cc2aafb45da066272f5534cefd054e","datavalue":{"value":{"amount":"+0.8201249241828918","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":"Q2413201$A6D9D479-08C2-4376-8B3F-F1F4DB9C14C4","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":"a2d52a59b847631109b045696f4eabe6ed7f8104","datavalue":{"value":{"amount":"+0.8198451995849609","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":"Q2413201$4BF1A0D9-D969-43DF-BE96-E4F059CBF82B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2413201","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2413201"}}}}}