{"entities":{"Q6488076":{"pageid":14066845,"ns":120,"title":"Item:Q6488076","lastrevid":40885097,"modified":"2025-04-13T18:34:19Z","type":"item","id":"Q6488076","labels":{"en":{"language":"en","value":"Model Checking for Coalition Announcement Logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7667432"}},"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":"Q6488076$B35E3CEF-F7DE-42D9-BB54-6699DF21C1A2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"94bbf79a683ce1872b2e21f211d1866017e949ce","datavalue":{"value":{"text":"Model Checking for Coalition Announcement Logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6488076$9CDD2B0A-2817-4747-8D57-B8B6A9BDB9D9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"67adf7f8297a73271e5f1bddd6ae1d3419d2d89f","datavalue":{"value":"1515.68179","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6488076$3A331873-8C20-4B0A-97BA-E15385040F00","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4f78b7d57b0f731836003b1fb6cf573671496b72","datavalue":{"value":"10.1007/978-3-030-00111-7_2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6488076$9458AB96-C5BD-46FE-9791-97719477E6A5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b3af07371757491400fc454564bcd894e5a9d839","datavalue":{"value":{"entity-type":"item","numeric-id":2148818,"id":"Q2148818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488076$2E28B830-8D38-4056-83F0-791BF4CEA9C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d06b9d3e98376955f4f1468110c0445691894ccd","datavalue":{"value":{"entity-type":"item","numeric-id":208223,"id":"Q208223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488076$9DD64C84-106C-4B25-83EB-E1F2D4D9252F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"43f27638688e066d21e35c07e7ef6cc3de4c06e2","datavalue":{"value":{"entity-type":"item","numeric-id":813421,"id":"Q813421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488076$EF5F5F11-5E59-49F2-A546-ECEF4195737A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"74e79fb0f81a13e01e2adb5a30058c546d3cd532","datavalue":{"value":{"time":"+2023-03-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6488076$0FFA56FC-68BF-4CEE-9CA1-B4C36C39C6F5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6488076$029ECC17-45B9-4BF8-B305-172618C3E137","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"19e8b53914fe36a939b2f687be46776db2609217","datavalue":{"value":"03B42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6488076$CF92AA8A-AEA5-49F1-8515-E737DDF4549D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6488076$817B77C6-2BE2-4C22-8048-6A654898E986","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"61af5ec33152bcd4786af7bb01f583fca191e083","datavalue":{"value":"7667432","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6488076$07CFCA44-1882-44F8-AACD-F901DF884169","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":"Q6488076$EE317A8C-3CD3-460E-8556-9D5252BD92B6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"98f7f1e0078a2f786790b9f8686f517cbe0368bd","datavalue":{"value":{"entity-type":"item","numeric-id":3119277,"id":"Q3119277"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1dc46660a5f61a39fe23b79fcf9ec8497afbe488","datavalue":{"value":{"amount":"+0.99999976","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6488076$3FCC3500-FFFF-4A13-AE73-7B311751B57A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"32b930d5f7ec57060e75851770c58872ffce8765","datavalue":{"value":{"entity-type":"item","numeric-id":2071573,"id":"Q2071573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"900da986c9823f47d3d53be44862ce293a694a88","datavalue":{"value":{"amount":"+0.91592705","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6488076$A7EBAB7C-813D-4287-873F-E7F67FB9DC43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e4933b8619f17ad97b3374f1e17d4fe544488f6f","datavalue":{"value":{"entity-type":"item","numeric-id":2236503,"id":"Q2236503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"04d6080f290fb0ef8352ee54ecf68e78ea20a3e1","datavalue":{"value":{"amount":"+0.8727446","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6488076$F8C2E21F-43A5-417F-AD27-1E3F6CEF1247","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fd70fe2627d4c21b164d563045f13a11a085b642","datavalue":{"value":{"entity-type":"item","numeric-id":5216337,"id":"Q5216337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f0bc760dce9a438fa781f02f380c93f9566eee0c","datavalue":{"value":{"amount":"+0.85887945","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6488076$D5A0655B-0E43-4B64-87E3-8BD2E6ED73DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"40418479d703a25ccaa6f3aa38a032de42ef7999","datavalue":{"value":{"entity-type":"item","numeric-id":5327426,"id":"Q5327426"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e718c853a7ab06332824feca23dcc2d449be8a2c","datavalue":{"value":{"amount":"+0.8587936","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6488076$71604E16-F28E-4ADC-8E77-FD8ED0235B07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"411685a204488a4455aa4cc67ac9a1de8e526926","datavalue":{"value":{"entity-type":"item","numeric-id":3384067,"id":"Q3384067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3192ca211ba37bb64e5e72a2bc6677055fafbc4f","datavalue":{"value":{"amount":"+0.85551107","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6488076$546058C0-7E0B-407F-A23E-3BED5E5CF399","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5a4c225b317a76fe2910529a1509f98282b9dbb8","datavalue":{"value":{"entity-type":"item","numeric-id":1047796,"id":"Q1047796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"461d39439d8492257b66a340ca1a149a72f85cf9","datavalue":{"value":{"amount":"+0.8495801","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6488076$F44789DB-4CB7-4CFE-A455-6A23EA7D3F4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b32fa57a815d68538cfc971ae16d807e73ebc727","datavalue":{"value":{"entity-type":"item","numeric-id":4994892,"id":"Q4994892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ce2f3a76ce8f530ffa255c4af79e7956a16860b6","datavalue":{"value":{"amount":"+0.84688926","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6488076$1EB46D9F-128D-45B6-94A4-74ECAD5A0AED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"02d9620f8f842f96840f7c1c90ae37acdddd4d61","datavalue":{"value":{"entity-type":"item","numeric-id":1024128,"id":"Q1024128"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a5ec29d1cbb039b5b4399609e4a2bb37e79eb2e4","datavalue":{"value":{"amount":"+0.84630865","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6488076$9E3D1A36-BCB1-4E26-A021-77B29628BEB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bce857befaecd6296176f332d1fd10bc35c53b61","datavalue":{"value":{"entity-type":"item","numeric-id":1326587,"id":"Q1326587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"20946bca38b6d39a5a238446e50e2f0fedb7acfd","datavalue":{"value":{"amount":"+0.8443463","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6488076$6C90E941-DC93-4456-AFAA-BE5B9D20DFBA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6488076","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6488076"}}}}}