{"entities":{"Q2498917":{"pageid":2509660,"ns":120,"title":"Item:Q2498917","lastrevid":73275327,"modified":"2026-04-14T15:14:31Z","type":"item","id":"Q2498917","labels":{"en":{"language":"en","value":"On complexity of verification of interacting agents' behavior"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5047234"}},"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":"Q2498917$B5BFA8EE-655D-4164-9AF1-2559E823B5AC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c104656e9115e5768fcdef6b6328b9ff73a353b2","datavalue":{"value":{"text":"On complexity of verification of interacting agents' behavior","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2498917$C7B0D917-6F0B-4E9A-9A0E-39C2F224E801","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5ead6bc28bef56ae0e73d7c4bd47dd82212e4954","datavalue":{"value":"1096.68143","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2498917$E508852E-96E6-49F9-B3B0-7C25104D2ADE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2498917$CF789B72-E1BA-4F16-99B3-483834BA6348","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"51baedb45b1970a218dc00cb5762a1bbcc63a6f4","datavalue":{"value":{"time":"+2006-08-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2498917$8826806A-5C58-454A-A421-09A62DC5BFDD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2498917$77626CA2-7FE9-4179-8B7B-5BC779905537","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2498917$169EDA16-48EB-437D-9C20-A101548F9DD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2498917$0CF8774C-AD0B-4845-AB8E-07B99D336B1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2498917$FBC0ACB8-AD9B-4A98-A2D7-596D0B22A0C5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"11bc3dc8ace729498ea3cc13087f00b4139d9b7a","datavalue":{"value":"5047234","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2498917$2BAFD3FF-11EB-482B-A052-60391FD6955B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"65c3b98487eb404131cfd6dc457f97f412fed996","datavalue":{"value":"multi-agent systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2498917$F190E184-A1A1-44E1-AB05-CE5974359DF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"29969024951742333756fd82d2bfa16b06fff05f","datavalue":{"value":"temporal logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2498917$97CAEFC0-AF79-44E7-9256-277894754496","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b7662493be8c807e4e49fd26f7b5c47a219f3196","datavalue":{"value":"\\(\\mu\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q2498917$9AF113FF-57F2-41F1-8500-AF3999995E16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q2498917$9E9B0D51-A0C7-4B35-87A5-5F68B164A8A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c5f8382ba04f9f05f645b4d0e4b9ea28f0619583","datavalue":{"value":"complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q2498917$63B49D6A-5F33-4BF4-A5F2-81E4A5A1850B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7d874dfe1a372a999a0303d43de3841e4b8a0ff0","datavalue":{"value":{"entity-type":"item","numeric-id":1039577,"id":"Q1039577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2498917$4F06DA32-B2AE-4C06-ACB4-156F3E5088E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"03f8c16379022e129ada1054f272bb0451727280","datavalue":{"value":{"entity-type":"item","numeric-id":1401353,"id":"Q1401353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2498917$C905221C-F52A-4414-AF68-9A0EDC27DF59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"217e04b644be17a7253c2f0262c438dcbddec45e","datavalue":{"value":{"entity-type":"item","numeric-id":1040333,"id":"Q1040333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2498917$0D406B1F-4A3D-479E-8C24-2C0A567C57FD","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f70d300d184d2214c5f3fd1a77a24a9291c84ca4","datavalue":{"value":{"entity-type":"item","numeric-id":18660,"id":"Q18660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2498917$54AEDDBB-C5DF-4F49-98E4-8439DC4310C0","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":"Q2498917$C73BADAA-642B-4BAB-88A6-8E67978F1DF7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"820cd49fe3aae1b2485220ce839837038a554138","datavalue":{"value":"https://doi.org/10.1016/j.apal.2005.12.003","type":"string"},"datatype":"url"},"type":"statement","id":"Q2498917$6835D1E9-BE4F-469B-85DB-020C96DE15BC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d9fc7d43bfbc6e21188670b4fa2b91739a444d1d","datavalue":{"value":"W2030117515","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2498917$6E497DB7-EB0E-4126-ADFE-C95911E7CDCE","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c5d3bdf285456fc5a5e0cdee8a10fc97d68f5279","datavalue":{"value":{"entity-type":"item","numeric-id":4536749,"id":"Q4536749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2498917$F977C1C7-7C36-4CEE-8C14-FE9FC4598BF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4174a7ffe887fe44527991607626ebbc7d92563a","datavalue":{"value":{"entity-type":"item","numeric-id":4385536,"id":"Q4385536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2498917$B1EDB73C-C04B-4CF6-87ED-2CD78579C5FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d662deea76f1f0e44091a8cecd51bf648c780b7a","datavalue":{"value":{"entity-type":"item","numeric-id":1904643,"id":"Q1904643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2498917$BA233DE8-28A9-428D-BB89-83CE7A1E7373","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e0870ff671a90d57fe35482ede04c0c5a32ea13","datavalue":{"value":{"entity-type":"item","numeric-id":4209291,"id":"Q4209291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2498917$4D3F9569-BF29-4F1C-BA47-4666B7388CBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"648af4444efef3dfface63422920536bd2b0c180","datavalue":{"value":{"entity-type":"item","numeric-id":3928246,"id":"Q3928246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2498917$04EFFE43-345D-4AC0-A792-94CF20A55D3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3db4d678b8413abb5c9773d1347b5fc535f032bc","datavalue":{"value":{"entity-type":"item","numeric-id":4708912,"id":"Q4708912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2498917$78E9FAEF-995F-4225-8161-6F330C248C6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e30efab129134559ddabdd3ee6ee79e24608e99","datavalue":{"value":{"entity-type":"item","numeric-id":1401355,"id":"Q1401355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2498917$8D5EC29A-9812-4A81-91E9-6E93F2AF9E7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"120c8e41431895a309f8ef32cac52a772f33d796","datavalue":{"value":{"entity-type":"item","numeric-id":4385542,"id":"Q4385542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2498917$1856535C-77AB-439B-A96C-AF5326E727D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c243869ba0963401792b9d55bbba80b8cb068d1","datavalue":{"value":{"entity-type":"item","numeric-id":4353562,"id":"Q4353562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2498917$F76CF666-2551-49EC-AAAB-E3DD7FCD1EFA","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":"Q2498917$75110E0F-DCC3-41F7-B4A9-8AA8BDDDA04F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4968b8cabc6e7e2146fbbb19353be5139e1037e5","datavalue":{"value":{"entity-type":"item","numeric-id":4002642,"id":"Q4002642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2498917$300E16DC-A886-4FAB-87C5-A47F040FEEA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f5a45904f81b6a39ede475e2e86ab18eb54c04e","datavalue":{"value":{"entity-type":"item","numeric-id":801893,"id":"Q801893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2498917$70BD440F-B72B-4829-8B50-95102881AB67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"458ab467d1c5397109a383d0e5c939369d06a212","datavalue":{"value":{"entity-type":"item","numeric-id":3221403,"id":"Q3221403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2498917$6603C1FE-6C30-4BC0-93DD-7A0529A1E087","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d53d19922c3a7c2ab66b49e3b99548004028739","datavalue":{"value":{"entity-type":"item","numeric-id":3940830,"id":"Q3940830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2498917$D6A42D21-D399-47DE-A66C-56D1F55887BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"373b09c1ad3afc09fbc8a8a75ccfb9ce5433773d","datavalue":{"value":{"entity-type":"item","numeric-id":4779807,"id":"Q4779807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2498917$814C1BCF-E654-49DC-A549-D69E9676BA37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa4614c3d7786f0db16d6ca3adbca9b075e1b1ff","datavalue":{"value":{"entity-type":"item","numeric-id":1177939,"id":"Q1177939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2498917$E99244AD-0240-4E1D-B461-66955CC29A54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6babb4a8f91e0aa1d6b20fd807112d8a90f311c","datavalue":{"value":{"entity-type":"item","numeric-id":4739289,"id":"Q4739289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2498917$6213521F-7FEC-4C56-8CE6-FD34B351BFBE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1f82e6a169f0db6f5366def7f3fc32ac6c59c7da","datavalue":{"value":"10.1016/J.APAL.2005.12.003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2498917$6ADF4F0F-0CCE-42E9-9BE5-8D2FBB169951","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"10e2cb2545d0216c120bb8fc21efc7b795b99798","datavalue":{"value":{"entity-type":"item","numeric-id":4708912,"id":"Q4708912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5f13c5c484b175989e084fb29204f0c62d8184a7","datavalue":{"value":{"amount":"+0.928119659423828","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":"Q2498917$5CD5B813-375D-435B-B9E5-545AF69EC622","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cfcc2129d74319429fe44b295d251deaaef37ce5","datavalue":{"value":{"entity-type":"item","numeric-id":1401355,"id":"Q1401355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f696906050cc764709d301a9183ccd975a7dc45b","datavalue":{"value":{"amount":"+0.9026201367378236","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":"Q2498917$6F32A7B9-98C6-4892-96D5-46E42876A67E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2b0dfe6888e8821c28b5b9ddd1301f8fd102ebe5","datavalue":{"value":{"entity-type":"item","numeric-id":1040334,"id":"Q1040334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7fce8855ba269b5e5f2428bf5c9c83bdabe82a31","datavalue":{"value":{"amount":"+0.8589375019073486","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":"Q2498917$8E32C6AB-6717-41C5-AB15-A584725DDFDE","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":"b0639bccd3586e224ccc6aabfe542609750a562e","datavalue":{"value":{"amount":"+0.801220715045929","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":"Q2498917$8B9AD6BB-B8E2-43CB-8381-5315D67D7813","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6981b5d9a6093f32111c14086dfa8d05051f6194","datavalue":{"value":{"entity-type":"item","numeric-id":2999192,"id":"Q2999192"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d0820c8e5e80e62761bf0c2131eecf7d57f1554a","datavalue":{"value":{"amount":"+0.8003134727478027","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":"Q2498917$E35343B6-3FA6-4DFC-BBD0-CF1A6DC6EFF6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On complexity of verification of interacting agents' behavior","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_complexity_of_verification_of_interacting_agents%27_behavior"}}}}}