{"entities":{"Q2154045":{"pageid":2164788,"ns":120,"title":"Item:Q2154045","lastrevid":54361610,"modified":"2026-01-26T17:04:25Z","type":"item","id":"Q2154045","labels":{"en":{"language":"en","value":"Model checking and strategy synthesis for multi-agent systems for resource allocation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7556529"}},"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":"Q2154045$E9CB47D5-8582-4205-B3A7-B8072810AB3B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6c92e3752b41ce72e030f9ddf78e2bb7d934f122","datavalue":{"value":{"text":"Model checking and strategy synthesis for multi-agent systems for resource allocation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2154045$41E625D9-A09C-49B0-AA56-E533C293BE7F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"be64aaaa6b442d159f966b6179fd42bd0c77c408","datavalue":{"value":"1498.68343","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2154045$BD9185CA-EC65-49BF-B5D2-0A15044102A2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ea91030b3913e53a17a33ab5cfea2612fc95db4b","datavalue":{"value":"10.1007/978-3-030-92137-8_4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2154045$E4F3983D-E39F-4E32-91D0-89A4EFD53A75","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"24ded8c8d541f1e4a4b945a9397a18dce6ec659e","datavalue":{"value":{"entity-type":"item","numeric-id":832015,"id":"Q832015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2154045$BDED8A2C-93E5-41E8-A435-932AE543CF30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"083c0d83eefc3fd561c2d4cccf6449c52a4899f9","datavalue":{"value":{"entity-type":"item","numeric-id":2154044,"id":"Q2154044"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2154045$201A243A-D0F9-46FE-9C78-CF5A3E0FBDCA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5a10feb846ab08eff879cd9ad8918c74f60818d7","datavalue":{"value":{"time":"+2022-07-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2154045$614754DA-5B27-4856-A5CB-5CD18CE7629D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"709ed67c42bb169499eabe0b6d04c203d4526e03","datavalue":{"value":"68T42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2154045$F61E045D-7B60-4DE1-BF70-85EB1BB99529","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2154045$1A9023FB-60B1-4AB0-9AE0-8EE94ABB32FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2154045$5380932C-9BA5-4E50-83A9-1EA96809DD90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3783afd39b9a4c0ecdd0e6ac842f765284c23884","datavalue":{"value":"91B32","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2154045$CF95886A-4EF9-419E-9348-A642274E917B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"718fdcbd630a13a018804f4f761da57c3ab304c4","datavalue":{"value":"7556529","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2154045$75598333-5D31-477E-BE70-DFA07A145803","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":"Q2154045$FF11DFF7-FE55-4E61-90C6-C4E465C9E7CC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"573e51566cbde4b94f8caa85e8ad4ca0bf9aaa62","datavalue":{"value":"https://doi.org/10.1007/978-3-030-92137-8_4","type":"string"},"datatype":"url"},"type":"statement","id":"Q2154045$C3721382-BA47-4C95-B0AF-24D50991E7C7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7169f8fbd95431bc8d812890d7abe8e53d940105","datavalue":{"value":"W3215436609","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2154045$987A9AD4-5E5C-4635-9FD8-AC1F10EA0EFE","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":"Q2154045$E9A5A68F-139E-4704-88E3-E6F1F085DD25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b0c7436976c5b9893e05c1462fed16a80d7904d","datavalue":{"value":{"entity-type":"item","numeric-id":5322945,"id":"Q5322945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2154045$7E35FA47-F49F-461B-8408-DA68B425D034","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9370899dedc1d653d16f1f5aaa8b6c6be96f529c","datavalue":{"value":{"entity-type":"item","numeric-id":3604000,"id":"Q3604000"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2154045$3D3B120F-3FD1-46AA-AD77-682307A8E8DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f0618ab971b1402c4c34251dffc850ea86689a4","datavalue":{"value":{"entity-type":"item","numeric-id":1856168,"id":"Q1856168"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2154045$510FED05-739C-4FDE-AEF8-E5681D533CE0","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":"Q2154045$F8BD3963-49AB-42F0-B385-3637D9D52FF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f9e341da5a9b743ac58f2e58171119688f95a6ba","datavalue":{"value":{"entity-type":"item","numeric-id":5121410,"id":"Q5121410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2154045$35DBE6DB-5937-43F7-A426-33FB9981193D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eabfbcb477b7637f4c9ba59fe13e67c7127e940c","datavalue":{"value":{"entity-type":"item","numeric-id":2386107,"id":"Q2386107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2154045$FD7F3839-8A9A-4875-83F3-4EF0635A6860","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea922bc3cd3ddaaa42fe2bfaa5b81fa3391d5959","datavalue":{"value":{"entity-type":"item","numeric-id":3088266,"id":"Q3088266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2154045$F8B53262-8EBD-4472-AB8D-E14D30E81C4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7bb45f7d6639f84b527141fafd39e33affb92f14","datavalue":{"value":{"entity-type":"item","numeric-id":1028970,"id":"Q1028970"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2154045$71A20DA2-E1C8-45A6-9C12-E010057228CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"855175b1690eae4088ff0480f14919b20c9d8278","datavalue":{"value":{"entity-type":"item","numeric-id":3133186,"id":"Q3133186"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2154045$17204541-52D0-4004-A3DC-45D63E6630BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19ec1ba56991efe8104d108b59c02ed6e35948b1","datavalue":{"value":{"entity-type":"item","numeric-id":2372185,"id":"Q2372185"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2154045$860657E8-8758-435B-8042-A2D3690F2277","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65f790ef2f580ed796607afddaa2f4f77f9cb97d","datavalue":{"value":{"entity-type":"item","numeric-id":3519515,"id":"Q3519515"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2154045$71B8BAD2-78CA-4DFC-BC73-8A11D2E5DD91","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d58bbfe3474144758556e95b7e5c93e8a37cea4","datavalue":{"value":{"entity-type":"item","numeric-id":3133186,"id":"Q3133186"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e7b097b32cc6b8f501d10da1483ef032a239a639","datavalue":{"value":{"amount":"+0.7764555811882019","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":"Q2154045$72DEC67B-F8B1-45A8-8467-26E18DDF10D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ec72b07953d20bb198d1fc4adf9d86f16a1ea81f","datavalue":{"value":{"entity-type":"item","numeric-id":2921967,"id":"Q2921967"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c2be75096a53494e4a08080906dc6a7bfb300c64","datavalue":{"value":{"amount":"+0.7608208656311035","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":"Q2154045$8636F068-4119-4D74-ACB7-6E990C3D8007","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"56a41bd364839a2a7fe17958c3fe5b558bc3b486","datavalue":{"value":{"entity-type":"item","numeric-id":3188235,"id":"Q3188235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9817894c0a8756d17015f00caa41c2f85be1632c","datavalue":{"value":{"amount":"+0.7540771961212158","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":"Q2154045$D67505E3-B906-4C7B-8C53-635C209A7F2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a6b9fd2e48ba8db7382fb350370d66c876db2049","datavalue":{"value":{"entity-type":"item","numeric-id":2125548,"id":"Q2125548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"85ba66d00dac9a9de3d5e3fd3e3f1a46dbee4808","datavalue":{"value":{"amount":"+0.7537133693695068","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":"Q2154045$6F2DE225-98E0-44A8-A282-01E351FBD144","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"39dec6f824debbbe594bdeb82c5b473ca7bf20eb","datavalue":{"value":{"entity-type":"item","numeric-id":4992519,"id":"Q4992519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"65261573aa249ecad1a9e62450ddc12ccfb4d4b4","datavalue":{"value":{"amount":"+0.7517642974853516","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":"Q2154045$4CC64667-F52D-4F82-83AC-23FECD11D5B7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2154045","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2154045"}}}}}