{"entities":{"Q3056334":{"pageid":3067050,"ns":120,"title":"Item:Q3056334","lastrevid":51128942,"modified":"2026-01-16T20:12:25Z","type":"item","id":"Q3056334","labels":{"en":{"language":"en","value":"The cognitive agents specification language and verification environment"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5815355"}},"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":"Q3056334$078EAFE8-0B03-44F1-B436-340D3B8CA80C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3c8facc19a257e4ecfa23b9a5fb0fb57131a34ed","datavalue":{"value":{"text":"The Cognitive Agents Specification Language and Verification Environment","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3056334$6EA2AA23-A3DE-4CD5-B4B2-C81F4FC71D97","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fc9bf0afe73a209787d0fe0814f89d2a76c8163c","datavalue":{"value":"1201.68127","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3056334$EE05A5CA-3CD0-4D36-8770-FE9F13137BE5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8d6899623d187546a0673a02a7b28b165443c815","datavalue":{"value":"10.1007/978-1-4419-6984-2_10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3056334$5FB353C5-B74C-4418-ADEE-4CB7A69F90DA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e0d9c77e92c4f76632e0e02435998b020b5faa64","datavalue":{"value":{"entity-type":"item","numeric-id":543587,"id":"Q543587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3056334$D4DAB4E5-A44C-4C5E-83ED-55B9BB31E374","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c0be5682c4e21003e3de0c831e7ec6722ab62a10","datavalue":{"value":{"entity-type":"item","numeric-id":286405,"id":"Q286405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3056334$80A2E699-CD67-485D-BAB8-88F000130D2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9973a1e4932f35595f4ff75a28d3c2375ee8ce67","datavalue":{"value":{"entity-type":"item","numeric-id":310091,"id":"Q310091"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3056334$6B9CB385-4773-4AF4-B97F-93F87EEEE871","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":"Q3056334$CB7950CB-6774-46D1-BB0A-90BA44AF859C","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":"Q3056334$CE1B04E3-7CBA-400C-B855-4866073BFE57","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"709ed67c42bb169499eabe0b6d04c203d4526e03","datavalue":{"value":"68T42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3056334$03CBF475-622E-43C2-885A-FFAE8EC74ABE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3056334$D8CF6B8D-D2BE-4CDF-806A-E9D84B5C3A19","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3828c711bbe2723f2c49bd426b44d31ba4176f63","datavalue":{"value":"5815355","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3056334$A358C6D9-41F0-460C-B9D4-88410A953D85","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ad58a226eff21a70be845cd71cac40ef99497fa1","datavalue":{"value":"multiagent systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q3056334$BB3DDF77-6B53-40B7-87B5-EBB096B6203E","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"043f286811bd7e3b25c26d8138a3f84c5097b5d8","datavalue":{"value":{"entity-type":"item","numeric-id":14703,"id":"Q14703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3056334$379DB19A-2797-44AE-AF14-3F8FF1647850","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c46d84e301480ba8a5854ea89c3d27b865a03eb9","datavalue":{"value":{"entity-type":"item","numeric-id":16016,"id":"Q16016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3056334$DD3395CB-3D5A-4AD2-95C9-BB3F394AA3BE","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":"Q3056334$F59086A1-F27D-4DEE-8AB3-B6168DCE595B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a8bd590f7681a74217e7f48f1b46b67d4d0e7377","datavalue":{"value":"https://doi.org/10.1007/978-1-4419-6984-2_10","type":"string"},"datatype":"url"},"type":"statement","id":"Q3056334$DB3337FF-3404-4ACB-A2A6-A1698B3DA0C8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0c0e631ed40effdced16c1d280446592c6bf2729","datavalue":{"value":"W1502812478","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3056334$BCB8325D-17AC-4209-91B9-3148C20D547D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6de4734a786aa364399d134bbf98eceb94bd9900","datavalue":{"value":{"entity-type":"item","numeric-id":4473081,"id":"Q4473081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8f6cb1fe6d191b0a78c8874ff0184421481c9948","datavalue":{"value":{"amount":"+0.804269552230835","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":"Q3056334$1A7B7382-B6E4-4803-9E7F-A762F577DB7C","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":"3757ba5865ce50a15c3c37fb4a01c36a7a1dd31e","datavalue":{"value":{"amount":"+0.7801475524902344","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":"Q3056334$92944623-A3FC-4AA3-A3D6-5A99351DF1D0","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":"a76706144545e3390ac559a85f01fa515e4417d8","datavalue":{"value":{"amount":"+0.7577213048934937","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":"Q3056334$35CF2242-10DD-4C74-8C18-448C00F25ACA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4e05066686244b25bf809a4057350cb707793586","datavalue":{"value":{"entity-type":"item","numeric-id":3056336,"id":"Q3056336"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"58270ac71dff4155526c5604aad9ea816953836f","datavalue":{"value":{"amount":"+0.7477724552154541","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":"Q3056334$01857232-EC5D-41D6-A86B-80EEB9F17921","rank":"normal"},{"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":"3688922e39bd0cd78cd3c13adf25da9ddc8d1132","datavalue":{"value":{"amount":"+0.741542398929596","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":"Q3056334$A6E33744-33BF-40AF-9A3E-82FD767B299A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3056334","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3056334"}}}}}