{"entities":{"Q2835866":{"pageid":2846596,"ns":120,"title":"Item:Q2835866","lastrevid":83457599,"modified":"2026-05-07T08:01:56Z","type":"item","id":"Q2835866","labels":{"en":{"language":"en","value":"A three-value abstraction technique for the verification of epistemic properties in multi-agent systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6658156"}},"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":"Q2835866$375D6C39-FFB3-44AC-A272-0A4E4FFB8F0F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"aef62065416ac10fb8ea65e9d9580d753a83386b","datavalue":{"value":{"text":"A Three-Value Abstraction Technique for the Verification of Epistemic Properties in Multi-agent Systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2835866$530AD655-5A86-4D31-AA2F-D5841B6F322A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c8236528381069a21a6ce96d016b53d13c49f1ba","datavalue":{"value":"1483.68417","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2835866$12DAC436-D3B2-4D7C-85A1-86F73C69145A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2e7481d75c2acb0f5357e4921c1ffeca48825107","datavalue":{"value":"10.1007/978-3-319-48758-8_8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2835866$6E0886FF-178E-49DD-8A12-6DAF6BA36477","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"52000320d108ee6b6146ae320a672f6ae77321de","datavalue":{"value":{"entity-type":"item","numeric-id":785240,"id":"Q785240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2835866$AF8EC8A8-060B-42FD-B02A-2F09A3DFC50E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"45ff5eb95cd0f47a5dcbb6509988939501b112b5","datavalue":{"value":{"entity-type":"item","numeric-id":598544,"id":"Q598544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2835866$89FA4903-E4F5-4360-81A0-D4780856D878","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f243a6673bd9cf7abffff5d921f26c940b2015b3","datavalue":{"value":{"entity-type":"item","numeric-id":2835857,"id":"Q2835857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2835866$50D72164-92E3-45F5-BABE-9E8319485233","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a81488eaa0593c2b339fa674b802605bba207348","datavalue":{"value":{"time":"+2016-11-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2835866$B1FE9C45-569E-4B46-A7EA-CFABFAC7A304","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"709ed67c42bb169499eabe0b6d04c203d4526e03","datavalue":{"value":"68T42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2835866$0CEEFAB9-2DE2-419E-8286-29739CF69042","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"19e8b53914fe36a939b2f687be46776db2609217","datavalue":{"value":"03B42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2835866$24B7C3A7-55EF-48C1-AB5D-8230C96049CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2835866$63298A38-F8BB-4E5A-B5DC-A7DC9495E54A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2835866$B5CD0C6D-9924-4CFD-97D2-4B73E3BD21B5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cb5a83e130f6cb75d3da0842a602b4a3a07c1c80","datavalue":{"value":"6658156","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2835866$98398A1B-3724-4106-B8FA-BB52B45CF66A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"24a55781f31c4db087347d258cc39a541c06b89c","datavalue":{"value":"logics in multi-agent systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2835866$B7D5B39D-D9E9-4451-B3EF-D1FE87E7412B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"25b255b3f7f779539c5118a049f2680d4f791b91","datavalue":{"value":"epistemic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2835866$6CCF66E8-340B-4E79-B447-F9DD22A4835A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"896cf53b13bfecb212e98edf577fe0aa198cf349","datavalue":{"value":"formal verification by model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q2835866$0C9A7C0F-6B72-45E2-B1F3-D591C49949FB","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7851d97c45aab9a7d8da1baea974d0b6776fd357","datavalue":{"value":{"entity-type":"item","numeric-id":14558,"id":"Q14558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2835866$56D85514-B9D5-4BA6-8073-E51DFF835C34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b792ce763f8f58c8ec463fa21b4c599eb550b3c5","datavalue":{"value":{"entity-type":"item","numeric-id":21448,"id":"Q21448"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2835866$520D62E6-BC87-41BC-A61B-B7C0BFA769E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"af5bf62d73c7ce629c0669b5ccd1badd6d3f9691","datavalue":{"value":{"entity-type":"item","numeric-id":21446,"id":"Q21446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2835866$8EB79DC8-CD1D-49FC-887A-45E7857F6318","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":"Q2835866$E97B42C9-A337-4883-AF55-954BB7C9E2ED","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"293bc76aacb74a68dbbff485c4e359ab0fca63ad","datavalue":{"value":"https://doi.org/10.1007/978-3-319-48758-8_8","type":"string"},"datatype":"url"},"type":"statement","id":"Q2835866$AD73407D-75F7-4E44-B96E-328D67018DA5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"68d4795680d8d21d289d52c13d19555f9a962007","datavalue":{"value":"W2543054525","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2835866$E0047E66-7C86-45F1-ACD2-3900D4D1F36E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"759b13ca6f986de845c29792ec9a7473c5335368","datavalue":{"value":{"entity-type":"item","numeric-id":4576181,"id":"Q4576181"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2835866$CB854094-66CB-44C6-AA39-C602F1B5B9E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f22378a7127aa087e70353b482e052acd1cbc256","datavalue":{"value":{"entity-type":"item","numeric-id":2925412,"id":"Q2925412"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2835866$239AED13-FA5A-4002-A44D-6DC9410EA9BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c9eea5d471820b1c6f72226e5b63792b5e02fdb2","datavalue":{"value":{"entity-type":"item","numeric-id":5282957,"id":"Q5282957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2835866$670522FC-3068-4BFE-A59E-F77EE801C7B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"06f6d90e3236a929532aa1862e383e0fb9e24ea6","datavalue":{"value":{"entity-type":"item","numeric-id":5466469,"id":"Q5466469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2835866$FBB3C968-EB14-43C8-85AF-8ED3C95F3924","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7cd2a25d693a4acd921e56f15d1b3d06cb750f8","datavalue":{"value":{"entity-type":"item","numeric-id":2754081,"id":"Q2754081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2835866$D58B1019-A0C6-4E31-B5E9-8D9DCA12787E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6aa6662ee1ea2051d5e49a7f6cda811bdbef8bbc","datavalue":{"value":{"entity-type":"item","numeric-id":3648692,"id":"Q3648692"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2835866$82F2402D-81FF-45FF-8DC2-388AD675635B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f7228d911878a16429788a7e2e2b8ecaf57db22","datavalue":{"value":{"entity-type":"item","numeric-id":4817541,"id":"Q4817541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2835866$3D5A4579-19B4-417C-B039-C3B9B13D1AC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d2b7b31f3a9c42f1501cce317e61bb6396b941d","datavalue":{"value":{"entity-type":"item","numeric-id":286407,"id":"Q286407"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2835866$2F357DAC-8C6C-4B80-90C5-14DC5E1DD98C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"555c7857fc7a1a553bcf3b1e5d170b6f8575f5b0","datavalue":{"value":{"entity-type":"item","numeric-id":3527267,"id":"Q3527267"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2835866$A66BFB39-AACA-4CBA-99BD-EF5678B1BE80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2990e15db3ec1299bacd39e760b2d345098c103a","datavalue":{"value":{"entity-type":"item","numeric-id":4845472,"id":"Q4845472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2835866$8E585D26-AE1F-4D9E-A6F3-6756542A303A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a6c2a682b2e9dec9a4775e1451429ca20ffba5fe","datavalue":{"value":{"entity-type":"item","numeric-id":3989936,"id":"Q3989936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2835866$86A720EC-3330-4E61-BACC-22B5E27DDBBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"af6a56147721f5558561f9dc5063b26167a3efa0","datavalue":{"value":{"entity-type":"item","numeric-id":4022223,"id":"Q4022223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2835866$34103419-EC2D-4356-AAB9-60C70CF5EADD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b5d4373326ddacd5ad0928810272cc7a23b3585","datavalue":{"value":{"entity-type":"item","numeric-id":5312933,"id":"Q5312933"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2835866$56F42BDE-8A5D-4855-A26A-CC2BFCD9EA35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c87d244bb47b7033a2215bba62f2b5aef99a339c","datavalue":{"value":{"entity-type":"item","numeric-id":4414390,"id":"Q4414390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2835866$7C935064-9548-4E4B-BAFA-43DA70583E8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9b37815207e306c470e5ba93a4dd426d75dee63","datavalue":{"value":{"entity-type":"item","numeric-id":4697032,"id":"Q4697032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2835866$26B0DA90-2FB9-4D9A-A2B7-89A975BCF62E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d50c524c53d7f49976000982a6078db3bc09507","datavalue":{"value":{"entity-type":"item","numeric-id":5506377,"id":"Q5506377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2835866$EEBA8D2F-7E0E-47D9-A915-0E644C065A77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eab27b9e879ce4df057ce6a0bc188aa6db4267c3","datavalue":{"value":{"entity-type":"item","numeric-id":2900477,"id":"Q2900477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2835866$B934E253-0065-457C-B315-D5495C3B18FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"38338272dac8f01a00cfb949ea75569fdb402496","datavalue":{"value":{"entity-type":"item","numeric-id":5308433,"id":"Q5308433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2835866$46B1AE3C-B14D-4ADF-8326-58652F55ED21","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"96abc383f0a4fbd014b7a86533718290c8bf9b2c","datavalue":{"value":{"entity-type":"item","numeric-id":3527267,"id":"Q3527267"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f0c59787e7494a65dd85e38504b5dac8295b1d31","datavalue":{"value":{"amount":"+0.8346987366676331","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":"Q2835866$BFCA34BD-1736-40DC-82A5-D25C72FA4272","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2f8c88fc88017b1933597c6ff2f82fe88701ca24","datavalue":{"value":{"entity-type":"item","numeric-id":4461756,"id":"Q4461756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3821a93bc9373489f480fc27e66166d364da9720","datavalue":{"value":{"amount":"+0.8277114629745483","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":"Q2835866$FF521CA4-9EA7-405C-AE88-636D82AA9BD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2f781772082feb26f543ab51b1165198d94d1216","datavalue":{"value":{"entity-type":"item","numeric-id":3003426,"id":"Q3003426"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"24256ebeab4145c9e38d596efdd0b09cd2908193","datavalue":{"value":{"amount":"+0.8172484636306763","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":"Q2835866$607CDB69-4EE5-4F74-8FA1-C2F5C1ED7C84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"32daf514979af1f778551e6855a9ad222281e837","datavalue":{"value":{"entity-type":"item","numeric-id":4681373,"id":"Q4681373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6fd2d1d1366c77debb8363c07b7d7f3d6fff0c8b","datavalue":{"value":{"amount":"+0.801848292350769","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":"Q2835866$47E34D1B-C964-405F-A438-B08FC37C6411","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c2db4973048dd1d1014e93961cf11d0c9aba9127","datavalue":{"value":{"entity-type":"item","numeric-id":352029,"id":"Q352029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b2f190321ac61c7e5271c29714bc55996ca1977a","datavalue":{"value":{"amount":"+0.7921323180198669","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":"Q2835866$DABB5F4F-9010-4549-9D46-66FB84C0C789","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A three-value abstraction technique for the verification of epistemic properties in multi-agent systems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_three-value_abstraction_technique_for_the_verification_of_epistemic_properties_in_multi-agent_systems"}}}}}