{"entities":{"Q1342214":{"pageid":1352953,"ns":120,"title":"Item:Q1342214","lastrevid":70191558,"modified":"2026-04-13T13:03:42Z","type":"item","id":"Q1342214","labels":{"en":{"language":"en","value":"Inferences in probability logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 710216"}},"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":"Q1342214$F03F6B63-0236-4782-9BCE-4A34A5D373A2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b971ce45c5f4f78ae457fda9c6301bf2e4223dbb","datavalue":{"value":{"text":"Inferences in probability logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1342214$588E50CC-21D7-48AA-8E02-0BC8B86D83CD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4f4cd6792a4a87eeb9cde079c376af5509c9b70d","datavalue":{"value":"0821.03014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1342214$AF38DDAF-1450-4CE9-89D9-F8DEC883AD36","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"473de22067925d9d820c6ef25b9b727c9388e94f","datavalue":{"value":"10.1016/0004-3702(94)90102-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1342214$652DED30-8B85-4C02-9A12-38563087BE37","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b47c632a6892c705a778626aeac00adf94f0a025","datavalue":{"value":{"entity-type":"item","numeric-id":178971,"id":"Q178971"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1342214$AF05D23A-4729-4C4E-BA99-41A50AF149A1","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":"Q1342214$883A64BA-0456-49ED-A156-A6D701B94D68","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5987c574b34fe20694582897d7a8d2c6030952cc","datavalue":{"value":{"time":"+1995-09-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1342214$8E3CDDBB-F204-4A22-9664-C344F8531610","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"88bcc02833a15987341e6ecd2c6d980a4540bf1c","datavalue":{"value":"This somewhat misleadingly titled paper is about the incorporation of probabilistic ideas in the framework of fuzzy logic. The general idea is this: probabilistic theories are fuzzy sets of formulas, i.e., functions from formulas to \\([0,1]\\) indicating degree of membership. The models of a given fuzzy set of formulas \\(v\\) are ``the probabilities greater than or equal to \\(v\\)'' (p. 34). It seems that this should be ``the set of probability functions \\(p\\), such that for every formula \\(\\alpha\\), \\(p(\\alpha)> v(\\alpha)\\)''. Such difficulties abound in the text, but the general idea comes through. There are difficulties also of another kind: the author offers a proof of the proposition that a fuzzy set of formulas is satisfiable if and only if every finite subset of it is satisfiable. He claims that a proof in the general case can be found in \\textit{F. Bacchus}'s book: Representing and reasoning with probabilistic knowledge (MIT Press, Cambridge, MA, 1990). This is not so, since Bacchus does not deal with the fuzzy notion of satisfiability at all. On the other hand, the proof offered for the denumerable case seems perfectly all right.    The upshot is that the logic of envelopes, which is the fuzzy logic developed by the author, leads to the conclusion that probabilities are, in this framework, the analogs of complete theories in classical logic (p. 48). Other results are also of interest, for example that every axiomatizable complete probabilistic theory in this framework is decidable.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1342214$836DC995-B2EC-4E07-B210-6EA0B2CE33E2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0ad6448c9e3f2394361827e5c2d117e48dc71794","datavalue":{"value":"03B52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1342214$29758025-A406-4F5B-8B6E-F2F20197A9BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0e3678c4c27859448aaf57c0c464a06d6cc1a175","datavalue":{"value":"03B48","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1342214$49876A63-79AC-4DDD-930E-2FA72A8B41CD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7e18ef6abc599099749b8cfec86c6c6667f9e2ae","datavalue":{"value":"710216","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1342214$EA0DDF2F-EC30-4D44-BD43-90362A990F63","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fd7f7273b8e7f89d50335f2519dbd31cec7b734e","datavalue":{"value":"fuzzy logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1342214$67EF4C4E-C836-4305-87CC-B8A5A918A8D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8ead1ebd4186eb355f2eede94c96994a2e7dbf76","datavalue":{"value":"probabilistic theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q1342214$7A567789-CFCF-41FF-84AD-1BC63FF05391","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"4cf23404831f64dc673cd380f2934dff19fa3ec7","datavalue":{"value":"Q55982583","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1342214$C4E16D5B-FF87-4E85-8C49-422D6E625E28","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"5c88ba37b57c79e4faec0006cc4be8ec8469aa6b","datavalue":{"value":{"entity-type":"item","numeric-id":432959,"id":"Q432959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1342214$049D7BAC-0AE8-49C7-8B5F-A0EC4D23E89F","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":"Q1342214$08E6ACAE-4EA3-4CBC-8EB5-5130B62AA9BE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"de43882be9acca3b7df923a3d1e5e2fadc36c723","datavalue":{"value":"https://doi.org/10.1016/0004-3702(94)90102-3","type":"string"},"datatype":"url"},"type":"statement","id":"Q1342214$4E2C098A-89A3-46FF-9361-6E55ABA6E39A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ba8929b8711b006871a8c37414f12b6bdd15ed27","datavalue":{"value":"W1993258861","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1342214$11FB0524-12AF-4DEB-97B8-D4E9854115B9","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b004777dbb60511a9a8e8c340c01b86e8b9845d","datavalue":{"value":{"entity-type":"item","numeric-id":2367733,"id":"Q2367733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1342214$63986F4B-DBC1-45B0-81BC-AD271937249C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b660fc821c7e855d8a9c2bf1815dce2b06788992","datavalue":{"value":{"entity-type":"item","numeric-id":3794172,"id":"Q3794172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1342214$1A1857A6-603B-4E43-8650-FF1CE0C4DECD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f650f4f7bc706bdedd6674688059df4f6da8202","datavalue":{"value":{"entity-type":"item","numeric-id":5527811,"id":"Q5527811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1342214$CC09C14C-BE00-4753-956E-8D6435E7EE6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d360a7d6f259fabff06c4f8aee3990e9d59b659","datavalue":{"value":{"entity-type":"item","numeric-id":3708779,"id":"Q3708779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1342214$221DFAEA-E6E4-42B4-B00E-E0B83BCF938C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e1c968344ba046a05929421e44cd6b550b4bed8c","datavalue":{"value":{"entity-type":"item","numeric-id":1344254,"id":"Q1344254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1342214$051DACE8-EB26-4AF6-85B8-186C14CF2E05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c089c4c1bd7133d306454b18bbe2c9f00e5e0636","datavalue":{"value":{"entity-type":"item","numeric-id":757340,"id":"Q757340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1342214$F6AAE7D0-CCFB-41D1-A1E0-77A34248EB33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0684727e908fce1cfeb50a95bc49644a71dab11e","datavalue":{"value":{"entity-type":"item","numeric-id":5792540,"id":"Q5792540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1342214$A01510A4-ACAC-4411-AA0B-22F1A6ADE1A1","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":"Q1342214$ACD7C7C8-7E09-4087-975A-0D0C7A15F69D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c8578012b3b86ed983646275e6747df9ccf1c35","datavalue":{"value":{"entity-type":"item","numeric-id":3874181,"id":"Q3874181"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1342214$361388BD-37AE-438D-823D-E08E5E28A945","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56c6c299e15ddeb001671e573dc9a5439e5a86a0","datavalue":{"value":{"entity-type":"item","numeric-id":3818127,"id":"Q3818127"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1342214$B57969F0-9A60-409E-BB36-AF0F176BB7A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec0a2828b8995f220b442717ed5275cf54d0aa23","datavalue":{"value":{"entity-type":"item","numeric-id":1188646,"id":"Q1188646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1342214$822D8440-D7BD-4D26-8F21-28AB1B7EBD87","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":"Q1342214$487B557C-FD7F-4FCA-AD1A-01CA0B8013B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f89ea61c5486400cb5592e47e9465a80b854f96","datavalue":{"value":{"entity-type":"item","numeric-id":1222643,"id":"Q1222643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1342214$F77C922F-5D60-42D8-937B-7C1812845423","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"94fd7fe49643fb237620383c8c6443dd82b8dd84","datavalue":{"value":{"entity-type":"item","numeric-id":2457028,"id":"Q2457028"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"66f12780f73c0c565506acc3f8a91f85eaf0e16a","datavalue":{"value":{"amount":"+0.7906978130340576","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":"Q1342214$C364672A-6550-4DC9-A64E-F7759F6ADFED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"803ca375c81c707581a3ecd7d8a40100d13b60bd","datavalue":{"value":{"entity-type":"item","numeric-id":1344254,"id":"Q1344254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d397121460662bb724cc22f36168231dee212075","datavalue":{"value":{"amount":"+0.787590742111206","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":"Q1342214$EEEAE228-D104-472A-841A-F4D6E1223DFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"67b28fc9c72a5c56f7fb041111ee1dcd9f50b595","datavalue":{"value":{"entity-type":"item","numeric-id":2457162,"id":"Q2457162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cb54ecd18967c6fe5c532933bd418c967e9bcd44","datavalue":{"value":{"amount":"+0.7837300300598145","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":"Q1342214$516DCB37-0E91-45B6-98FA-B8E3A37F3F1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a25559c1a7ec8d5fc768b3c15a59be463a2bfd0b","datavalue":{"value":{"entity-type":"item","numeric-id":1378735,"id":"Q1378735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dd5b49ccedb29207ee0c42cb6cab67ff6c8ce567","datavalue":{"value":{"amount":"+0.7783730030059814","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":"Q1342214$6BDE8BC9-B2D2-4200-B713-B2C7EAD575F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"78e900a44931f284d3e249f97f635ae98c50bdd2","datavalue":{"value":{"entity-type":"item","numeric-id":2711325,"id":"Q2711325"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9b6c8d6edf3696806d5a3508225628fd2c0470f1","datavalue":{"value":{"amount":"+0.7776980996131897","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":"Q1342214$99A19A66-B6FD-4336-89B5-86C47897467A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Inferences in probability logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Inferences_in_probability_logic"}}}}}