{"entities":{"Q2914028":{"pageid":2924748,"ns":120,"title":"Item:Q2914028","lastrevid":51559589,"modified":"2026-01-18T19:05:36Z","type":"item","id":"Q2914028","labels":{"en":{"language":"en","value":"A propositional \\(p\\)-adic probability logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6085342"}},"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":"Q2914028$AC1051DC-F98B-4C69-8742-0373ACECA22B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8c28b60e85cc1f20a77e6241bfcf6731db751d65","datavalue":{"value":"1265.03011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2914028$344B2696-5B0E-4721-AE42-D4F816AD8377","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"47e562ff8400718f54d25e5ac139edc29daaed8f","datavalue":{"value":"10.2298/PIM1001075M","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2914028$9EC85DA5-D47D-411E-A90C-EDB06BB1E4AE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3def108b2181be3b333e2889c6b9f2f591461f2e","datavalue":{"value":{"entity-type":"item","numeric-id":353959,"id":"Q353959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2914028$0A2770E1-EC86-4B62-A419-F70C2961FC36","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":"Q2914028$677BC9AD-A40D-415A-AF08-4B082668EA1A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0e3678c4c27859448aaf57c0c464a06d6cc1a175","datavalue":{"value":"03B48","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2914028$7E5C2FD3-3EB1-40C2-A6F6-65C9765188F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2914028$320FB2FA-81E8-4D1F-8529-43848ACDA9B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"19e8b53914fe36a939b2f687be46776db2609217","datavalue":{"value":"03B42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2914028$EC1CAC15-D156-4895-81AB-798350C13FE9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6a6aef2817b14729fa52947546d25ed410fce0bd","datavalue":{"value":"6085342","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2914028$C3567C3A-F970-4596-9928-E6B1FCE12124","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"669e1ab0be3b0e96a51a2ef7e433c212210f37a0","datavalue":{"value":"completeness theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q2914028$A2DAE827-701A-42F0-8FF1-B3A5253DB470","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2914028$2312D4AE-6D12-49AF-A04B-4670F2313236","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":"Q2914028$9654912C-4E09-4F5E-B756-C62D4F278E60","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"cb53b96fa8dcdb3baeab0cc6575e173cfe3544b9","datavalue":{"value":"https://doi.org/10.2298/pim1001075m","type":"string"},"datatype":"url"},"type":"statement","id":"Q2914028$E36D878B-3629-4137-BC28-093AB041CDD0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9f08612d285c4240d2a109c10793a872d3960b26","datavalue":{"value":"W1994539926","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2914028$19FD6C68-0B6E-4C67-8930-3E9D829CA412","rank":"normal"}],"P1633":[{"mainsnak":{"snaktype":"value","property":"P1633","hash":"fd0e5e76ae671583fb1182769a5241d76998d932","datavalue":{"value":"bafkreigmti5d5uy3dvwbz26uzxmsar3y5ke4enjp6kdx2r7e43domoynsm","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2914028$6F4D117F-E984-42B0-B3AD-4CD8D338A6A6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a7fd330e0a1411cc33dfb8d04cc2222bb67e1b4c","datavalue":{"value":{"text":"A propositional \\(p\\)-adic probability logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2914028$25A860B8-981E-4190-B37F-F21046E5AED2","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":"Q2914028$FEAC4A11-FE10-45CD-B3AF-140DB646915F","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"02994b62e2181499e90a20524e92b23432d6e9f0","datavalue":{"value":"The author introduces a probability logic such that the range of probability functions is the set \\(S\\) of all \\(p\\)-adic integers which are algebraic over \\(Q\\). The logical language contains Boolean combinations of formulas of the form \\(P_{=s}\\alpha\\), where \\(s\\in S\\), and \\(\\alpha\\) is a propositional formula. A semantics is given by a class of Kripke-like structures enriched by finitely additive \\(p\\)-adic probabilities. An infinitary axiom system is provided and proven to be sound and strongly complete with respect to that class of models. A decidability procedure which checks satisfiability of formulas is presented.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2914028$7A69E2B2-C160-4DA9-B1E2-A113E5E20D51","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"96863ec144ce51f3b324f336a7676511a3176367","datavalue":{"value":{"entity-type":"item","numeric-id":2910981,"id":"Q2910981"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"70bc05722ff5adfe1f216a547aaacec26c124162","datavalue":{"value":{"amount":"+0.932970404624939","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":"Q2914028$2FA86DC9-3D9F-4BDE-9F50-327471DE3EE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"79f8ea603c1e0a1b0c4c76d04863d29228bd3976","datavalue":{"value":{"entity-type":"item","numeric-id":344035,"id":"Q344035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"abf54120022fb544d04c6f8c78b86fe9f1c68664","datavalue":{"value":{"amount":"+0.904409408569336","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":"Q2914028$DA4CE0F5-F080-457D-977F-ED93440B3411","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b351b075bd40e6dc7a2e128336d635a00784b5c0","datavalue":{"value":{"entity-type":"item","numeric-id":465585,"id":"Q465585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d868b0cf0e6e1b712d15495ab9eb0662aa3b0d3f","datavalue":{"value":{"amount":"+0.9035908579826356","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":"Q2914028$A3F6871F-0642-460B-8AE6-01B9B3E85E0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b6d3fc20e7d58d84b01a8e322f4b241ef40fcf47","datavalue":{"value":{"entity-type":"item","numeric-id":5460177,"id":"Q5460177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"43ae53ca20eb7ed1b1d62fcc9329f02637c33fbd","datavalue":{"value":{"amount":"+0.8531820178031921","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":"Q2914028$A3E6FB2B-9DB6-4723-983F-BBDE616027A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d07624cf338beaa18979374ec76f06c009ccb7f","datavalue":{"value":{"entity-type":"item","numeric-id":2350218,"id":"Q2350218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"91c03ad6ec84f711c625f77ea71ee6fbb5306ec0","datavalue":{"value":{"amount":"+0.8438915014266968","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":"Q2914028$2D143031-EC13-4F69-A0FB-737CCC42792A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2914028","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2914028"}}}}}