{"entities":{"Q3056330":{"pageid":3067046,"ns":120,"title":"Item:Q3056330","lastrevid":51128930,"modified":"2026-01-16T20:12:25Z","type":"item","id":"Q3056330","labels":{"en":{"language":"en","value":"Correctness of multi-agent programs: A hybrid approach"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5815351"}},"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":"Q3056330$750A30D3-570F-4C7D-8A86-C266A3BED213","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fbe291a1293e2e699791397292852a6bc3517c1e","datavalue":{"value":{"text":"Correctness of Multi-Agent Programs: A Hybrid Approach","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3056330$96B98234-44F3-4605-9D0A-A0039047BBB3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d88dbfae20211d01863ac5325b0149513e22cba7","datavalue":{"value":"1201.68124","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3056330$4C526C9D-5C64-428D-BD17-FE16EE59C24A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"958153c275950f4bb7df3366f47eacfbf48d139b","datavalue":{"value":"10.1007/978-1-4419-6984-2_6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3056330$D564B25D-7364-4F5A-854E-C98274AA1D01","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"aecee89498b537e5b2943f0220a0315c1210049a","datavalue":{"value":{"entity-type":"item","numeric-id":322075,"id":"Q322075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3056330$6901C923-EE50-42FF-B3B4-06BC3568C1F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8c4fe77fff21ad74d81092c085b4a78f8093906b","datavalue":{"value":{"entity-type":"item","numeric-id":375309,"id":"Q375309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3056330$B483EC76-C9B1-488C-8E37-CCD98A2BCBB6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7b9423b0b2baca2110a761b9b652ec81a9281b75","datavalue":{"value":{"entity-type":"item","numeric-id":3056324,"id":"Q3056324"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3056330$C1EF3E25-824A-4BBD-8F6F-C42C54365AA7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9da83de86884268e4bb618da2976a0f5979ab1bb","datavalue":{"value":{"time":"+2010-11-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3056330$DE9DFA11-9C70-4857-AD5E-BB0D3915951C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"709ed67c42bb169499eabe0b6d04c203d4526e03","datavalue":{"value":"68T42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3056330$1BDD43E6-0286-40E3-81F4-8B9A1E1C2382","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"517ace4a4f9c45a5475b4a8927a567447dbdb293","datavalue":{"value":"68N99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3056330$5F9BE5B4-9C60-4CC3-A4FD-6C2C7B8D84FA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cf16efea0313b4cea05326b074e8ba431e9e2465","datavalue":{"value":"5815351","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3056330$61C3E47C-EE84-446E-8F49-C6A029D59139","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66e4e182d183bd7ad6d8d247a141575ef76e4da4","datavalue":{"value":"agent specification language","type":"string"},"datatype":"string"},"type":"statement","id":"Q3056330$0B66E24D-AB25-4218-92A0-8CF839D9BC15","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"09e5aca72dab99bd362c78de49d81fcc41c533a4","datavalue":{"value":{"entity-type":"item","numeric-id":18322,"id":"Q18322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3056330$F5F2CB86-FD57-480E-B7C8-96B1067E7ED5","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":"Q3056330$36174370-9A66-487F-BCEA-D7E55AF19A9C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6f237978a6e5500c58ba00db7b12fe540fa67704","datavalue":{"value":"https://doi.org/10.1007/978-1-4419-6984-2_6","type":"string"},"datatype":"url"},"type":"statement","id":"Q3056330$BDDE906B-26A4-45D8-9C14-794A4FCF8CEF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6beaf57e988ba545e185e9be3de57de8469476ca","datavalue":{"value":"W1626838369","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3056330$AAFF9518-EDA8-4363-BCB8-DA3D2944F0C0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e23060b144faa3c948ac3c91d2da627d4a693081","datavalue":{"value":{"entity-type":"item","numeric-id":5465891,"id":"Q5465891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b2f5da0830c7b972848d2fa285c798386cda13e9","datavalue":{"value":{"amount":"+0.7313951253890991","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":"Q3056330$410BD998-D740-4165-95C3-A7A6A6F7998E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bb93040098d9645df8261f1ff2b44e048c9c8289","datavalue":{"value":{"entity-type":"item","numeric-id":5696417,"id":"Q5696417"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"861a85a1cef8a98df63dc6ca50b9a47772b5a02d","datavalue":{"value":{"amount":"+0.7069836258888245","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":"Q3056330$E73943AC-5A87-493B-8473-4CD3AD53C25C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad08123c21b78735218d9a46b6d85db7f54cdded","datavalue":{"value":{"entity-type":"item","numeric-id":3056334,"id":"Q3056334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"366915022969bf100e251b740b027bb6bb2c560c","datavalue":{"value":{"amount":"+0.7021530270576477","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":"Q3056330$4DF104C9-7F53-4AD1-AAF5-9505034A83C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4eb14bfc62dd7c3bb337b9836b986e5062b087d3","datavalue":{"value":{"entity-type":"item","numeric-id":3056325,"id":"Q3056325"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8f61b48c8ef0d4757f41a80d5046e98234fdd424","datavalue":{"value":{"amount":"+0.702070951461792","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":"Q3056330$2CF03739-E134-4B7B-B85F-EF3508726737","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f4f1d85226cbd123be0c54a06f8c163cca5c29f9","datavalue":{"value":{"entity-type":"item","numeric-id":4511252,"id":"Q4511252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e3d4185c86b98d90342ccbfe555dc36467cc44c8","datavalue":{"value":{"amount":"+0.7002858519554138","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":"Q3056330$FCF98E44-CE27-4E71-B5BD-7FDF479FC8D1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3056330","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3056330"}}}}}