{"entities":{"Q3133186":{"pageid":3143902,"ns":120,"title":"Item:Q3133186","lastrevid":53018243,"modified":"2026-01-24T01:20:38Z","type":"item","id":"Q3133186","labels":{"en":{"language":"en","value":"SMC: synthesis of uniform strategies and verification of strategic ability for multi-agent systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6837757"}},"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":"Q3133186$828F987A-FA42-42A8-9F23-5537BB7607D6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"58ed54634d0710854bb24065d9554e29e624cd4d","datavalue":{"value":"1380.68283","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3133186$2B2D197C-C493-48C0-86D7-A028D0728503","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6f57432934127c0cff40165a0557c6094a324ff2","datavalue":{"value":{"entity-type":"item","numeric-id":2921966,"id":"Q2921966"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3133186$2FA65A0E-CBD0-45BA-9E56-9A2B2A3D7517","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f4d197b4fdb0e2bea73325927642730843ba1577","datavalue":{"value":{"entity-type":"item","numeric-id":2465423,"id":"Q2465423"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3133186$0502061C-7AD1-410B-8A8E-0145D575D6D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a3bc5ca0cdf3d434f2877c83bb14fe1425e818e4","datavalue":{"value":{"entity-type":"item","numeric-id":885522,"id":"Q885522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3133186$C5A5B1FA-0B8D-4623-A79F-CB9A8C447A1D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ee53210b31b3a9f4fe71da2550e4c06c4d383198","datavalue":{"value":{"time":"+2018-02-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":"Q3133186$67AC2324-36C3-4F9B-B787-767B6C95ACE5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3133186$A0B2C961-FF7F-4C6D-A576-A839BA0759D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3133186$2B9E4E7B-DAE2-4846-819A-D2724F8109A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3133186$121AEC54-6E31-4C30-BE1A-A3873374977E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"709ed67c42bb169499eabe0b6d04c203d4526e03","datavalue":{"value":"68T42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3133186$2A8C5731-1317-4585-B0CF-745F430DAD69","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"77d184f923dc4ce06665f5f6d51e647982b4edd3","datavalue":{"value":"6837757","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3133186$9CDE5C02-8A7B-4F5A-B671-409F9B355A3B","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":"Q3133186$3BBD0CED-AE8A-4AFA-9D3B-8C86D8A1F4D8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ea71c2abcbc2d69deba8dde55960a328d361f733","datavalue":{"value":"https://doi.org/10.1093/logcom/exw032","type":"string"},"datatype":"url"},"type":"statement","id":"Q3133186$42591255-7290-4861-A22A-00D8DE6ACC91","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8686e02eb18b0df9fb31a22e286b4bbaa184aed3","datavalue":{"value":"W2767386965","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3133186$6B770FEE-BAF2-44C1-89E1-FF802210E97A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"65a08243f5b2372687354e1285044973d9d62a6d","datavalue":{"value":"10.1093/LOGCOM/EXW032","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3133186$AF66337C-002A-4A7B-B920-F93F5C36E981","rank":"normal"}],"P1643":[{"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":"896b3660f4da71633218b07760bd9aa69459b2a9","datavalue":{"value":{"amount":"+0.9382394552230836","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":"Q3133186$04FEBE0B-05F3-474B-87A9-45B4A726D305","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":"026b8f9f5b92a6ccf7e9ac890609817bbd76c00c","datavalue":{"value":{"amount":"+0.8447346687316895","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":"Q3133186$211DC07C-1DE2-4356-AC77-8DF6EEFE8B43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ba22e4f2c260d9ec18961b825ffc9b5847ecf705","datavalue":{"value":{"entity-type":"item","numeric-id":5395080,"id":"Q5395080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"060a7589793f751b62b8ea1298bbb5704ffc6115","datavalue":{"value":{"amount":"+0.8363901972770691","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":"Q3133186$0031EFBD-9D4B-47EE-BE40-A9AEECCC1EDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7e6d6b36f1cdd9e12aa75c2139e1c1312794d065","datavalue":{"value":{"entity-type":"item","numeric-id":2481560,"id":"Q2481560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0a8a16bf672433c3183373dde0a0757435a19919","datavalue":{"value":{"amount":"+0.8279763460159302","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":"Q3133186$9BA83037-E914-4E6F-84E0-D6FF0A3E61F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e7f842bc54c5f2ba6c903324655c3b68d3358b7b","datavalue":{"value":{"entity-type":"item","numeric-id":3601787,"id":"Q3601787"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9f76902f081e5df03fa98169469d4ce4b5c2a1ef","datavalue":{"value":{"amount":"+0.8199554681777954","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":"Q3133186$EBAC1035-9E05-4EC9-9C35-AE7F92CD44D6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3133186","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3133186"}}}}}