{"entities":{"Q1401355":{"pageid":1412095,"ns":120,"title":"Item:Q1401355","lastrevid":68625351,"modified":"2026-04-13T01:00:33Z","type":"item","id":"Q1401355","labels":{"en":{"language":"en","value":"On feasible cases of checking multi-agent systems behavior."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1965365"}},"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":"Q1401355$C77155C3-8D2C-48AC-B2CA-142618F9A633","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a9cf1074ee2c317ed466b22de3641a3f72b62b10","datavalue":{"value":{"text":"On feasible cases of checking multi-agent systems behavior.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1401355$D994F527-6DA4-4903-9CAB-841205901B63","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f09097e1e1294885e03a722a27cb44ef72acd2fb","datavalue":{"value":"1044.68144","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1401355$8F1FA6C9-1491-4BB7-ABAA-C417BB3AD468","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8363e710a5e8676de4ca45f78e02fa7934fcf28c","datavalue":{"value":"10.1016/S0304-3975(02)00445-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1401355$69AF403E-2990-4958-BB88-0FB8613EDFBC","rank":"normal"}],"P16":[{"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":"Q1401355$FB89B3E8-E206-43C6-81A0-64BD631BD5BA","rank":"normal"},{"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":"Q1401355$6954DA8C-E496-43E1-972D-A5DEB687AD93","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":"Q1401355$DB433384-B8E7-4100-B895-60EC196F86A3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401355$98208411-74BB-42E5-BA68-FD8D30FB7CD2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7c559667253af6b857a12c847a2fbcea5328ae19","datavalue":{"value":{"time":"+2003-08-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1401355$939BF77F-B28B-44C3-AE30-14324C0A5D28","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"cfe779e91fe9c53ee133568259955801965765ae","datavalue":{"value":"68T05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1401355$93E683F6-66DA-4AE4-A0AA-EBC4E5C18FB7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ef5633663d61d1e14167c6c6c133fd0171b181aa","datavalue":{"value":"1965365","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1401355$F4516DCE-F217-46FF-984C-DFD4FF51420D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"be05727e962adacc4d3def59f3fba2e12b52c8cb","datavalue":{"value":"Multi-agent system","type":"string"},"datatype":"string"},"type":"statement","id":"Q1401355$D1288143-70EF-4F73-85A4-DF991DF900D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5358f4ff9b33bdcf646917348056fc0539b7c8ec","datavalue":{"value":"Temporal logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1401355$4E83FE88-5565-49BE-9954-7571FB25E7B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5541349f29c25ba6a0be12f614381c30b7057b17","datavalue":{"value":"Model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q1401355$4296A750-B433-4B06-8F65-DCBCD36BC2F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c5206d4dce6a163eafa029a63a1fb2a44925dc13","datavalue":{"value":"Complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q1401355$3091F5AF-C9B3-4A13-A3E6-A7B28E03125D","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":"Q1401355$333656DA-DD2F-4D32-A6A1-13608C1CD8E2","rank":"normal"}],"P223":[{"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":"Q1401355$424EEF2B-1001-4A2A-9F4A-A2529DC87B9C","rank":"normal"},{"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":"Q1401355$325F765D-B099-4D9F-B8BC-B6097EEC72E3","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":"Q1401355$310FF0F4-29E3-4300-8EC1-8420E27C5F57","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":"Q1401355$EAA39CEC-F4E0-4349-929D-1A463F2ACC4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d0b3d39649082ff6de9169c6e51eb8e1d8d7a0b","datavalue":{"value":{"entity-type":"item","numeric-id":5385339,"id":"Q5385339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401355$8D92195D-B749-4954-B211-C705CBDD5A70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2bb9167a15a02d50f8531d7407b8aced98fa4dc9","datavalue":{"value":{"entity-type":"item","numeric-id":3336675,"id":"Q3336675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401355$A5528D0A-C6F8-4A47-B813-B13C2A235324","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a9853f0da1cfba108936c42e98960a0e988e22e","datavalue":{"value":{"entity-type":"item","numeric-id":4511271,"id":"Q4511271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401355$C3683201-DE58-4D3C-A412-4CD65E3E218B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"43fde56e1e88a9df4e820ead9cd6288e4d8f0c14","datavalue":{"value":{"entity-type":"item","numeric-id":2498917,"id":"Q2498917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401355$35D27CDA-F1B6-4E00-9FFC-F9F1E36149E4","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":"Q1401355$E0D7B89F-38D1-4F00-8581-9FD20F6E2312","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":"Q1401355$D7C83793-5B56-4898-9C43-26FD83E599EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2791adf62fcd6917e0cfb6ca40d21416a8677a76","datavalue":{"value":{"entity-type":"item","numeric-id":5738910,"id":"Q5738910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401355$22984857-EF94-41D7-ABA6-3F55D10567EA","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":"Q1401355$97A65EF1-66ED-4E50-B3A6-C5878F234806","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"66e0a5ea99878fcbdbb6bb9b18eb9fce9101e415","datavalue":{"value":{"entity-type":"item","numeric-id":1166926,"id":"Q1166926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401355$00676CA3-F1C8-42B4-B32F-971184EE17FA","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":"Q1401355$139B1978-D74A-4D37-8777-0B70E4533D3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d6ee8482439db0c1b60415d5abcf524a3b838fa","datavalue":{"value":{"entity-type":"item","numeric-id":3769957,"id":"Q3769957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401355$12D10DEF-6CBC-49BD-8952-1D5E5CC1F168","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"72874119db545e5410c8e395a83a33692f81b1a8","datavalue":{"value":"https://doi.org/10.1016/s0304-3975(02)00445-0","type":"string"},"datatype":"url"},"type":"statement","id":"Q1401355$70CC9C4B-BAB9-4BAE-B6F3-EE7C26A356EB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a7f9a1e533c9a564c3074c9e6515527b91fd1c38","datavalue":{"value":"W2023051844","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1401355$B7CD6530-53CE-4B95-8669-8A73E3F776D5","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":"68d89fdc85c32c9fe3ff867d0dd14f64a66d55f0","datavalue":{"value":{"amount":"+0.9349783062934875","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":"Q1401355$3EE09EE2-9ABE-4015-AE2E-E44FA789118D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fea7ffdc85ecefa05a7baacca30052c1827d6f54","datavalue":{"value":{"entity-type":"item","numeric-id":2498917,"id":"Q2498917"},"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":"Q1401355$E613CD5C-D1FA-4756-8730-4C2820996873","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"305601bd10e4543ee41f5a7c6bc2673dbabf52b6","datavalue":{"value":{"entity-type":"item","numeric-id":4209291,"id":"Q4209291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8574b71ba405354880383bc0001d95d2d5e4a287","datavalue":{"value":{"amount":"+0.7928997874259949","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":"Q1401355$D7D4E3ED-4554-42B9-83A6-A1DA45187094","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7e36469bd3cd7ea0b6b81aabc659572d3b1d90b9","datavalue":{"value":{"entity-type":"item","numeric-id":4536746,"id":"Q4536746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"38f2251b4f3c13e3b7551778c0b553ddd5d077e0","datavalue":{"value":{"amount":"+0.7894498109817505","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":"Q1401355$257E1713-FCF4-4AF0-9254-F4E3FDCAE7CC","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":"1ef46f836320712780c983e53da0631b74472b49","datavalue":{"value":{"amount":"+0.7814090251922607","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":"Q1401355$08AD32A9-B926-4E72-8BD2-ED3E8FFCF908","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On feasible cases of checking multi-agent systems behavior.","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_feasible_cases_of_checking_multi-agent_systems_behavior."}}}}}