{"entities":{"Q6545555":{"pageid":14156709,"ns":120,"title":"Item:Q6545555","lastrevid":55669402,"modified":"2026-02-17T20:44:21Z","type":"item","id":"Q6545555","labels":{"en":{"language":"en","value":"Base-based model checking for multi-agent only believing"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7855137"}},"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":"Q6545555$E0EA65EB-4256-4D39-99A7-AF2337181C8C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a94e5df81c0b7d549beefc09aa8d0df5ae56daa1","datavalue":{"value":{"text":"Base-based model checking for multi-agent only believing","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6545555$C1C07A32-68F9-4B75-9B89-9B6DF29A9D2C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"785be1e4762969c47114e30821ea9f8d686b388b","datavalue":{"value":"10.1007/978-3-031-43619-2_30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6545555$845E42CF-7DE5-4AA1-8AD5-3E669D054EDE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9d09766d888a0213ca4fbb8f44744783f688574e","datavalue":{"value":{"entity-type":"item","numeric-id":970090,"id":"Q970090"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6545555$AB060D2A-850D-4229-AC1E-28A65E373C33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e37039adae9fb9dcd5098e398204f72e6792882b","datavalue":{"value":{"entity-type":"item","numeric-id":302222,"id":"Q302222"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6545555$AB9CA998-65CD-40FC-A55D-F8D126275B7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fa3ef14ff1cf746521ac49865650a6a5916aaf29","datavalue":{"value":{"entity-type":"item","numeric-id":302224,"id":"Q302224"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6545555$86F72357-A354-4A40-8A25-86FB11A082A1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2c775b7be76488bf652b31b8283b5e517156ef32","datavalue":{"value":{"time":"+2024-05-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6545555$FD8D537A-1B49-42EB-89B6-A641758061B9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6545555$39DE9156-FDD4-45F1-A645-FD7A806AE843","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ebf40260d678e9711b88266abeb442ebc8af6001","datavalue":{"value":"7855137","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6545555$3C128967-02A8-431C-8060-C904B7614E53","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":"Q6545555$F1E2D25E-3D59-4A74-96C4-7D7E60EB7C49","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"907e61bf9dc64405c632f5635bee6bb57f66b8ba","datavalue":{"value":{"entity-type":"item","numeric-id":5740436,"id":"Q5740436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6545555$CECB56ED-BD37-4B40-BBFF-62DFC1F6AE18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b107c5d88e77357030a267fdbe2b4c9942fec330","datavalue":{"value":{"entity-type":"item","numeric-id":4612409,"id":"Q4612409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6545555$DAB5C3EB-AF27-40F3-A528-CCA3E222FD72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2780cb9fdf61618856c9d3fa9872ed7376af6953","datavalue":{"value":{"entity-type":"item","numeric-id":2901205,"id":"Q2901205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6545555$7119C6EF-2874-409A-83EA-0D6B7A172E31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"42e8740e208870b99b901eda211b81858055fae2","datavalue":{"value":{"entity-type":"item","numeric-id":4302840,"id":"Q4302840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6545555$86CD0983-1B3B-49EE-9F38-D4926FCDBCEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf9dbfbb7413c1e675271d32954ffa122ba5c0ee","datavalue":{"value":{"entity-type":"item","numeric-id":1806329,"id":"Q1806329"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6545555$71A1FF9A-8949-4E3C-B5CE-82E9C49D4875","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":"Q6545555$E30FC186-AF49-4A16-8604-80323ADB45A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b4d2a1acabc8d0c27a05aa69968baa678ad24687","datavalue":{"value":{"entity-type":"item","numeric-id":1096610,"id":"Q1096610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6545555$A69CC7AD-1084-40C7-8011-DAD5165A9BCF","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":"Q6545555$3FECCAAF-58D3-449A-AF71-B630C8A5AF06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cbe5631f69547da09e107e898113ea79ffe44647","datavalue":{"value":{"entity-type":"item","numeric-id":2720397,"id":"Q2720397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6545555$F2DDF0B0-D5A9-4E96-A089-0CC023F6E220","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"307e53818e6dad7b853304ca71ddc563f5e76e0d","datavalue":{"value":{"entity-type":"item","numeric-id":2276949,"id":"Q2276949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6545555$5FE50A78-A462-453B-A237-DD3393922FD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"175761ed6e3efab54f563a28d882f2a66d63898d","datavalue":{"value":{"entity-type":"item","numeric-id":5018521,"id":"Q5018521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6545555$3A8138ED-0DA2-4A71-929F-C9D9236C76FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c6271b24c54db4cf684d60bbf4a825f87c858069","datavalue":{"value":{"entity-type":"item","numeric-id":2307332,"id":"Q2307332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6545555$3F1EAF4F-C50D-42F6-B3C7-D3F6B890BDD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e341f9b351965a3e26d02ae2f2e2d38fa74c947d","datavalue":{"value":{"entity-type":"item","numeric-id":1060139,"id":"Q1060139"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6545555$6E94C483-F385-4AC6-8506-A2DB41E177F2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"93bdb04e9929e0b62069280f3d8d82bbf0c6bdc0","datavalue":{"value":{"entity-type":"item","numeric-id":5740436,"id":"Q5740436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a26d78c7b9466574e67138e93cfdefaf80874dbe","datavalue":{"value":{"amount":"+0.773967981338501","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":"Q6545555$DFF04C00-0AEB-46D4-B179-2D8ABAB36582","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7e36469bd3cd7ea0b6b81aabc659572d3b1d90b9","datavalue":{"value":{"entity-type":"item","numeric-id":4536746,"id":"Q4536746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3de498dbe991dfe4a66a8d1b71c9d478bed364a8","datavalue":{"value":{"amount":"+0.7575206756591797","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":"Q6545555$9782D14E-96BD-466E-83A9-A0B6EE93A596","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bb93040098d9645df8261f1ff2b44e048c9c8289","datavalue":{"value":{"entity-type":"item","numeric-id":5696417,"id":"Q5696417"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0a2356cb0a9ee6147b38b03a286bedc41fdd1554","datavalue":{"value":{"amount":"+0.7494875192642212","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":"Q6545555$E1CE82C5-489F-4D00-8854-9A51E9A2E6C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"305601bd10e4543ee41f5a7c6bc2673dbabf52b6","datavalue":{"value":{"entity-type":"item","numeric-id":4209291,"id":"Q4209291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a787949b2d099e80b39164d14f05ec74151cfab6","datavalue":{"value":{"amount":"+0.749417781829834","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":"Q6545555$C809DC5E-0A1E-4DC0-AB0F-797120BD5D73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"530dd4f673f26279b0394ccc7efb39ca8606eb28","datavalue":{"value":{"entity-type":"item","numeric-id":5018521,"id":"Q5018521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"04f071d3ebc06e32e77410476deae66da6c46c76","datavalue":{"value":{"amount":"+0.7443550825119019","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":"Q6545555$B5FBDFD2-818E-4DAB-8672-2AACAE80FE7D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6545555","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6545555"}}}}}