{"entities":{"Q539229":{"pageid":540996,"ns":120,"title":"Item:Q539229","lastrevid":62599269,"modified":"2026-04-11T07:11:22Z","type":"item","id":"Q539229","labels":{"en":{"language":"en","value":"A data-flow approach to test multi-agent ASMs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5900646"}},"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":"Q539229$C7FE9750-34BE-4F68-BD0F-5E81B40D4F6B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"804be64fc2d4267ea89bffbfd84bb7553cbcdd1c","datavalue":{"value":{"text":"A data-flow approach to test multi-agent ASMs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q539229$AF904881-BA74-4293-84E4-0C8DEE2AF52B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"281e60e2c9222c10ba1a0df274efd077afd79ebb","datavalue":{"value":"1214.68210","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q539229$3C9040F2-45DC-4D6A-89F8-843C1DFD8D86","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5d0e99c5ae23f23f039ccedc50aae3eae04cc6b7","datavalue":{"value":{"entity-type":"item","numeric-id":539228,"id":"Q539228"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q539229$624618C0-861F-4D32-85DC-07552DD51A26","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d9925518446645d219093152a820aba790417b61","datavalue":{"value":{"entity-type":"item","numeric-id":164203,"id":"Q164203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q539229$F326909B-06FA-4F84-84BB-F33DF438BC1A","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":"Q539229$169A56F6-B6F7-44A6-BD52-90D2697D77EB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q539229$C97145F3-26BB-4C78-A552-27BF3C62D6D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q539229$FCBBBB10-96F5-4B0B-A80E-8FCDA69CA7F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a7dde57cbaf704d564d8f981ca98d6340e3d4aaf","datavalue":{"value":"68Q05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q539229$02EB54ED-B565-4736-803B-44794148DC9F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"716169f5d954f35c5980843320cfac0852d2e03b","datavalue":{"value":"5900646","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q539229$5D3EF421-4D79-47CC-AA26-9810F169D50C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"78c970019c5d7186e4fa8736dbf7afee746108db","datavalue":{"value":"model-based testing","type":"string"},"datatype":"string"},"type":"statement","id":"Q539229$8EDF57EB-4562-4149-A840-9D240F2F7A77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"06de4932bfd6c39a209d6b6c0873900210095e11","datavalue":{"value":"data-flow analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q539229$C04B3313-61AB-4F8A-A99C-F38E9974B885","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"836c1cdbc0b9ddc8b99c5d1f428d818e5063db30","datavalue":{"value":"abstract state machines","type":"string"},"datatype":"string"},"type":"statement","id":"Q539229$11843F9A-8BAF-48AF-9A54-3A6EAF50177D","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"931673e327ab5af6b4a4a896f7ce50ce578b00cf","datavalue":{"value":{"entity-type":"item","numeric-id":54923,"id":"Q54923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q539229$8C761EB2-01D1-4C51-885A-76040155E354","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a55b4331d33c5bdf471f07b9a043ccfd0542d8dd","datavalue":{"value":{"entity-type":"item","numeric-id":54922,"id":"Q54922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q539229$FFD03B37-85CF-4317-B2DC-25A475FAA0B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"6e512dc39995f2ce968725461f7500073f6e4eef","datavalue":{"value":{"entity-type":"item","numeric-id":14485,"id":"Q14485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q539229$B333F238-2FD3-4A55-8012-FD12530F1E6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"3f593c467ad497cb96b9280f871657165fac7c09","datavalue":{"value":{"entity-type":"item","numeric-id":54924,"id":"Q54924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q539229$8958A0C7-2BB8-4F1E-A8E8-F73577183B41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"53a4a9b6c38d395d5b2eb80cedc3eefcbf3e9947","datavalue":{"value":{"entity-type":"item","numeric-id":15987,"id":"Q15987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q539229$98348ECE-6A8B-455F-B334-9894D27F6D1A","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":"Q539229$4ED996FE-EFAA-41A2-BC13-752F06A3A19D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a36e30ec1cdda5b3b2ac6d3b9dd8a080355dbdd9","datavalue":{"value":"https://doi.org/10.1007/s00165-009-0134-7","type":"string"},"datatype":"url"},"type":"statement","id":"Q539229$1CC486C0-BB24-41C1-98B6-1D16A726B4EA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"14272b293bc06ecc58f96823f87ac3ed26d567d2","datavalue":{"value":"W2063949613","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q539229$88519840-DEEB-445E-854E-601B9BE1D53D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f6831d6f4f9fde3d52dc4e5e047d418bc2355f24","datavalue":{"value":{"entity-type":"item","numeric-id":2753710,"id":"Q2753710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q539229$6B6F763C-DE6B-486A-993B-A76B4E500BD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb3287fe9b87d70b033a45c1b260a283929ff1a9","datavalue":{"value":{"entity-type":"item","numeric-id":4520499,"id":"Q4520499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q539229$5CA436CB-F93E-4C32-BA08-D2CA8BEC31C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"02255c7569a65108facc7ff2d5bebfa15cfb3973","datavalue":{"value":{"entity-type":"item","numeric-id":2753665,"id":"Q2753665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q539229$177E3047-7AD8-40B7-9C70-BE8AC8B31AFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f5559705c88300f025db4dd7bf1a2b94eeebea8","datavalue":{"value":{"entity-type":"item","numeric-id":2769619,"id":"Q2769619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q539229$DA4FAF6C-DD65-44CE-BF9B-57B3BC266F96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f40c06fd7968edbe99aac81ac16efc1161fcc445","datavalue":{"value":{"entity-type":"item","numeric-id":3535367,"id":"Q3535367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q539229$0DCA67C1-BAF6-481A-BDF5-05CFB99534AF","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":"Q539229$A1C4EEA2-089C-4F5B-8CD9-EAAAEDAEAD9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b51ce64dda5bb204d604f1268090f127995ab8b","datavalue":{"value":{"entity-type":"item","numeric-id":4518903,"id":"Q4518903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q539229$73549AA2-51B5-4339-B978-C4A7D7C9A09E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"97dabd95b25194c784d1cce48dd1c4cc7c106863","datavalue":{"value":{"entity-type":"item","numeric-id":5294158,"id":"Q5294158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q539229$A218D477-DA77-42D3-A36D-CF90A549011D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"95fd8e9c9fa22228ed8be345f99ad6066f7e4cd0","datavalue":{"value":{"entity-type":"item","numeric-id":4413684,"id":"Q4413684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q539229$82701273-A405-46DB-B454-76DA047E10C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a3bf9613ae9804ab4d6c1a4bf2f77f2d5228a33e","datavalue":{"value":{"entity-type":"item","numeric-id":4873985,"id":"Q4873985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q539229$8FDCDD9B-4E3F-46E0-91E3-9050D158B039","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"afd1e92267de1715bf4044f2d23a45c75f64bd36","datavalue":{"value":{"entity-type":"item","numeric-id":4747499,"id":"Q4747499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q539229$F366FA16-375D-4AE9-842A-069350514995","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":"Q539229$6F0911E9-E51C-4F92-9B18-F79B55949F8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d59aa86de090db8fe9ae6a1bc6dec12dd6c11eb5","datavalue":{"value":{"entity-type":"item","numeric-id":5184381,"id":"Q5184381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q539229$B233082E-5AFD-4EA6-9A17-9BB9A82DD918","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b61b47c85558b5faaed5c516671e61165169563b","datavalue":{"value":{"entity-type":"item","numeric-id":2742791,"id":"Q2742791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q539229$6CD94FE1-3C87-4F3E-ACDE-9B403A9FF663","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8813aec94016931f4fbb5715699636e21b812945","datavalue":{"value":{"entity-type":"item","numeric-id":4520500,"id":"Q4520500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q539229$B5E6A66D-29C8-4A2D-8EF4-20A8878693E4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c4d50a14d58fba611998048137c65b99457811c4","datavalue":{"value":"10.1007/S00165-009-0134-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q539229$58738DA8-71AD-49A5-BEAC-CBFCAB123BEE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"61aea8a8d980135ab12169c4251df91f0e40280e","datavalue":{"value":{"entity-type":"item","numeric-id":3535367,"id":"Q3535367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6984d66ed84700e634ddc193e18e65e0a01fe104","datavalue":{"value":{"amount":"+0.901381492614746","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":"Q539229$25ED8658-DC07-43DE-9205-E9CC25BA318B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"632ac12ce08a2bd24f304321baacc22fa885dbb0","datavalue":{"value":{"entity-type":"item","numeric-id":5423870,"id":"Q5423870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6017e4ca194af78bfb8d2fef12cb236879cc0ad1","datavalue":{"value":{"amount":"+0.7171835899353027","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":"Q539229$76010E35-C3C5-42BB-8B2B-11109B36C025","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d8448f44b21634089a4a37cc34f62cbbc090bfef","datavalue":{"value":{"entity-type":"item","numeric-id":4413699,"id":"Q4413699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"86c706137ff3396af2e0caf01d971905931f9280","datavalue":{"value":{"amount":"+0.7149776816368103","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":"Q539229$3F9209D7-341B-4447-A010-EB443FAD64B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d54d7b4bc61c9edbb7661a4a7f6f24621aa9f23","datavalue":{"value":{"entity-type":"item","numeric-id":2753717,"id":"Q2753717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"42b525bd277a8ee58c5758496704aeb055237d16","datavalue":{"value":{"amount":"+0.6973022818565369","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":"Q539229$582518E9-9580-40A1-AE87-F3F31C801889","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4cc0608667f6a17dc78f8131d46fac1e000ff920","datavalue":{"value":{"entity-type":"item","numeric-id":303691,"id":"Q303691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"84654377d31004fc0864e73278102118f6d4cd42","datavalue":{"value":{"amount":"+0.6948509216308594","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":"Q539229$C981760C-14CE-42FF-A879-E8E5EBF5E063","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A data-flow approach to test multi-agent ASMs","badges":[]}}}}}