{"entities":{"Q7361534":{"pageid":31520141,"ns":120,"title":"Item:Q7361534","lastrevid":105368090,"modified":"2026-10-07T13:37:20Z","type":"item","id":"Q7361534","labels":{"en":{"language":"en","value":"A Sound and Complete Calculus for Probability Inequalities"}},"descriptions":{"en":{"language":"en","value":"AFP entry Probability_Inequality_Completeness"}},"aliases":{},"claims":{"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"cc55301a2a6eccacfb97f545d9961a438ee8b240","datavalue":{"value":"https://isa-afp.org/entries/Probability_Inequality_Completeness.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q7361534$0B0C50E6-3631-4AF2-8233-0B4EF3D47928","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3cf6fdebab2500677acafd11fbb3e87f5e50c3dd","datavalue":{"value":{"time":"+2023-02-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q7361534$E4E31D1C-CEDF-4465-BC88-26B8E81B3B48","rank":"normal"}],"P43":[{"mainsnak":{"snaktype":"value","property":"P43","hash":"86fa51f88e0874d807da710a9a5492e1496f2e14","datavalue":{"value":"Matthew Doty","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361534$B62CB8C9-C30D-4F76-AE3A-43A5B7B50FA0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"380b04034a98102caa64a38376781cd01b0a415c","datavalue":{"value":{"text":"A Sound and Complete Calculus for Probability Inequalities","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q7361534$6CFDEF8E-90F0-464D-9FE8-C6202BD907B5","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"f501bf5a38ea8cf18302484f9d81e5ec8b0f973d","datavalue":{"value":"We give a sound an complete multiple-conclusion calculus \\(\\$\\vdash\\) for finitely additive probability inequalities. In particular, we show $$\\mathbf{\\sim} \\Gamma \\$\\vdash \\mathbf{\\sim} \\Phi \\equiv \\forall \\mathcal{P} \\in probabilities. \\sum \\phi \\leftarrow \\Phi.\\ \\mathcal{P} \\phi \\leq \\sum \\gamma \\leftarrow \\Gamma.\\ \\mathcal{P} \\gamma $$ ... where $\\sim \\Gamma$ is the negation of all of the formulae in $\\Gamma$ (and similarly for $\\sim\\Phi$). We prove this by using an abstract form of MaxSAT . We also show $$MaxSAT (\\mathbf{\\sim} \\Gamma\\ @\\ \\Phi) + c\\leq length\\ \\Gamma \\equiv \\forall \\mathcal{P} \\in probabilities. \\left(\\sum \\phi \\leftarrow \\Phi.\\ \\mathcal{P} \\phi\\right) + c \\leq \\sum \\gamma \\leftarrow \\Gamma.\\ \\mathcal{P} \\gamma $$ Finally, we establish a collapse theorem , which asserts that $\\left(\\sum \\phi \\leftarrow \\Phi.\\ \\mathcal{P} \\phi\\right) + c \\leq \\sum \\gamma \\leftarrow \\Gamma.\\ \\mathcal{P} \\gamma$ holds for all probabilities $\\mathcal{P}$ if and only if $\\left(\\sum \\phi \\leftarrow \\Phi.\\ \\delta \\phi\\right) + c \\leq \\sum \\gamma \\leftarrow \\Gamma.\\ \\delta \\gamma$ holds for all binary-valued probabilities $\\delta$.","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361534$5ABF3E67-B787-4A55-AAD0-637DD9AF77FA","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb3419efc203aeb720c75d227cff7b3d42437773","datavalue":{"value":{"entity-type":"item","numeric-id":2645756,"id":"Q2645756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361534$8D00344F-9277-4F87-B02A-EED991A6F771","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"adc87194f53a9552766b22cbe3fffae4e25dcae6","datavalue":{"value":{"entity-type":"item","numeric-id":2744124,"id":"Q2744124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361534$98B54304-EB9F-4FEE-A01B-FA79A40DB419","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8194ea1518e6f685f6c6c938409deb5deb10bdce","datavalue":{"value":{"entity-type":"item","numeric-id":3590049,"id":"Q3590049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361534$90344696-F48A-480A-B4FD-133211154375","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6cd44858abd76ba6a4654ef8a7945fafeb171c3b","datavalue":{"value":{"entity-type":"item","numeric-id":1057847,"id":"Q1057847"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361534$484D8656-382B-4B15-854B-0C531CF0668D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3398a71838665d38ebc6c70e028a82433fcea0d7","datavalue":{"value":{"entity-type":"item","numeric-id":5836107,"id":"Q5836107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361534$CC417BC9-515B-4F14-A344-9A7A88B0EA23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ba4f5628b9493b3dc4e9b69bc068cb07ae68c2f","datavalue":{"value":{"entity-type":"item","numeric-id":4530231,"id":"Q4530231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361534$6B4AF02E-178A-4820-8C5E-DC965F30CEF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1dda2f6e7365a838e9505836a8fcd2afe25a3666","datavalue":{"value":{"entity-type":"item","numeric-id":1831178,"id":"Q1831178"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361534$A1E9A771-8B97-4782-AADC-9A769537BEEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0a389bcac613e4dbfd4c6336b4b2c852a73c4b6","datavalue":{"value":{"entity-type":"item","numeric-id":5553784,"id":"Q5553784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361534$A4650D99-DCF9-492E-A41F-C16B29A1C3FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e49dae3f7e2fdb890b00c5c508d2e1514496bf68","datavalue":{"value":{"entity-type":"item","numeric-id":2936334,"id":"Q2936334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361534$F48D2E1D-982D-4E02-A136-2A6D5350E1CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df4bbd6e9a6c0a404a4392c144dbf98e1311cfcf","datavalue":{"value":{"entity-type":"item","numeric-id":4172038,"id":"Q4172038"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361534$46A4377A-9BF0-4B4D-B3C9-B9ED5C3F5E22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b382547d8fad964f6c32dd98e9936f8afb92f192","datavalue":{"value":{"entity-type":"item","numeric-id":1230637,"id":"Q1230637"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361534$FE8B2E60-6BD1-463A-AC09-9DD257998395","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e74a7a357b1b46dc042b2194329594218f6b370","datavalue":{"value":{"entity-type":"item","numeric-id":1840142,"id":"Q1840142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361534$2B8D565D-B916-4A4A-98C3-84F6FCB16872","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a361cac9c69986353146cfc6e8bfec5c1e2a63c6","datavalue":{"value":{"entity-type":"item","numeric-id":1342214,"id":"Q1342214"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361534$01BE2EAD-F107-4C40-AE28-58F1B0F68839","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0cf29858de9c5759c79a7755f47ba146a7d048c6","datavalue":{"value":{"entity-type":"item","numeric-id":1087535,"id":"Q1087535"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361534$947B6C5A-413C-4C1E-849F-9F3C9EFB7C08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa0863fe5c701d88620a62ed281e0b45e7e5df58","datavalue":{"value":{"entity-type":"item","numeric-id":798650,"id":"Q798650"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361534$98A066FB-A053-42EA-A1C4-27604A22C708","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":"Q7361534$ED05CAC8-F046-403E-A6B4-4CD8C7D74B93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a870243a206d513546fc876630c16a301c3dfc88","datavalue":{"value":{"entity-type":"item","numeric-id":1138469,"id":"Q1138469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361534$B4202D54-5862-454A-9312-B4261EF44473","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":"Q7361534$B34E5B4B-F605-4C39-BFD5-00C34EE835BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8bc1b66416e18542f53f888ff4b3cb8b2c1c8a8c","datavalue":{"value":{"entity-type":"item","numeric-id":5764366,"id":"Q5764366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361534$C4A3D2AB-35DC-44FA-A1F1-EBC172BD1909","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2bee9aba7742f0a2c5ca312ff52315d32d02e1cf","datavalue":{"value":{"entity-type":"item","numeric-id":2624975,"id":"Q2624975"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361534$3FB1A647-B69A-466A-876D-6A84D3CB6E1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"604926fd78c2346c71237b86ff8d64b5ace0099b","datavalue":{"value":{"entity-type":"item","numeric-id":3226025,"id":"Q3226025"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361534$D3D7A63C-0015-4862-AAA7-E0AA3F1735B2","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":"Q7361534$10C09C19-6AFC-4174-8E92-2AD30371A76E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e459febd3308ccd05c00218c3d9d5a294a33566f","datavalue":{"value":{"entity-type":"item","numeric-id":986029,"id":"Q986029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361534$FABBA9D5-FB15-4E00-95D1-B4D02E85DDB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"416198c976198481dd374ac12c2633042c796538","datavalue":{"value":{"entity-type":"item","numeric-id":1541412,"id":"Q1541412"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361534$24D34838-AB84-438B-A802-8D06F429B9D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d855aedb6b8689008dfa235ba2981fd83a136c50","datavalue":{"value":{"entity-type":"item","numeric-id":5661846,"id":"Q5661846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361534$DBE5FEA0-8349-476B-A1DF-3DB83748C84F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8e15304bc8ff9694bd65524aff0a644c0008043","datavalue":{"value":{"entity-type":"item","numeric-id":5599789,"id":"Q5599789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361534$AB416C80-393C-48D8-8EFF-499E5A71B998","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56327724d8101cacc3d4e5b36700dc86a7feb472","datavalue":{"value":{"entity-type":"item","numeric-id":4499084,"id":"Q4499084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361534$47108634-5078-42FA-9E78-2E8F7F302BA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"10546887ee0615eb07bca2e1dc0f41e60f6caeff","datavalue":{"value":{"entity-type":"item","numeric-id":4194932,"id":"Q4194932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361534$B4484C6D-FA83-4F1B-89D5-2A2688F19966","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a2561212e62046aa1bbe5f6493082a6843f18247","datavalue":{"value":{"entity-type":"item","numeric-id":4077986,"id":"Q4077986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361534$93D7C1AF-86AB-4878-9D26-A4D62D47A54B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21758fe08e5e7efdbdc35f1c82f7417f87a2a438","datavalue":{"value":{"entity-type":"item","numeric-id":5891768,"id":"Q5891768"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361534$8F1C85B4-1E6D-4F73-8EDB-DB608F10D659","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"70bf3a8a3792b97d070eb2131db0f088ecb3aeb0","datavalue":{"value":{"entity-type":"item","numeric-id":4561681,"id":"Q4561681"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361534$0966C583-AA22-4B6A-A989-70A41C3E4218","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"875e4e402b6e87e74e152278db15e8abdbd55b1c","datavalue":{"value":{"entity-type":"item","numeric-id":558734,"id":"Q558734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361534$19B64575-649C-4832-8AF9-A60A52F38D3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aa65bf4acc8259db51bdb0a1fc6458d0fdd17fa7","datavalue":{"value":{"entity-type":"item","numeric-id":4781256,"id":"Q4781256"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361534$F2C2BD3C-3E99-46D9-AB79-746EAFE5ACB2","rank":"normal"}],"P37":[{"mainsnak":{"snaktype":"value","property":"P37","hash":"9a21a8eebe97539644aa32b24dda137c12e751dc","datavalue":{"value":{"entity-type":"item","numeric-id":40327,"id":"Q40327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361534$680F908E-56D3-4129-AD2A-FB972F70FCBC","rank":"normal"}],"P2651":[{"mainsnak":{"snaktype":"value","property":"P2651","hash":"8efbe8612495bcc999dc22ed8b71d2801a69cc6a","datavalue":{"value":{"entity-type":"item","numeric-id":7360834,"id":"Q7360834"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361534$8BC02D63-8579-4EAF-8583-98806B630A8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P2651","hash":"61ce00bd57c38f4b0878e61948aa744910b408d4","datavalue":{"value":{"entity-type":"item","numeric-id":7360807,"id":"Q7360807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361534$F3895047-3B65-4941-BEA6-8A65A3192E37","rank":"normal"}],"P585":[{"mainsnak":{"snaktype":"value","property":"P585","hash":"d5144cfb492fd7937b491ca165ab1b02f0bce563","datavalue":{"value":{"entity-type":"item","numeric-id":7361030,"id":"Q7361030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361534$98EF408C-8332-47C7-B06E-0A733F0276F1","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"908c3454b3659c4b140ccce33c5aee31081edc8d","datavalue":{"value":{"entity-type":"item","numeric-id":5976450,"id":"Q5976450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361534$6656A2B3-8231-4BEC-9204-B69D86634BB0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A Sound and Complete Calculus for Probability Inequalities","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_Sound_and_Complete_Calculus_for_Probability_Inequalities"}}}}}