{"entities":{"Q990965":{"pageid":992813,"ns":120,"title":"Item:Q990965","lastrevid":65965842,"modified":"2026-04-12T06:38:18Z","type":"item","id":"Q990965","labels":{"en":{"language":"en","value":"Representation theorems for probability functions satisfying spectrum exchangeability in inductive logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5777528"}},"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":"Q990965$EAFC026C-FD1D-45C8-A85B-A6383881983C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1a71b29d058b9590c400f472a39905815360b333","datavalue":{"value":{"text":"Representation theorems for probability functions satisfying spectrum exchangeability in inductive logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q990965$107847AD-77A7-4031-BAB2-C53734282F15","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b78e8a7e99dee9effc488f6356d302ab5916a6db","datavalue":{"value":"1204.03026","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q990965$3408E479-0955-495B-AB50-6B39BCD2020D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e4b5a0c60ef87c861ee61bd47c2c306f4716c5cf","datavalue":{"value":{"entity-type":"item","numeric-id":280545,"id":"Q280545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q990965$5B3ACD3B-E200-4DD5-85A0-45054E20BFA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"44176704c420391b1ec646932fc59126c7d2f6cf","datavalue":{"value":{"entity-type":"item","numeric-id":264026,"id":"Q264026"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q990965$D5228EDD-8DF8-432A-B7B0-B7271EE21E56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1f8d1b0a0f342675b942135e7c30d6a47195cd99","datavalue":{"value":{"entity-type":"item","numeric-id":266870,"id":"Q266870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q990965$7F481830-6762-4D7B-A93D-8302044D6143","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ffcf9cdef56de74059e9064d7fefa5c3d05fe8f7","datavalue":{"value":{"entity-type":"item","numeric-id":110194,"id":"Q110194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q990965$83C0E465-E1F1-47E4-B0B5-6FFFA021201B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d9c8db179f9c66121cffb2b883a8a32d7415ee58","datavalue":{"value":{"time":"+2010-09-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q990965$FFC2A653-D29A-4DC0-B6CB-542158997116","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"ac4b530a0eab1935e01ed5fa6bf5732e51b81451","datavalue":{"value":"De Finetti's representation theorem [see \\textit{H. Gaifman}, ``Applications of de Finetti's theorem to inductive logic'', in: \\textit{R. Carnap} and \\textit{R. C. Jeffrey} (eds.), Studies in inductive logic and probability. Vol. I. Berkeley--Los Angeles--London: University of California Press, 235--251 (1971; Zbl 0246.02024)] plays a central role in the study of conventional, unary, inductive logic, because it gives a transparent access to examples of probability functions satisfying some basic conditions, and it makes it possible to restyle problems from inductive logic into elementary differential and integral calculus, where intuitions and techniques are already well developed. In this paper, a de Finetti-style representation theorem is proved, covering the class of all probability functions satisfying spectrum exchangeability in polyadic inductive logic and giving an application by characterizing those probability functions satisfying spectrum exchangeability, which can be extended to a language with equality whilst still satisfying this property.","type":"string"},"datatype":"string"},"type":"statement","id":"Q990965$26C3368B-DACD-400B-A5EF-130358557E3C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0e3678c4c27859448aaf57c0c464a06d6cc1a175","datavalue":{"value":"03B48","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q990965$095AA343-1DBB-49F6-9DA8-249DB9E62EA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1f66a3c6f6c4263d812ea49e5394cac6ea83ef9b","datavalue":{"value":"68T37","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q990965$F9AE3701-F6BF-4D43-93EA-CD7C2CC98B6B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"99beeb26f069ef95dbb824393e03c8de3bf2b919","datavalue":{"value":"5777528","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q990965$8BE835D4-C59F-4AC0-8FA8-5CB4BFEAFD0D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7ce68ecbddd24e0a5603ce39226b124176709f1c","datavalue":{"value":"uncertain reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q990965$183EB3C1-02E7-40F8-915A-12F6CFC1A309","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"942d01c41f83f0287b2b37d733bf57097d64092b","datavalue":{"value":"inductive logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q990965$084ED12F-EE02-4E50-81B7-6E07F8C3DDD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c1514011e463f4b96b73949f9956db3dccc72fb4","datavalue":{"value":"probability logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q990965$A4A8E1ED-78A9-4449-8792-488D54D2EFD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d138a365c90bd14bfd42639e60300c6949fa6e3f","datavalue":{"value":"spectrum exchangeability","type":"string"},"datatype":"string"},"type":"statement","id":"Q990965$263A52B7-D4B4-4581-9076-40327592921C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"70edc23917f36c4dae80cf1eafce49fd8e3159f1","datavalue":{"value":"de Finetti's theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q990965$D6D3E88D-A48F-4884-9DF7-F31B9C5407CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e0f95fd7c491c2848966554299dc8d662766cabe","datavalue":{"value":"equality","type":"string"},"datatype":"string"},"type":"statement","id":"Q990965$49DDABC6-EEDF-4FEC-9722-E60FDDE4CC7F","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"2b87c2901b1d9462aa6fffa26502c8ee861836b0","datavalue":{"value":{"entity-type":"item","numeric-id":1062052,"id":"Q1062052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q990965$0EEDC159-4CC2-480F-BEC8-0DE17A701172","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":"Q990965$11B94151-F6CA-47EA-936D-093D9812BED5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"27338a6fc5c85a295fee9505bf8f568c01f78833","datavalue":{"value":"https://doi.org/10.1016/j.ijar.2009.07.001","type":"string"},"datatype":"url"},"type":"statement","id":"Q990965$AAF18113-C2EB-4D5E-A27A-8C1E5C60FE54","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"bf6e4af370046ccf5b2f79b5e306e477e6829859","datavalue":{"value":"W2013945053","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q990965$37AB894D-648D-4E89-AE96-7CA8C38B374E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1bc6cb16206c23f60538ec60aa79c5469ef42fb3","datavalue":{"value":{"entity-type":"item","numeric-id":5799632,"id":"Q5799632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q990965$C3832E57-36E7-4052-9745-CBAD53B8A432","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"46486f147410880f0d48ac52094fd02561be2b1f","datavalue":{"value":{"entity-type":"item","numeric-id":5813549,"id":"Q5813549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q990965$CAF3BA44-909E-482B-8620-3195EF90915F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9bdc70dfdbc95a44ffde1fb60672259f18c00202","datavalue":{"value":{"entity-type":"item","numeric-id":5658081,"id":"Q5658081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q990965$F9C661F6-4832-4D6B-B2EA-0FAC3B444A08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"659f78893afe4f3d9c6c50553ce839df7bb06584","datavalue":{"value":{"entity-type":"item","numeric-id":3325694,"id":"Q3325694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q990965$4403A16C-1391-4357-8F6E-5494568A0639","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f4d3f864d38582c877db26d6fab175444660183","datavalue":{"value":{"entity-type":"item","numeric-id":962847,"id":"Q962847"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q990965$55540786-2745-4D0D-9329-8E1B7541323E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40429e2a9220a90a4cd7998a113b7c636c8db471","datavalue":{"value":{"entity-type":"item","numeric-id":2538114,"id":"Q2538114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q990965$0C9B39CB-BA87-4BE7-A74B-6189A182B5DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84fb706ba08f9a1383f33764246fd5240619bbb5","datavalue":{"value":{"entity-type":"item","numeric-id":4039929,"id":"Q4039929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q990965$9859A769-87D1-4457-9511-C798084B3496","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"301bcfe7d4a75cd737e32b9e5e041e8aefb3e327","datavalue":{"value":{"entity-type":"item","numeric-id":4334072,"id":"Q4334072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q990965$15D61A15-A428-4F63-9620-4966F188E9EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"28c69a07b981d7df81c13e984d502544fa6f7778","datavalue":{"value":{"entity-type":"item","numeric-id":3205068,"id":"Q3205068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q990965$686C0CBC-4366-43F1-968B-9B2E21ABA310","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"01ba2a7b230b864bf0fb70df4bd03ba69b10f456","datavalue":{"value":{"entity-type":"item","numeric-id":3908818,"id":"Q3908818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q990965$847F0B37-A0CD-49D6-9917-EBD8DCDDDD46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"71c960a207ad65b63485d6d0475ab603be293203","datavalue":{"value":{"entity-type":"item","numeric-id":5622160,"id":"Q5622160"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q990965$47C105EE-D85A-4527-A386-B0B2A44A858C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"548a201bd132dd556b7345a7688fe860fd761e98","datavalue":{"value":{"entity-type":"item","numeric-id":3524926,"id":"Q3524926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q990965$AA52F7B2-82F6-401D-9501-EC794D443C89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4c4352ef5d70b3faace905566d1615c67d9604b","datavalue":{"value":{"entity-type":"item","numeric-id":636320,"id":"Q636320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q990965$FF9F5C61-3277-4AF2-BCD0-B9FA07808E04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"28d521673479e98f443c1259984d67c9ff153da3","datavalue":{"value":{"entity-type":"item","numeric-id":5300190,"id":"Q5300190"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q990965$98C94BEF-821C-4ADA-B230-C8C7CC35CD0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9cdf7ecdb30cbc1e87ad3c2d04e92b6d9507b1e3","datavalue":{"value":{"entity-type":"item","numeric-id":3601807,"id":"Q3601807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q990965$1604DC1B-D638-4A32-81AE-470429F51A4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"afbb45d79cb751ddb2bffd3aa0eabb3481a0af61","datavalue":{"value":{"entity-type":"item","numeric-id":408310,"id":"Q408310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q990965$EDDC6E20-257D-492B-8405-0DFB74C5F13E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a5efc4244e9434703c3634146f270b9623adb85","datavalue":{"value":{"entity-type":"item","numeric-id":2462689,"id":"Q2462689"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q990965$EA02407A-A314-45EE-BF6D-1D78C1E4679B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"099b51b2818142cfcfef716ea26bc9e9c33f0bd0","datavalue":{"value":{"entity-type":"item","numeric-id":4325548,"id":"Q4325548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q990965$EB93B838-425C-40E7-8413-BBB02344A9BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9328665b9817720d2202f06f3c5c8de18b250626","datavalue":{"value":{"entity-type":"item","numeric-id":5261301,"id":"Q5261301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q990965$510710D3-92DA-4B00-9A74-A6521DED8200","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a3130c26017c2f6d348246066482a854b24e5d3","datavalue":{"value":{"entity-type":"item","numeric-id":1025576,"id":"Q1025576"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q990965$9E29C5AE-B00A-45B0-9AC8-E69421C14CB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e590a9849078708e9ec87ad15b27ab785a3c04b9","datavalue":{"value":{"entity-type":"item","numeric-id":1184097,"id":"Q1184097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q990965$4393F19E-7309-414B-A55B-9EE9A579A0EB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ec743ebefd82e3769c3cd781ff9a2cfc6a19ce99","datavalue":{"value":"10.1016/J.IJAR.2009.07.001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q990965$98B08A7A-2BA0-4B68-A65E-1EB33925855E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"04958240fe56af17d5b348eb75a2a9edfcb1a933","datavalue":{"value":{"entity-type":"item","numeric-id":3576070,"id":"Q3576070"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4678eca58369ed354bc2fcaa20630fe6352d73c8","datavalue":{"value":{"amount":"+0.9477919340133668","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":"Q990965$D4537CAB-765E-4C4F-A3AE-632A69C678FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ac5aedded9997cc591c01a1472805eb04f753c99","datavalue":{"value":{"entity-type":"item","numeric-id":1005942,"id":"Q1005942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"424ae6ffcdd7e6b0e24f3e92c5dce3588199a6a6","datavalue":{"value":{"amount":"+0.9008088707923888","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":"Q990965$76C5F522-952E-47E9-AC37-AABB35EFCBCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1c4d9d12aac4c1138364a15259c5d53a611007f5","datavalue":{"value":{"entity-type":"item","numeric-id":636320,"id":"Q636320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5c39d5f5c90c22ec0b788fdafdd43f0a520ecab0","datavalue":{"value":{"amount":"+0.8725486993789673","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":"Q990965$25F1D654-E2A0-4F76-98CE-7B245E869672","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2ed5b4395a3ed3a25218a11e9b36323a897079b2","datavalue":{"value":{"entity-type":"item","numeric-id":266871,"id":"Q266871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2bb9cbf19b25360711b95b1d0a7237bc52d486f9","datavalue":{"value":{"amount":"+0.8722234964370728","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":"Q990965$64A7387F-E832-406F-9916-F8C5B461C027","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"312ac8a6e889e0239e991934b5411bfe9f464510","datavalue":{"value":{"entity-type":"item","numeric-id":3524926,"id":"Q3524926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2c48049d5d98c8e46b92fec99bb7ca80e58e1f9f","datavalue":{"value":{"amount":"+0.8533143997192383","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":"Q990965$8CD9DF30-BEA7-48BB-8C1E-333EA7CFF9A3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Representation theorems for probability functions satisfying spectrum exchangeability in inductive logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Representation_theorems_for_probability_functions_satisfying_spectrum_exchangeability_in_inductive_logic"}}}}}