{"entities":{"Q4467046":{"pageid":6496645,"ns":120,"title":"Item:Q4467046","lastrevid":48280933,"modified":"2026-01-04T05:30:37Z","type":"item","id":"Q4467046","labels":{"en":{"language":"en","value":"Formal verification of multi-agent systems behaviour emerging from cognitive task analysis"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2070759"}},"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":"Q4467046$91DE5295-84E1-4012-81B0-641236B62E01","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9440680bf9ed8a00b206817c50c93913e9896231","datavalue":{"value":{"text":"Formal verification of multi-agent systems behaviour emerging from cognitive task analysis","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4467046$2F77359C-18AF-418B-A7BC-E4FDB68627B8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b5f7a276e04d22be2fa5153c00fc4228a7cd915c","datavalue":{"value":"1105.68358","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4467046$7B377FF9-E5DE-4122-8D4D-74EFCF714B94","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"55b18f0488a2e99c40ea02ab0ff1424284f28ed9","datavalue":{"value":"10.1080/0952813031000119719","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4467046$AA88BB19-E22B-40B4-8C7C-BEABAE0D1ABC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4f8742670fdf50a89d2ada2c4a462da09d0a5d18","datavalue":{"value":{"entity-type":"item","numeric-id":3178959,"id":"Q3178959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4467046$4B72DA07-37C8-4DFA-B8BE-1BE84466E6C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"02907c68276ead41435ee23a2d9accb8f4e632b8","datavalue":{"value":{"entity-type":"item","numeric-id":3299531,"id":"Q3299531"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4467046$E2A532FD-10FF-492C-B0DC-34661BA607BC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f369be2a98f7de29483ebe04fe99df00611c8593","datavalue":{"value":{"entity-type":"item","numeric-id":3065448,"id":"Q3065448"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4467046$6319B4E6-592A-44AF-B828-BE0AC935099D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f1561a8a1c31995ad4e0498f417e8efaeae365f6","datavalue":{"value":{"time":"+2004-06-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4467046$F58BC17B-AE52-4EE9-A53C-DAA862C19067","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"81ba1a045a2037276aea9aeb7e223aab3c4744ec","datavalue":{"value":"68T01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4467046$2E71A8CC-E413-4082-889B-A80018A91E2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cfe779e91fe9c53ee133568259955801965765ae","datavalue":{"value":"68T05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4467046$155ECE36-0BBE-4B36-87C4-0EB3C8018F30","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"00ae60e9b6bebad3d5142261d89be99d3bf9156d","datavalue":{"value":"2070759","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4467046$F5956192-A2C6-4D72-BB90-5042E4A1D03B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7540d7ae079ec53759a4a2bf69f8e8443526b69e","datavalue":{"value":"behaviour-based agents","type":"string"},"datatype":"string"},"type":"statement","id":"Q4467046$A832FC95-7A94-40CE-90DB-D22B178A53AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"772c11833d9bd583baa48fa25436d95af26b455e","datavalue":{"value":"cognitive task analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q4467046$93CECD0B-0961-4881-A61C-6F06AC9641DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4467046$D186CDC4-3B4F-402A-ABB3-1BB3F15DB263","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4f81406898349e4c73610116261aaccda50fa702","datavalue":{"value":"formal language","type":"string"},"datatype":"string"},"type":"statement","id":"Q4467046$E310F285-7ABE-483C-8330-671E0A58FA91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8c823b56192bce445b4b9ec3d99d959d2bc7a655","datavalue":{"value":"artificial intelligence","type":"string"},"datatype":"string"},"type":"statement","id":"Q4467046$3D3FF5C1-C465-4F6C-B2D5-2E5BEA468678","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e7bbf194cb5e005458c6ed9275a4e9d42713ab8d","datavalue":{"value":{"entity-type":"item","numeric-id":15648,"id":"Q15648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4467046$C87150A8-6A42-48DD-B164-5E242DB12327","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":"Q4467046$FC890935-0BBE-42A7-B337-3079E3C94150","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f76e57204f49cd2c85d954fcf30d36d505bf74fa","datavalue":{"value":"https://doi.org/10.1080/0952813031000119719","type":"string"},"datatype":"url"},"type":"statement","id":"Q4467046$776471F3-5270-4645-A6A9-A103685C4F02","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"876f1376f7e8afc9ee769fd1a74a1f3ccf3926b5","datavalue":{"value":"W2075127816","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4467046$B00EA919-DE08-4A57-8BE2-92955018E861","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e24dfb70f0ccfff3ed12532a7f66195876482ba","datavalue":{"value":{"entity-type":"item","numeric-id":3992554,"id":"Q3992554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4467046$0A8FE984-960B-4D7C-BE64-E2AF6D1E04F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"342a5b0b31f0f05ad26f2f5b664833f7a02c9ca5","datavalue":{"value":{"entity-type":"item","numeric-id":4229040,"id":"Q4229040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4467046$D02D4744-0622-4BA9-82BA-3BF6656CDCD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aa1d3b5a642b6e4dc7abee273b00aecda01aafd7","datavalue":{"value":{"entity-type":"item","numeric-id":3999093,"id":"Q3999093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4467046$935B9A52-D57B-450B-8BAF-49F57FFCB98B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"845969487dd8e0c91747e5b0285df64cc79ce670","datavalue":{"value":{"entity-type":"item","numeric-id":4397069,"id":"Q4397069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4467046$2CAAFC29-09BC-4023-9A11-715D81E537BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47c57a1bc98a9d819c8c4b25347f0c45d96256b1","datavalue":{"value":{"entity-type":"item","numeric-id":1258296,"id":"Q1258296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4467046$6AA1920E-2A09-4ABD-9786-495562A7AAE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ba406e7f3aac0ee55dd147add9d806535b268eb","datavalue":{"value":{"entity-type":"item","numeric-id":4285787,"id":"Q4285787"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4467046$C52B188E-3AE2-49B0-8CE8-2BA1B4A44D14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"23f2bb30baf813e6df9e761521cb58e57d6d331b","datavalue":{"value":{"entity-type":"item","numeric-id":4733376,"id":"Q4733376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4467046$7AA4B0ED-5A13-4290-92EC-B0A31D693316","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a2b2a8cf71a298beb3d5742fd0312db85012cf7","datavalue":{"value":{"entity-type":"item","numeric-id":579249,"id":"Q579249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4467046$C7ABF272-A752-4F07-B531-401CD5CE4580","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a6287f85e0f7212898631489e0977bca76c39749","datavalue":{"value":{"entity-type":"item","numeric-id":1978654,"id":"Q1978654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4467046$2641DCAE-C1C2-4412-8B4C-A7E1C24E93A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f9428eb59a2eb05c7f00dec31d13b52e58ab261","datavalue":{"value":{"entity-type":"item","numeric-id":4781297,"id":"Q4781297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4467046$3931B583-D49D-4836-949E-8446127664EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b4632f376ce705f2b8cc06793f18101a315de945","datavalue":{"value":{"entity-type":"item","numeric-id":4784352,"id":"Q4784352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4467046$6F2320D0-4B51-4394-BE75-C50DF81F7F2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5781430c3bcca2b0df40d4fc7fd2bfdf2c1936f2","datavalue":{"value":{"entity-type":"item","numeric-id":1323323,"id":"Q1323323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4467046$4812D397-1131-40A0-B0AF-249F764BECF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e83aab7d5d6eb2bec6601ce6de32b8a897892df8","datavalue":{"value":{"entity-type":"item","numeric-id":4039769,"id":"Q4039769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4467046$26E3145F-7100-43C3-A8C7-6C6C8A3B4BC9","rank":"normal"}],"P1643":[{"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":"1c95192d1f0440f18c00a407b63f08e3a4b8f9c0","datavalue":{"value":{"amount":"+0.7378537058830261","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":"Q4467046$4817228C-BB53-4049-B6A8-BA453479A3D2","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":"c3dfc38f3a21b28b565ec309cefb1d4cc97c4fed","datavalue":{"value":{"amount":"+0.7334238886833191","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":"Q4467046$A52BF4B8-9FD0-4A27-94F7-24FDAE602481","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e9b89b736728fceede5150e339e01484a9c9df95","datavalue":{"value":{"entity-type":"item","numeric-id":407511,"id":"Q407511"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5ed6be11c17f37ab3fc9f7aa5beb3f42ec2af5bb","datavalue":{"value":{"amount":"+0.7285793423652649","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":"Q4467046$4D69EB7B-3385-436A-BEB2-150461D09130","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9903b296fedf6b9972e13e6b742c08b9b342435c","datavalue":{"value":{"entity-type":"item","numeric-id":1610622,"id":"Q1610622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a65f934e33e69fee9ffa20c073d44d393ba0b3db","datavalue":{"value":{"amount":"+0.7284417748451233","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":"Q4467046$EA2898A9-8DE9-44E3-8168-E3308E17ABF3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4467046","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4467046"}}}}}