{"entities":{"Q3003426":{"pageid":3014150,"ns":120,"title":"Item:Q3003426","lastrevid":85694393,"modified":"2026-06-03T11:11:05Z","type":"item","id":"Q3003426","labels":{"en":{"language":"en","value":"Automatic data-abstraction in model checking multi-agent systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5900298"}},"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":"Q3003426$894B7378-F964-4731-9C42-F4DFA0AF0305","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e0b367a1e2464092e096a682a0e7d153be2cc6c4","datavalue":{"value":{"text":"Automatic Data-Abstraction in Model Checking Multi-Agent Systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3003426$B865FFE1-33AA-4623-87F2-901205E1ECC4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"297f8172d2ed3dba9e5fb7d590c4ff9cbd4cebb9","datavalue":{"value":"1327.68162","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3003426$A2F0D37F-75E4-4691-9FFF-4435531E9CB3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f40448fd663a2a04b312d42e9b8ee4c8019d1c4b","datavalue":{"value":"10.1007/978-3-642-20674-0_4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3003426$F1B92A0B-7169-4595-8151-FB139F3402EF","rank":"normal"}],"P16":[{"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":"Q3003426$4144594E-0704-4AB5-AF4F-FBE1D7B333A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9e4b7b7694de42580b828c1d9702cbdf9a379289","datavalue":{"value":{"entity-type":"item","numeric-id":947795,"id":"Q947795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3003426$DD0F34A6-DD46-4F6A-A620-A874C7815FDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8d2a7f85a2b2c698ff87f1cbcb450fffbf25d20d","datavalue":{"value":{"entity-type":"item","numeric-id":3003425,"id":"Q3003425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3003426$6CEE673E-3439-4C3B-8467-7629B41C2493","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e30f5c42aad001db063f687525b9c7c698118a50","datavalue":{"value":{"entity-type":"item","numeric-id":3003423,"id":"Q3003423"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3003426$684FE0D5-08C8-4DD3-B7BD-DA175B7FBB2D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3175b0056ab29270a0640c1aae102bae06142a3a","datavalue":{"value":{"time":"+2011-05-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3003426$B4C11AE0-4776-4022-83B5-5428055E445E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3003426$3846606A-C698-4487-B902-37BF62B0D2A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"709ed67c42bb169499eabe0b6d04c203d4526e03","datavalue":{"value":"68T42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3003426$25EEAC66-1379-4780-B385-CCA884F54DC6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ae3167338943014a1158148512795611bed8cc0e","datavalue":{"value":"5900298","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3003426$9AEE87BA-36FA-4E43-8424-0906A2E01788","rank":"normal"}],"P1463":[{"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":"Q3003426$493236B9-17D6-407D-8BD9-B13601D8DC3B","rank":"normal"},{"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":"Q3003426$5E72DE64-55D3-4A1C-8FB0-03692B92AD46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1bc012cf10551bf42bb05efd85ce69678e698524","datavalue":{"value":{"entity-type":"item","numeric-id":16622,"id":"Q16622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3003426$AEB018EE-A888-4C48-82E6-4B33982FC03C","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":"Q3003426$BD9C71D9-9535-4784-897A-34D10B7EA0AD","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":"Q3003426$E4662EE4-5F45-4E40-BA4E-63F523889089","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b9f7ac813ba969482d92f1418a5a0d7d45b32c4f","datavalue":{"value":"https://doi.org/10.1007/978-3-642-20674-0_4","type":"string"},"datatype":"url"},"type":"statement","id":"Q3003426$A7201A03-A2B5-45E3-8043-AFDDEABBA579","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"43ff9a4c667897d676525192bc7686a250ae3ceb","datavalue":{"value":"W1600750145","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3003426$4346D9D7-EA61-40E8-939F-E526456C1765","rank":"normal"}],"P223":[{"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":"Q3003426$28EF03C5-0579-458C-8AB1-69481E7A19A7","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":"Q3003426$5E09CD57-D303-42A6-9E92-D349AF8F1112","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d8c4926d921723621e92ff27082147a2e5dddbdb","datavalue":{"value":{"entity-type":"item","numeric-id":5505597,"id":"Q5505597"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3003426$824C2864-A4BC-4ABE-86CB-7656409277CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a49c18731429c6e6e01fb66b974721ad0aeac5f","datavalue":{"value":{"entity-type":"item","numeric-id":1051419,"id":"Q1051419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3003426$8C7024C2-15E8-44AC-826D-41FFD0C3DD9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef3518747980c92624a325c7a504a42054996e43","datavalue":{"value":{"entity-type":"item","numeric-id":2852032,"id":"Q2852032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3003426$A95FF110-CC27-4D8C-B1FF-598D8D73ACC7","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":"Q3003426$A1B15A22-DCCA-440F-AD16-FC6224684FB4","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":"Q3003426$A4926110-8A2D-4B7A-B2BB-BA07F8912D6B","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":"Q3003426$9183FC0D-D8D2-470F-8A86-33068B2C2728","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":"Q3003426$EBC0D1A0-C0E8-4160-AAB0-9D1FBA7AC985","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":"Q3003426$011C3D45-F96B-4E32-8810-552CF227A147","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":"c5c3feacc38e36c412a9bd6e7f76b9a98d3eea17","datavalue":{"value":{"amount":"+0.8537289500236511","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":"Q3003426$7B19E49A-4E55-4466-A14D-14566CB1315E","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":"621fa60e699edb894b0fc9e8bcdcea751040bec2","datavalue":{"value":{"amount":"+0.8462209105491638","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":"Q3003426$CC342C37-9A65-4CE7-8748-24D3A6733DD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7da4e424c6bc6ebf761232bb9f9be0a4bcf605e3","datavalue":{"value":{"entity-type":"item","numeric-id":2835866,"id":"Q2835866"},"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":"Q3003426$855A5726-ED82-49F9-818B-F635F110BBBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f8e55bb5af3c4c87158030d0505f4a3d6ad9a3d4","datavalue":{"value":{"entity-type":"item","numeric-id":3117554,"id":"Q3117554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0922156f4579412caef5e9431b131244f8024df4","datavalue":{"value":{"amount":"+0.8081867694854736","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":"Q3003426$AB011F67-4261-4BDB-92BF-9696AFB0AE3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"95c80cddb6e959b85dcb0d73bf6d9ca1bb6c5489","datavalue":{"value":{"entity-type":"item","numeric-id":3433724,"id":"Q3433724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f26c7088274fed1fa487a2de06c0c8fbc2a61c73","datavalue":{"value":{"amount":"+0.7965723276138306","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":"Q3003426$FD2B17A6-312B-4117-A97C-4E87F99E8DF9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Automatic data-abstraction in model checking multi-agent systems","badges":[]}}}}}