{"entities":{"Q1024128":{"pageid":1025976,"ns":120,"title":"Item:Q1024128","lastrevid":69632115,"modified":"2026-04-13T08:20:16Z","type":"item","id":"Q1024128","labels":{"en":{"language":"en","value":"Quantified coalition logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5565226"}},"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":"Q1024128$495B58DD-F816-4ED9-B891-E1EA38E608CF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"95e5bd4e7371aa56e55551e952ea3ee0a9877189","datavalue":{"value":{"text":"Quantified coalition logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1024128$2CE04CFB-46D8-4747-B96D-714A1A3AB0E6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"215fcc3f7bbaf45f2233cd2266ad6afd194ebbf6","datavalue":{"value":"1169.03020","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1024128$ED003E00-D22B-4DDF-899E-7760133AB605","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"da62b64cd1c8c2ff37c51f3dd8f1d7613bed7066","datavalue":{"value":{"entity-type":"item","numeric-id":542136,"id":"Q542136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1024128$16EE7240-C2E6-4D6D-9D06-C801D798BE05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"768ccadf9be517eb9c9fb5c80670a4e733cc36e0","datavalue":{"value":{"entity-type":"item","numeric-id":343910,"id":"Q343910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1024128$C3C60665-5073-4312-B1E5-D3820D02F8B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"31fb02981f4d83094589dc387feedb07b22856a3","datavalue":{"value":{"entity-type":"item","numeric-id":310096,"id":"Q310096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1024128$2FE174E0-4952-4FBF-BA22-B5892512A9F3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"28921346d64a666ce2dd47540df2f388e07634f5","datavalue":{"value":{"entity-type":"item","numeric-id":162813,"id":"Q162813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1024128$EC2AD2D0-DA61-466B-BE5C-72E88CE21A82","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8df8d61f5f88fa082eccb52e10b8436e8a182238","datavalue":{"value":{"time":"+2009-06-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1024128$7B1043A1-1F3A-44FA-82C0-6DB16A232DB2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"89a6721807d2106ad3a18783b4fcbc004e6a56c5","datavalue":{"value":"03B60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1024128$DBB2A84F-978F-4361-BADF-48EB4289640C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1024128$D173A37D-8339-4703-B715-4CEE4F1E5251","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1024128$0A9FD757-C24C-4AF8-8486-C335477AFF74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e7821ac546420ffac288c241a881e247a33d0c98","datavalue":{"value":"91A12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1024128$BC9ADA57-A66B-4826-B2F3-788883AB96B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"824cfdf2b129d72f7287008060b5bf497f3b4f34","datavalue":{"value":"91B14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1024128$1BBBF7F9-8DC2-4D46-8E9A-35A86B808D07","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a8038605cb0aa4e956d6ce62c0148180fed85fee","datavalue":{"value":"5565226","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1024128$8AF4EACE-FD94-4074-8DBE-1D0F9F54E20D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a443cbc82c2a0ccf5c92eec579db7975f57921d9","datavalue":{"value":"coalition logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1024128$789E9728-6B00-400F-A9F0-A0C320444EA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"af82f964286631926ef7240abc8d43981a55ecb3","datavalue":{"value":"quantification","type":"string"},"datatype":"string"},"type":"statement","id":"Q1024128$A8BE94D0-ECAE-4058-9D74-F095CB3957E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c640934be6aa44a45ab05e2591104a77cd814802","datavalue":{"value":"succinctness","type":"string"},"datatype":"string"},"type":"statement","id":"Q1024128$0CCF9C12-2FE1-4D73-AEB1-CD8464E9AB23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q1024128$1A886393-9E64-4343-8190-D4E7AC7162A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"252f9f9ed9fe8ca406cc19fba38a46c0414791ee","datavalue":{"value":"satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1024128$7AB702DD-2538-4C20-B57B-789E15EA9B7E","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":"Q1024128$EC491A81-70CA-45C8-AA75-9FF59B646283","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f039ee1c8a94ee7c89dd1f543bffa450dccd90fc","datavalue":{"value":"https://doi.org/10.1007/s11229-008-9363-1","type":"string"},"datatype":"url"},"type":"statement","id":"Q1024128$DB2C9666-2631-4C5B-BCE6-C8A92F0C7614","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5038d7b659ec613f8480b6c8db56a5e51e5af4f1","datavalue":{"value":"W2104046563","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1024128$EF2C0D83-A86B-47D2-BFAD-005D67A8A52B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac1341d7d02cb4530bc46c445ff349d415b6e5c3","datavalue":{"value":{"entity-type":"item","numeric-id":2500827,"id":"Q2500827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1024128$921DAFF8-ED26-4DD0-B8FE-9AE8A274DA0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13976e81712c7677f91e6e333088b23eee4545d9","datavalue":{"value":{"entity-type":"item","numeric-id":834401,"id":"Q834401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1024128$0A83CAD9-6EEC-414B-B012-EE54AB29AE18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d969bd9e9070eb4e4b53be99bf5557f5f64d3d3","datavalue":{"value":{"entity-type":"item","numeric-id":3455546,"id":"Q3455546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1024128$8E56B7BE-7405-4E1A-A029-D0873A39CE08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56ea28ce49444d0bdc1bf4a36ed903a285f495ae","datavalue":{"value":{"entity-type":"item","numeric-id":3647281,"id":"Q3647281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1024128$E4160A13-4E8F-4D51-857B-7ED2A5F25480","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8bf1eb0085816c68ff7078182501fe6b0337105","datavalue":{"value":{"entity-type":"item","numeric-id":3743300,"id":"Q3743300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1024128$5411EFE4-FE28-4767-B04C-215FF96F3550","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b533b2bc04d6033c9636f1b8a0113dc5a63f8746","datavalue":{"value":{"entity-type":"item","numeric-id":4694250,"id":"Q4694250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1024128$015A2E54-26F9-4C41-B560-15B55B2DD032","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3479b1b8ce1eb8a8699c52a172d26d4d947366b0","datavalue":{"value":{"entity-type":"item","numeric-id":4298260,"id":"Q4298260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1024128$4DB52AB2-7E8A-4BF8-BD53-28E5B072C113","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"39b93998684d1eaabe487a5046dec8978f83de1d","datavalue":{"value":{"entity-type":"item","numeric-id":814613,"id":"Q814613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1024128$4EB31C25-F251-4262-A5CE-716CCB0F1E8A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e8491ac46488af0c609096d987370970ac69d42f","datavalue":{"value":"10.1007/S11229-008-9363-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1024128$11A55BAA-0C92-4B9E-A682-87547961A5D3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0366490fe64179064e476b92dd59b80307ce0dff","datavalue":{"value":{"entity-type":"item","numeric-id":3647281,"id":"Q3647281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6e8b1044d57f067a83c294ccb6a7d5731a503a72","datavalue":{"value":{"amount":"+0.8425602316856384","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":"Q1024128$F7065144-D8A2-4F75-9E13-92E856130663","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"098ed0cd7d892bd6c148fd1a13515b8481495fe5","datavalue":{"value":{"entity-type":"item","numeric-id":2999189,"id":"Q2999189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"db50a6c1ff62282a2c3404075bcc41006f3921cd","datavalue":{"value":{"amount":"+0.8211106657981873","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":"Q1024128$167DA5B6-9CC8-40A9-A4BF-374E11E2E53F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e0f9c72799c48edc1c0b14a9ed8bb93817a0ae8f","datavalue":{"value":{"entity-type":"item","numeric-id":4329525,"id":"Q4329525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d572d63ac924b78c46e2177c90c12498d9340fae","datavalue":{"value":{"amount":"+0.8194538354873657","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":"Q1024128$A49EC261-9728-42C0-A6BD-251DBFB4BA2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"55a60496bed0d20e0097182ea4e58f94c3ed8891","datavalue":{"value":{"entity-type":"item","numeric-id":3636791,"id":"Q3636791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f15ac5448d105366caf99daf1fcbcfc167a17902","datavalue":{"value":{"amount":"+0.8150500655174255","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":"Q1024128$6D168FFD-24D9-4908-8FBB-BFC8D48C0E75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0d3a545c38c103b69eeeb688666543851865d423","datavalue":{"value":{"entity-type":"item","numeric-id":834401,"id":"Q834401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bb7b7dabc32b4f50f48b8720e070c283f0bb8c17","datavalue":{"value":{"amount":"+0.8090181946754456","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":"Q1024128$46456363-41F0-465E-87AC-9B6E2C046F36","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Quantified coalition logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Quantified_coalition_logic"}}}}}