{"entities":{"Q3781086":{"pageid":5810992,"ns":120,"title":"Item:Q3781086","lastrevid":52524395,"modified":"2026-01-22T21:12:05Z","type":"item","id":"Q3781086","labels":{"en":{"language":"en","value":"An analytic completeness theorem for logics with probability quantifiers"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4041891"}},"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":"Q3781086$20886F54-1516-4225-A527-46E3D7EF4C06","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b2267d4ae0cc85f657468da92422e61ca91dbc13","datavalue":{"value":{"text":"An analytic completeness theorem for logics with probability quantifiers","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3781086$C0B494E1-C68C-4913-8BC2-409F852F444B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a0bc744d8445dd841c66b307316f3d8dacca0d62","datavalue":{"value":"0639.03039","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3781086$38AFF630-08A5-4822-930A-E32A24C34035","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d3163fddee0f015899ec4dbddf2eda396d580564","datavalue":{"value":"10.2307/2274366","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3781086$60E4EF52-DDE0-42C0-B6A1-970EF323E1FA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9c933ea46edcf6d35b7492e396e093b547573fb5","datavalue":{"value":{"entity-type":"item","numeric-id":797212,"id":"Q797212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3781086$3A3D7F68-A11D-4E1F-92F6-193D38437ABF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5ae48c61eed19d1e1e1f33f9255d5b329362d064","datavalue":{"value":{"time":"+1987-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3781086$A56AE8AC-2B9B-4FC5-805A-5BB547903F95","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25e5a5f23d3e2e2c05864da16eda493011c33276","datavalue":{"value":"03C80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3781086$935E42EA-CC40-4C42-9010-FC7980B0AF88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed0e9d16aabdfc4de2754948a872b6ceb30bba56","datavalue":{"value":"03C90","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3781086$F00AC2F0-E852-4F9C-98CB-28AC59987CB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0e3678c4c27859448aaf57c0c464a06d6cc1a175","datavalue":{"value":"03B48","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3781086$8DD7F296-3D69-4851-A941-8FD84EE90EA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fa69c13f73ae57309db5e91fd7e4d5aaf111f98e","datavalue":{"value":"03C30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3781086$E4D85650-FEC0-4215-9494-C9DE612C4773","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3bc35ecc3144ff65e9737745f556c5739e048b08","datavalue":{"value":"03C75","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3781086$E17B7887-EF0A-4E88-BB32-7F2547162F87","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5a805ff25eb38edcd0ec7c445112527126ee764d","datavalue":{"value":"4041891","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3781086$0220B121-CC06-4464-BBD0-8A3AE8571753","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c4a5b790c88afded64c0bfa8d3b4d44405cc4c73","datavalue":{"value":"probability quantifier","type":"string"},"datatype":"string"},"type":"statement","id":"Q3781086$8087235E-A1C4-4A28-A904-73F34B131504","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e0ed6d42d7a464d78002f317f1ee30eedfeaaa20","datavalue":{"value":"analytic set","type":"string"},"datatype":"string"},"type":"statement","id":"Q3781086$575D63BA-CEDB-4032-8BA4-09BCC9778500","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"678b9114fee22f5a949432d7ac66873f7310a666","datavalue":{"value":"Borel relation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3781086$D95009B1-D1C7-468A-806B-E390AB5747DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bbf537dbec71095f9e06a79b6d427b8aa7fcfd79","datavalue":{"value":"infinitary logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3781086$4E4DBB83-D007-4F5A-8A9E-1B6760A0C792","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c1514011e463f4b96b73949f9956db3dccc72fb4","datavalue":{"value":"probability logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3781086$BAA2918B-DED1-41FE-87B0-A946A49048CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"150c327101ce2ab22471d2069bb645ef6bd4200a","datavalue":{"value":"countably infinitary connectives","type":"string"},"datatype":"string"},"type":"statement","id":"Q3781086$5258BA0C-09CC-4E83-8104-ED3EEFE75901","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"440a726d65de78521470917eef076bffc179c83e","datavalue":{"value":"finitary quantification","type":"string"},"datatype":"string"},"type":"statement","id":"Q3781086$C4B7D705-D5E4-4EBA-AFA6-BFF9FEF749B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"669e1ab0be3b0e96a51a2ef7e433c212210f37a0","datavalue":{"value":"completeness theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q3781086$7D6FB629-39A3-438B-8C43-48139C1BEBFC","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":"Q3781086$CD3C4119-C1BE-468D-8805-3B49A3FE3A18","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ae9c23d69837993946c95c3c787325f5c2b922b6","datavalue":{"value":"https://doi.org/10.2307/2274366","type":"string"},"datatype":"url"},"type":"statement","id":"Q3781086$A5DD8F35-4EA2-463C-B944-564379AE5A25","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e33fa094c92f4efd405668596121af5fd21c6909","datavalue":{"value":"W4237616102","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3781086$DF36A4C6-7DC5-4CCC-8819-E39CBC1C7159","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6218d42f0175ef35f91c4900eb5db86484a9463d","datavalue":{"value":{"entity-type":"item","numeric-id":2710590,"id":"Q2710590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3781086$E46689E5-F691-421A-9FD6-CB4E0E80FF78","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dab5c5304772367858e29baaa4b2bcbb78eaac27","datavalue":{"value":{"entity-type":"item","numeric-id":4899909,"id":"Q4899909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"010ef5da46fb7ba579dfee9545e8bde4c4435595","datavalue":{"value":{"amount":"+0.803031325340271","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":"Q3781086$3E07BCBF-1D50-429D-8939-85801AE02BF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6a62dac91ed8431f4bd42d1bb709c410d9a6c21c","datavalue":{"value":{"entity-type":"item","numeric-id":4304134,"id":"Q4304134"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"80e77dffbd26b9584b4e09c0daad46e71038dcb9","datavalue":{"value":{"amount":"+0.7834275364875793","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":"Q3781086$38FE6CA9-BD2A-4B3E-9406-E2D0713E4DB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"78b704258ab5e498c21906ceae2bea47d21ba230","datavalue":{"value":{"entity-type":"item","numeric-id":4316722,"id":"Q4316722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"737b116f08e418839071deda6e769b8bdd7d4d15","datavalue":{"value":{"amount":"+0.7805023789405823","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":"Q3781086$28CF966B-FB4B-4EF0-BF38-EB5794FDC559","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5d775477a3fcda0fa3420414998c4cc97abfd22e","datavalue":{"value":{"entity-type":"item","numeric-id":3652162,"id":"Q3652162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"71f2dacd46cc038c63c22aa6c40025b0ca1bc0d5","datavalue":{"value":{"amount":"+0.7735010981559753","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":"Q3781086$E7E86404-CEC3-4512-B9E5-4BAC70DADC8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2fdc2c5811c42f38045a2257ffac36679fddaa41","datavalue":{"value":{"entity-type":"item","numeric-id":4295234,"id":"Q4295234"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6bf1ce5047ab170adbe40f45f18a0940cadf2b13","datavalue":{"value":{"amount":"+0.7731710076332092","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":"Q3781086$47569548-C8B1-444E-BC47-5A38C08DD71D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3781086","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3781086"}}}}}