{"entities":{"Q2279119":{"pageid":2289862,"ns":120,"title":"Item:Q2279119","lastrevid":43815804,"modified":"2025-11-14T17:57:55Z","type":"item","id":"Q2279119","labels":{"en":{"language":"en","value":"Verification of multi-agent systems with timeouts for migration and communication"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7142674"}},"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":"Q2279119$E4FB9BBD-DB88-4EFF-AF75-2F044FAB0339","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"60d1a5b5341cc1736a492e6e4637e1db54afbe63","datavalue":{"value":{"text":"Verification of multi-agent systems with timeouts for migration and communication","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2279119$B02F5F36-B198-442A-8744-017216192BFF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9b6e7687a4e719bc41953636c425e0d1bcd0f49f","datavalue":{"value":"10.1007/978-3-030-32505-3_9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2279119$5E9879DF-5F14-4D4A-B82C-EAA4CEA53FC0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cef574d9dbf53e334355518c8453830a145b6ce5","datavalue":{"value":{"entity-type":"item","numeric-id":264536,"id":"Q264536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2279119$1134F345-E845-4874-8AA6-DCE82B467A3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"dede0e2bf224582d937e25999a53eed000472ee0","datavalue":{"value":{"entity-type":"item","numeric-id":264537,"id":"Q264537"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2279119$4F9EAFC6-28CA-4F47-8820-031CB60C5C49","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b59fb3af1fc435d619b3c51ed9fbb031a0316176","datavalue":{"value":{"time":"+2019-12-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2279119$37726C26-D57C-4AAF-9D37-43C0C260FF68","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2279119$BFBE4DE0-E805-4AF8-9005-1FFFBFFFDAB6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"dcc2ef0baa38bb1665962594056f6e34926ba745","datavalue":{"value":"7142674","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2279119$E860EECA-8392-4972-934E-5BF2BA615574","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ebe6f223efc2405cf071214b7d4e0e7858bf57fc","datavalue":{"value":{"entity-type":"item","numeric-id":18367,"id":"Q18367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2279119$59C2F321-4E02-47F7-B62D-633FCD26A2DB","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":"Q2279119$FD0A0F4F-F217-4B09-9713-5F39F81CFCC1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"52ea495c07a145a02ae65ef6a63d30509f6ab8ef","datavalue":{"value":"https://doi.org/10.1007/978-3-030-32505-3_9","type":"string"},"datatype":"url"},"type":"statement","id":"Q2279119$D815C187-CCE1-45A7-8A8A-F37BDFB4185F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5d01a97de542096216499ed63f317e90e4c94a56","datavalue":{"value":"W2981634994","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2279119$5BA93D9E-FBDD-4CF1-8933-1D6255BE916E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7ee40760f3b925a19619e686cffdde8727e51478","datavalue":{"value":{"entity-type":"item","numeric-id":253980,"id":"Q253980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dea1cfc610b5d944a24e346ca2767342dae207fa","datavalue":{"value":{"amount":"+0.8911965","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2279119$632B5D43-2158-4AA2-8A35-769232FF166B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"df56e80dcca1d3e4a46feaaa5a7f9e76f61b9232","datavalue":{"value":{"entity-type":"item","numeric-id":3166991,"id":"Q3166991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a4355cf685737930a3899b08f8ce9efabc42f826","datavalue":{"value":{"amount":"+0.8839464","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2279119$E48E2144-AA89-4763-87C8-68640B24E315","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb556a9ad783cedb8f4e45941372681f567e0980","datavalue":{"value":{"entity-type":"item","numeric-id":3091161,"id":"Q3091161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ce0e8003c36687bef5ed6877621d1a8f99d2a875","datavalue":{"value":{"amount":"+0.8778925","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2279119$C6090A85-FDA9-4567-85E3-DB68389F68E4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2279119","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2279119"}}}}}