{"entities":{"Q2361350":{"pageid":2372093,"ns":120,"title":"Item:Q2361350","lastrevid":57876384,"modified":"2026-04-02T22:04:43Z","type":"item","id":"Q2361350","labels":{"en":{"language":"en","value":"Model-checking for resource-bounded ATL with production and consumption of resources"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6737604"}},"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":"Q2361350$7447B179-BFAB-48E4-B462-17C309ACBC68","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9fa7df1c0d9a9baf561a9ef3ba1b172234b605ae","datavalue":{"value":{"text":"Model-checking for resource-bounded ATL with production and consumption of resources","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2361350$E7EFDF8F-D2C3-445B-945A-515834AAEFB5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"84e85a0bc5b9ea791d3bb2aefad39e7cd7d37cd2","datavalue":{"value":"1371.68173","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2361350$3F8BD367-08F1-47F7-946C-68670F0AB8A5","rank":"normal"}],"P16":[{"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":"Q2361350$CD48968B-7F90-4DDC-9AE5-245F84FDD47F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1d52aeee7b8bf072b0ab639aadd1e7acccb1b466","datavalue":{"value":{"entity-type":"item","numeric-id":208224,"id":"Q208224"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2361350$FFF00CB3-450B-4C31-AAEB-47E3C5881C95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f31cbb69d992932609412c99f70ead74ade8028e","datavalue":{"value":{"entity-type":"item","numeric-id":514141,"id":"Q514141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2361350$BD6FF7BD-8130-4261-95BA-C55C736EAC67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"462045eb4c5374d9047918caf1a69c2a2d3c23fa","datavalue":{"value":{"entity-type":"item","numeric-id":310085,"id":"Q310085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2361350$6AAB7672-526E-47CB-BD3F-7CCC76DAAAAC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3340243f57e05f2265c56423c388055a14b114fa","datavalue":{"value":{"entity-type":"item","numeric-id":107189,"id":"Q107189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2361350$0E369B14-B0FE-4F42-B9BA-09CCBC352DB4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"758f9fd6df3ac6c3368addd89bd0f25a24f95ed3","datavalue":{"value":{"time":"+2017-06-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":"Q2361350$B8AF761A-ECDE-4303-88D0-75E65BBAE03E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"74db61c25de2951760a56517ec028bf5d44cee8f","datavalue":{"value":"https://arxiv.org/abs/1504.06766","type":"string"},"datatype":"url"},"type":"statement","id":"Q2361350$DEA60B90-06E8-4F50-B385-A63E9659FFAB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2361350$7621C405-50A6-4D9A-8E45-03AFDD38F40D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2361350$98D5C7C3-85CD-45B3-AC84-B5F1205A3DD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2361350$216937C6-267A-4794-838B-7D9465D7ADE3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4b14d90604ab000d6988cc1289b51821ce0be0e7","datavalue":{"value":"6737604","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2361350$72928259-47C8-43DF-9ACD-A6BE79D07AC6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q2361350$54B4F683-97D4-49A3-A9CA-5860B0BEE7AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"09a4d1df3248b5d4a0c18f406a6ed3603fb9672e","datavalue":{"value":"resources","type":"string"},"datatype":"string"},"type":"statement","id":"Q2361350$29A07B18-ABD6-4691-8957-A9EAD82D9B55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9a7d06a5fdb4dfda35fe404fc6cd438bf6d0008c","datavalue":{"value":"coalitional ability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2361350$26328417-CF12-4124-97E3-A8211A67567C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7fff1e6e1f60183e412e49f6cd69e29174f9f3c8","datavalue":{"value":"verification of multi-agent systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2361350$4E8FDD94-F1A7-4865-B104-9EE4E94F4BCC","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":"Q2361350$FC9E5CEE-E2D7-4433-90BE-272D964B154F","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":"Q2361350$DE96571C-DA6C-46DB-B303-6A81B8964F3B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e235c47d96fba134ad5a7ce841cd00072bc4ed43","datavalue":{"value":"W2526576663","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2361350$10C0C016-856A-42A1-92FE-8CC00A908635","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d969bd9e9070eb4e4b53be99bf5557f5f64d3d3","datavalue":{"value":{"entity-type":"item","numeric-id":3455546,"id":"Q3455546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2361350$98399D3C-9B38-48A6-BC41-B5D441E0FA13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"397040feb7173867107e4b166da0edde931683b6","datavalue":{"value":{"entity-type":"item","numeric-id":3056329,"id":"Q3056329"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2361350$3ED83630-CF9D-4E4B-AA53-6186DC395B92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"77cc696a69f0f766d4b8932576932c3bf5d8de29","datavalue":{"value":{"entity-type":"item","numeric-id":2999192,"id":"Q2999192"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2361350$C4B53631-05E5-4F1C-8BC7-292CE758579E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4c14bc875c66ff52b141cf21722a24492eadfc8a","datavalue":{"value":{"entity-type":"item","numeric-id":2825419,"id":"Q2825419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2361350$C45168D8-9DDC-4F1B-9128-B8FB60E7E5B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a6c811846911b0a37f5c2305fec6e120be334b48","datavalue":{"value":{"entity-type":"item","numeric-id":4992519,"id":"Q4992519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2361350$AB07E8B3-2A39-40AF-B5FC-51F027162A13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cdadd7ed811cf1681423acca95600438e5e530fa","datavalue":{"value":{"entity-type":"item","numeric-id":3388742,"id":"Q3388742"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2361350$F243DE37-8681-4C3F-A632-DC5633E10311","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"731fff832e7711198e063399154f72f88c50c123","datavalue":{"value":{"entity-type":"item","numeric-id":3719811,"id":"Q3719811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2361350$F751409D-2FB9-4E32-B5A9-B858C010950C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"308ab865f7be1580d707f9d457e96036fd5e06d1","datavalue":{"value":{"entity-type":"item","numeric-id":5282949,"id":"Q5282949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2361350$EDBDD9C0-828C-46D9-9B59-7BC74BE90BFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c506dcd1dbf98f0bb1d5f7478939caf3f8727942","datavalue":{"value":{"entity-type":"item","numeric-id":3219122,"id":"Q3219122"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2361350$9A92B3F8-B58A-44FF-A2CE-AEAB76610590","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60c1697aa51580c43a538bde6ae6e5a07947b760","datavalue":{"value":{"entity-type":"item","numeric-id":5166672,"id":"Q5166672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2361350$30B30145-0E3C-42D7-B993-29B610F75AC4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7524ac95bb132efe254aac73a167f8a68ef683ec","datavalue":{"value":"10.1016/J.JCSS.2017.03.008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2361350$18752568-38B7-4F68-A299-6F458DEAE418","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"36c6e6559f33f2c87cdc53a92fba7d8c6af1205b","datavalue":{"value":{"entity-type":"item","numeric-id":5282949,"id":"Q5282949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5b203e81a139eb8dd33d863e95ee3c10ef082d03","datavalue":{"value":{"amount":"+0.9524561762809752","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":"Q2361350$A24A1F30-8BB1-4B7F-A927-B08C798164BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8ee7a99128e065b84ecac2151e9818c5954c79d7","datavalue":{"value":{"entity-type":"item","numeric-id":5915568,"id":"Q5915568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b7bc9417c2801edae63253e117c920d9446155ea","datavalue":{"value":{"amount":"+0.8455976843833923","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":"Q2361350$B9A7CE95-36F9-4062-85BF-1D931E6D3986","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"502d1a89964565a5e4757331708ecd2f8844de3c","datavalue":{"value":{"entity-type":"item","numeric-id":4999260,"id":"Q4999260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fd53febd14dbced57edf761ba5418835390af572","datavalue":{"value":{"amount":"+0.8433955311775208","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":"Q2361350$A3E27EFD-A70E-4730-84F7-A68608D2D88D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b67bf86debead7fd2566610f12f7e431501eff23","datavalue":{"value":{"entity-type":"item","numeric-id":3103974,"id":"Q3103974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a90563f8f78e341096be057ca4c2d189a13b59ca","datavalue":{"value":{"amount":"+0.8374712467193604","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":"Q2361350$B7551748-BC09-4E4D-9C6C-44CCE295E286","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6932e88451e757ee35db2967e8f7727b2c025b24","datavalue":{"value":{"entity-type":"item","numeric-id":4612421,"id":"Q4612421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"046daddf61e65ad6695e43c3980bd9c64a34b793","datavalue":{"value":{"amount":"+0.8322185277938843","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":"Q2361350$3C37885B-031F-400E-B085-FD968ABC0BE5","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2361350$7B8D2E6B-FCCD-4508-9DC2-92359E3C1516","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2361350","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2361350"}}}}}