{"entities":{"Q596479":{"pageid":598255,"ns":120,"title":"Item:Q596479","lastrevid":63025662,"modified":"2026-04-11T09:46:56Z","type":"item","id":"Q596479","labels":{"en":{"language":"en","value":"Multi-agent systems specification and certification: a situation and state calculus approach"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2085796"}},"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":"Q596479$0D5A895A-071A-4581-A4CB-A64ED5A1161B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"33284847e58112295cdaf598dade553737316360","datavalue":{"value":{"text":"Multi-agent systems specification and certification: a situation and state calculus approach","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q596479$541C53EB-51A5-4834-A43A-6F3E4F6D0DB6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"693ac43c138e2fd6ad2f025b5402940374eb391d","datavalue":{"value":"1081.68053","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q596479$635C44D3-A2CA-4340-9586-052495CB5672","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"09435b76ee1daa9a6f9c6a108464a7a12e6d5111","datavalue":{"value":"10.1023/B:AMAI.0000031198.84824.45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q596479$51F27097-9FE3-4E2D-A59C-7C8CD193D0EC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4982b1945bff2bd13be35227b96979fa530a1957","datavalue":{"value":{"entity-type":"item","numeric-id":596478,"id":"Q596478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q596479$EFC7A670-D791-4C15-8068-667D01043401","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f40bdf4076d17ad0eb057c2b8be5ee375b837d63","datavalue":{"value":{"entity-type":"item","numeric-id":549722,"id":"Q549722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q596479$577DD375-CBEA-45D7-BCC5-0E03F5FD3395","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7346dc34d1d50fea46ec345fbc7e3214530889ab","datavalue":{"value":{"entity-type":"item","numeric-id":276517,"id":"Q276517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q596479$DEEC9647-51B6-4A12-9D53-537CDB9276E1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7e0adf53a19cddd0f150137b2408eb7868ef6930","datavalue":{"value":{"time":"+2004-08-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q596479$412564CE-1AD7-4E55-93C3-F6077F639B06","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q596479$F51762B4-8AD4-4ACC-A6F9-1B252A4D8404","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q596479$291DCD95-B045-44FD-B88B-987924153C9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0c6e71133293256880be082f6af9aa793c57d433","datavalue":{"value":"68T30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q596479$E4D178C5-1733-4C5C-919F-BFB28088C64E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"57caf2ac0eb36598225bc614d400eec4260b3bc4","datavalue":{"value":"2085796","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q596479$384ADF55-FDB3-4F67-BC16-1634A273D485","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e2369f197c94d66a2f531c4f86ea3247f6715487","datavalue":{"value":"multi-agents","type":"string"},"datatype":"string"},"type":"statement","id":"Q596479$6C742E4C-3E97-4E1F-AEC9-E6036DF1AC1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"47511de611e7ca7c7f052290389ebfdae4c32892","datavalue":{"value":"specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q596479$EEC813F5-6221-48F4-89A0-43771282DD65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"58d5c9c0cf89b4b4891f5c481837b69838035e8a","datavalue":{"value":"certification","type":"string"},"datatype":"string"},"type":"statement","id":"Q596479$51730AAE-1AA1-4BAA-B99D-7C52BFA17A20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a1509357c65c35f25ca4a3489812a49ab4a22a9e","datavalue":{"value":"abduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q596479$AFAAEDF7-FEF5-4DB9-B13F-9A9357ABC8BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3ead3fb3f8c867b83027c9d5a5d8cf2de3a9b0f9","datavalue":{"value":"knowledge","type":"string"},"datatype":"string"},"type":"statement","id":"Q596479$59D945BF-E1B0-406E-BBA2-85ED829548B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"755a933adb167e01eae33695d067a9b3b5cd353c","datavalue":{"value":"situation calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q596479$637F881A-811A-48FD-96F2-883D8B97DDA2","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":"Q596479$E0280621-6FDE-44E5-B157-C87912618693","rank":"normal"}],"P1643":[{"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":"469d5bf86a2d6e32d56741a7950f3e1375329035","datavalue":{"value":{"amount":"+0.7460777759552002","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":"Q596479$026F9893-96A4-46F6-8CFE-ED22E4A56FAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"46493a2d4218dd6f184d9ed9c97fbfab6d22442e","datavalue":{"value":{"entity-type":"item","numeric-id":4941936,"id":"Q4941936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1679e5193a9824c9a73d6f3bb9c3697fc7bbeecd","datavalue":{"value":{"amount":"+0.7356742024421692","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":"Q596479$173A8B57-2E10-407D-A7CA-A4515F118E6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6143f9b47dfc6b9c918970595f6246472fbbf4aa","datavalue":{"value":{"entity-type":"item","numeric-id":4813559,"id":"Q4813559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"69befab407140efca37f92dd10cabb048134271e","datavalue":{"value":{"amount":"+0.7254654765129089","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":"Q596479$90D22721-2538-45E4-AB16-5513E567352A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e39ee7fa3c095f7acdef8418787dc118f7b2ae9c","datavalue":{"value":{"entity-type":"item","numeric-id":4935597,"id":"Q4935597"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"59a7455ec7acb6d69a3ef961db515f43c644ba75","datavalue":{"value":{"amount":"+0.7247725129127502","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":"Q596479$CD60905D-079C-4A84-B2FD-11B0AD0BF9E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ac0a70c2115cfe1971f412963993b245970eef00","datavalue":{"value":{"entity-type":"item","numeric-id":4536747,"id":"Q4536747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7dd66b4d77ce3ee41df0f2104251dd778f7365c9","datavalue":{"value":{"amount":"+0.7245241403579712","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":"Q596479$F876B282-B62C-46E2-8FB2-93B0AADC89D7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Multi-agent systems specification and certification: a situation and state calculus approach","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Multi-agent_systems_specification_and_certification:_a_situation_and_state_calculus_approach"}}}}}