{"entities":{"Q352029":{"pageid":353796,"ns":120,"title":"Item:Q352029","lastrevid":61173771,"modified":"2026-04-10T21:38:15Z","type":"item","id":"Q352029","labels":{"en":{"language":"en","value":"Abstraction for model checking multi-agent systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6183856"}},"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":"Q352029$210FEE04-61F0-401D-B40D-5BAB7046977E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2e17c8173680950005d857f0162139e6c7522c85","datavalue":{"value":{"text":"Abstraction for model checking multi-agent systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q352029$DF75E371-74A1-4F32-BF2D-66FCD2BD50D3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ed41111b0353215ada1fe12a323957bfa1b0bbff","datavalue":{"value":"1267.68145","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q352029$60AABD6F-E600-4AD4-BF29-81BD46C1C474","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b4f32d92be0b7993f68f726be5f5ad43db6728a1","datavalue":{"value":{"entity-type":"item","numeric-id":352028,"id":"Q352028"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q352029$A2DCEC98-F85D-497E-A509-04E2D1DF2271","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9ea53afdff88894d5c203e538184ecad985bed4a","datavalue":{"value":{"entity-type":"item","numeric-id":349639,"id":"Q349639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q352029$5A04E7EC-F2DE-4F2C-85A8-DFEE19C3AC7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"73532632d3e3261e00871d2462cbbeb7ad92a1fe","datavalue":{"value":{"entity-type":"item","numeric-id":276390,"id":"Q276390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q352029$D7D8FFC4-EBB2-4B1F-8A29-B9D99EA8F0FC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"95cb2c83394bbbcdd99484db77fc7dbad3dbd1ed","datavalue":{"value":{"entity-type":"item","numeric-id":351970,"id":"Q351970"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q352029$41B77CF5-AE43-48EF-9B77-6CC301917E75","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"45f59ec8787ff61160fde5fbcea29c61c8ec386c","datavalue":{"value":{"time":"+2013-07-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q352029$CE284CDA-D7BE-4C22-994A-3161CC26B7A9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q352029$1C10371D-9723-4056-BEC2-68078D12E635","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"709ed67c42bb169499eabe0b6d04c203d4526e03","datavalue":{"value":"68T42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q352029$686276BB-806D-466D-B08C-5DE53E16468C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"57fe673146454c5d3b6e2ef8768725f588681233","datavalue":{"value":"6183856","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q352029$7857B813-09CB-4DB1-AF54-78DE0B256BE0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q352029$A8F3B5B6-027B-413C-B865-5CA0D5501614","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e404e0d47002bfb1532cb42cfe324606a2151619","datavalue":{"value":"abstraction","type":"string"},"datatype":"string"},"type":"statement","id":"Q352029$E0986A69-F51D-4185-8443-F1CF9BA6CDE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ab20a0363e682206851b94b3be1e96bb56399f58","datavalue":{"value":"refinement","type":"string"},"datatype":"string"},"type":"statement","id":"Q352029$37E7A40F-AF92-42CD-B7B9-5F6A9151786B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"62ab0f04088fb6fde1de0acb7a30e8c9dd6eefb2","datavalue":{"value":"epistemic temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q352029$E404CAAA-6906-4255-851F-FFB9939E488F","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":"Q352029$F384B109-0549-4094-B596-F8DFE5DC0670","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"131a60b93ad6fdd290fc818dd0362fa70a8772f3","datavalue":{"value":"https://doi.org/10.1007/s11704-010-0358-y","type":"string"},"datatype":"url"},"type":"statement","id":"Q352029$FA8AD05E-4CC1-46C5-A2AA-4DB90919CDA1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"051e11de816f4b8e853b605d187c7a98d0fba7ea","datavalue":{"value":"W2003959877","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q352029$84EC0F5E-29E1-492D-BA1C-B773C026CC6B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f87e0c14123257a7d92334ce438dc07fa1c084c","datavalue":{"value":{"entity-type":"item","numeric-id":4016548,"id":"Q4016548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q352029$67B8D97E-6208-4365-A736-20C1A574A6BF","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":"Q352029$9F0A660E-744C-4AA1-AA1B-D7E2FA6EB355","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e17202040f1bd9e289c29fe7f13c3f54f07551be","datavalue":{"value":{"entity-type":"item","numeric-id":4738471,"id":"Q4738471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q352029$FF153E00-2B5B-41A1-9D0C-A00018B67312","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03f882972e0d4020177d8ec9773323d710a3e89a","datavalue":{"value":{"entity-type":"item","numeric-id":3141897,"id":"Q3141897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q352029$B739FC9D-96E1-4C52-9278-90375FC44726","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"80c4baa24f922ff45d12d43d0e3db7fc0bf45295","datavalue":{"value":{"entity-type":"item","numeric-id":3431037,"id":"Q3431037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q352029$DCD2C85F-BD31-46BB-84C5-280CCB48D659","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e89746956d217860016a766c2127e6c1ab5916e","datavalue":{"value":{"entity-type":"item","numeric-id":1322161,"id":"Q1322161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q352029$416ED4DE-87F4-415B-A342-5361FF95F618","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b64518fcc65551beddd4b9bec8720e5ef2c67af6","datavalue":{"value":{"entity-type":"item","numeric-id":4461756,"id":"Q4461756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q352029$D802294B-E987-4C50-B458-230033E9007A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"05348a557d2dd187a82890860a29298cc18e12f9","datavalue":{"value":{"entity-type":"item","numeric-id":1109008,"id":"Q1109008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q352029$2AE020F1-8109-465E-9304-154F22C70868","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":"Q352029$8D28A205-06FA-43FF-9E96-6BA9462A6D5C","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":"Q352029$42AF389B-CB02-400B-A40B-E286C2CBC845","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1e5151676b895efe10815eccdcd8a3d1eb0c0219","datavalue":{"value":"10.1007/S11704-010-0358-Y","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q352029$2FE97625-3E76-4B17-9AB4-0150903D907B","rank":"normal"}],"P1643":[{"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":"14881c5197b55e8ca5af13ee9158f422e9b94bff","datavalue":{"value":{"amount":"+0.94092566","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":"Q352029$3F7C568A-1AA8-421C-960E-2BD0F9DE6B8D","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":"e02cf9a42fbb1c41e89155a1411a5328ee01a897","datavalue":{"value":{"amount":"+0.9395956","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":"Q352029$8BAECFB7-89AE-4496-AC7A-8D3B56A91C09","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":"4df8cdef236f2a365b9b18f5d12e08c503b6288a","datavalue":{"value":{"amount":"+0.9371423","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":"Q352029$C8F5EB7D-BF06-4931-8566-047D48209820","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":"620a03d5928c32df493f402ca095f19272bce089","datavalue":{"value":{"amount":"+0.9309751","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":"Q352029$933757D5-EE90-4760-A153-9FBE22E71619","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a42f80238caafea6804c71b5e30628444ce29832","datavalue":{"value":{"entity-type":"item","numeric-id":4624673,"id":"Q4624673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c4799391ea80befc122e5e3c842c4056cb6531be","datavalue":{"value":{"amount":"+0.92979544","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":"Q352029$78AB15A6-6370-4B0B-B638-080CFB9C9DD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"39743f77185560a377781cc91bf41d36750009ea","datavalue":{"value":{"entity-type":"item","numeric-id":3401961,"id":"Q3401961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e2c589477e1160eda605e7c23522b08ab2988598","datavalue":{"value":{"amount":"+0.9271082","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":"Q352029$2B82D329-5A1F-47A9-BFE8-B7A3C6A561CF","rank":"normal"},{"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":"158edd7f04b054a9af3b038e4c3b459143f4a860","datavalue":{"value":{"amount":"+0.91404223","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":"Q352029$F2863B8B-44CF-48B4-A444-BCCE9FEEF331","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9f4948e6d0ab275ded2c0fc277953a0db0be5c30","datavalue":{"value":{"entity-type":"item","numeric-id":2873614,"id":"Q2873614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"91da777efc6d29c1898b31bb65483d85c1ce4889","datavalue":{"value":{"amount":"+0.9133611","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":"Q352029$80C77E88-C173-44CE-A097-5523D8BDA3FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dc25126f251f4b6a84501aa4f19ab7fcd0bb4eb3","datavalue":{"value":{"entity-type":"item","numeric-id":2426108,"id":"Q2426108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3a271acaed2393661ad26f1e9108d50755190e72","datavalue":{"value":{"amount":"+0.9058342","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":"Q352029$FD79C9C7-77CD-424B-B62B-070B10D38B3D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Abstraction for model checking multi-agent systems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Abstraction_for_model_checking_multi-agent_systems"}}}}}