{"entities":{"Q1956374":{"pageid":1967116,"ns":120,"title":"Item:Q1956374","lastrevid":78364691,"modified":"2026-05-06T11:25:08Z","type":"item","id":"Q1956374","labels":{"en":{"language":"en","value":"Lottery semantics: a compositional semantics for probabilistic first-order logic with imperfect information"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6175503"}},"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":"Q1956374$82EE22AD-E74D-488D-B41F-F38EF62DD19F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c226aff4f32dbb9fd1fa6430e422ee64c6385b24","datavalue":{"value":{"text":"Lottery semantics: a compositional semantics for probabilistic first-order logic with imperfect information","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1956374$0586E1A1-7C07-4A2C-A87B-4CF701E64246","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9cf7d3864642a8242853c9a855f9ae40d0bbbffd","datavalue":{"value":"1272.03123","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1956374$0CFF3391-D592-4D91-AAD7-A47FBC70D84A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d7cb654b2c7fd2fb3c129f71991a5ac4f8d4c76d","datavalue":{"value":{"entity-type":"item","numeric-id":645984,"id":"Q645984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1956374$7BE7237A-DE94-42C5-B4FA-0EDD9AC5F707","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"718f67bc853021475e419ec53e5f4c765327bd90","datavalue":{"value":{"entity-type":"item","numeric-id":1001371,"id":"Q1001371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1956374$DFC37ADD-63CA-43FD-BBE1-C93CAFC4CECC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e34236ca73b92c6ee0bc17431d03c3537a7f0792","datavalue":{"value":{"entity-type":"item","numeric-id":195358,"id":"Q195358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1956374$01FA0360-54A1-4C5A-95D0-646F071FBD4C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"941e851e9877657670322e09601dde648b64f50c","datavalue":{"value":{"time":"+2013-06-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1956374$F025846F-D732-4D1A-9DBB-129013FE0EE9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"89a6721807d2106ad3a18783b4fcbc004e6a56c5","datavalue":{"value":"03B60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1956374$258EAA51-C1BC-48C9-8CC2-CC8EA5DD36CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0e3678c4c27859448aaf57c0c464a06d6cc1a175","datavalue":{"value":"03B48","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1956374$20BC45BF-FB8C-4BC8-B711-9D225B9AA66E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5f342b835e282a505a990e45bbd18c239d3b9361","datavalue":{"value":"6175503","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1956374$AA32E3A4-3F17-4864-BCDC-092C03B0D29C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"537359bacac36a10a203dcbb1593ac7a5e426730","datavalue":{"value":"logic with imperfect information","type":"string"},"datatype":"string"},"type":"statement","id":"Q1956374$269317C9-C812-46E6-934A-284EA1BA0CE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"76d797a0d444b524a5821fa450f69440856dfae0","datavalue":{"value":"independence-friendly logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1956374$FB822431-84C5-4325-95E5-DE61F50F2020","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a0a8ff364f3d9f836e09bb0a4a8497459b361045","datavalue":{"value":"dependence-friendly logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1956374$6C0D2411-C733-4DC9-B6CD-43FBA4DE55E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f9d0bef78cf421d5b235dd89b6bb53641b804b7d","datavalue":{"value":"dependence logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1956374$7695C3BF-A1CA-43B0-B930-8A7FE4BD7A75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d25d27094de8b6fcb1a05437abfc55952429dd0a","datavalue":{"value":"equilibrium semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1956374$F56043ED-123F-4037-A0EE-F20B146493B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"977eed6131dfef7e6e3cd1144bd76459fa17e188","datavalue":{"value":"compositional semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1956374$D5B54E85-9EDD-49B6-9B7D-67504C18F9EC","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":"Q1956374$A42BFFFF-8647-4ED4-B459-F291ACD15463","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f86c6f1544c1d7a35ee9943e9bfa39f2bca86a88","datavalue":{"value":"https://doi.org/10.1007/s11225-013-9475-6","type":"string"},"datatype":"url"},"type":"statement","id":"Q1956374$275074BB-0109-4145-B970-E55FA3D6EF39","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2c4a36516d6ccc6cea205490794bc4c63460f9d0","datavalue":{"value":"W1991986445","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1956374$68BE3907-826E-43A1-9B64-E96BFE022B85","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"79e95288fb3703a153af69a0fa87ef12ad85fe48","datavalue":{"value":{"entity-type":"item","numeric-id":1088983,"id":"Q1088983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1956374$A228F1B0-1E8A-4966-8AE2-2B18C31C9367","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99ebeec896f80c652f0ee1002f1a81265cf38b03","datavalue":{"value":{"entity-type":"item","numeric-id":3620026,"id":"Q3620026"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1956374$863DC654-1653-4C0E-AA1C-FA7EC05022C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"04675bb682cee8b380566c06e9ed1f4ceed15583","datavalue":{"value":{"entity-type":"item","numeric-id":5588598,"id":"Q5588598"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1956374$C5DE5F7A-9CC6-474A-8B06-91DFB17F0ADD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a9940c0e06b26b1101c84817c76f74d0dadecc1","datavalue":{"value":{"entity-type":"item","numeric-id":5817866,"id":"Q5817866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1956374$659E7B11-603F-49ED-A7E7-7884707E34B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be154b266f49b889b70e2e16e1ef5f70c091bcdc","datavalue":{"value":{"entity-type":"item","numeric-id":5732647,"id":"Q5732647"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1956374$F28190E7-28FD-45C3-B293-1A34AED44F04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fbbafa006b14468b64b745fc68aa9332b146a7d7","datavalue":{"value":{"entity-type":"item","numeric-id":4135463,"id":"Q4135463"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1956374$0EF01221-5E04-4C05-AFFB-8A3E86931C56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8413e35396f689c527307b15a1f798700960d2aa","datavalue":{"value":{"entity-type":"item","numeric-id":5691485,"id":"Q5691485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1956374$8BE91597-A110-4647-989E-AA27987BD6F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"159a5b6bc122136ca7e837726b08a530e0338246","datavalue":{"value":{"entity-type":"item","numeric-id":4732440,"id":"Q4732440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1956374$32236B7E-D6E1-46F4-8E1D-B3C0059BC2EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bee679aade6405d6694d01f0efb209e3a97aacb8","datavalue":{"value":{"entity-type":"item","numeric-id":4353719,"id":"Q4353719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1956374$875CB9CE-8A9C-4BCA-9BF6-2E6A9D0405D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"629a9cfc29759a58cc620095ca39298f5554851e","datavalue":{"value":{"entity-type":"item","numeric-id":4362727,"id":"Q4362727"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1956374$23FF71E3-10D2-47BB-A3DD-AF6BD5B2CD59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e17b3c38e055b8a6f730433357d1a5313dea4e2a","datavalue":{"value":{"entity-type":"item","numeric-id":5817864,"id":"Q5817864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1956374$657DB1DC-15A2-4B16-B46E-59009C777709","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c65ca58e30c11d8abc7b7023fa7fe6b946ec2ce2","datavalue":{"value":{"entity-type":"item","numeric-id":3077957,"id":"Q3077957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1956374$60CF5BD1-F9FF-4C3F-B64E-0DA2D8D93AEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"88baf93d313ff168792115fdd5ef3958ffd9e34a","datavalue":{"value":{"entity-type":"item","numeric-id":636301,"id":"Q636301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1956374$F1448E5C-B9FC-4075-9127-4C8075E397E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3dfadef4097d116081445a38f2cdb1372b1ba604","datavalue":{"value":{"entity-type":"item","numeric-id":3396588,"id":"Q3396588"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1956374$FD410458-F563-4104-94C0-D9EBEADAD323","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0b06cdf3058d94fbc91292a227b57b1c8abff29","datavalue":{"value":{"entity-type":"item","numeric-id":3446107,"id":"Q3446107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1956374$2AE42DB9-E774-4917-86CC-B373112CB5BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dca7bf9ff748343f2efbe736997f3fd4b0e9f589","datavalue":{"value":{"entity-type":"item","numeric-id":5623654,"id":"Q5623654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1956374$12E601AE-934E-4E5D-8A3D-CA538DB55CC1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6addca98a434b138ce2e2f46816a060f632b9347","datavalue":{"value":"10.1007/S11225-013-9475-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1956374$CEA0F287-E73D-4DD9-83E0-5415897B1305","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8013d9c9be03e61bbd31e6d15b0f1dc4fe277c2f","datavalue":{"value":{"entity-type":"item","numeric-id":4353719,"id":"Q4353719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dcce74028a028fd6ee1ebd608068cb61f64af9bc","datavalue":{"value":{"amount":"+0.8166088461875916","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":"Q1956374$78C437E4-2E85-4DE9-B52F-A35FE7F336C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9725d046d09e3a65b9c544594e2f4ad0b6278c12","datavalue":{"value":{"entity-type":"item","numeric-id":2817412,"id":"Q2817412"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d0f449b64d6b501d56067fd27702cbaf3c71b31a","datavalue":{"value":{"amount":"+0.7882558107376099","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":"Q1956374$7AE1EEC5-3DC2-422F-A0C8-FE94C66C53ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5facd3db5a34e1e2ab9da17d17d1f3fe28964597","datavalue":{"value":{"entity-type":"item","numeric-id":2747710,"id":"Q2747710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f37a60138cab4ca1b3b194d5197fe19a1eb10bb4","datavalue":{"value":{"amount":"+0.7596960663795471","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":"Q1956374$6AE647AE-281D-4015-94D8-28B624AD004D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eddb246a4974ddc597a6209972ace3458dca5506","datavalue":{"value":{"entity-type":"item","numeric-id":3574464,"id":"Q3574464"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f37a60138cab4ca1b3b194d5197fe19a1eb10bb4","datavalue":{"value":{"amount":"+0.7596960663795471","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":"Q1956374$C30DEEB8-A3D5-4438-A8B2-6007A7152646","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e5a474d060872fb1caea145f6279e784ab0e356a","datavalue":{"value":{"entity-type":"item","numeric-id":3063971,"id":"Q3063971"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4546d9396ec4c493d73c26832ca5ac9ebe9947b4","datavalue":{"value":{"amount":"+0.7566951513290405","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":"Q1956374$93EF1B50-7B35-4452-B5FD-741E958826E3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Lottery semantics: a compositional semantics for probabilistic first-order logic with imperfect information","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Lottery_semantics:_a_compositional_semantics_for_probabilistic_first-order_logic_with_imperfect_information"}}}}}