{"entities":{"Q434449":{"pageid":436216,"ns":120,"title":"Item:Q434449","lastrevid":61891821,"modified":"2026-04-11T02:21:44Z","type":"item","id":"Q434449","labels":{"en":{"language":"en","value":"Kripke modelling and verification of temporal specifications of a multiple UAV system"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6054181"}},"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":"Q434449$090BC57F-D338-4BB9-902B-149B83C8810D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a1ec5f5a5efef438e2bbb61e6827a00ef91a4dfb","datavalue":{"value":{"text":"Kripke modelling and verification of temporal specifications of a multiple UAV system","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q434449$B249B328-A214-4309-A7BC-9DF35A0AC0C8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"654d60327bf6049f8688a68c074b50cc30fcd133","datavalue":{"value":"1242.68171","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q434449$8CA3E5E1-1E41-4E63-A147-DF5C55395DF7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d82968a8750978afe65cb9367dab1e71c72f4899","datavalue":{"value":{"entity-type":"item","numeric-id":434445,"id":"Q434445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q434449$1FA07DF1-7438-48B6-B054-689EDDAEBAA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a7a6fcda79a5c0c8a2f38ef48439ab964225c3ec","datavalue":{"value":{"entity-type":"item","numeric-id":434446,"id":"Q434446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q434449$3CE2F6A9-24D0-4EE9-A1B0-B54CCA276672","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cbf16e294fab6eb8225d6f986625789e27c59b15","datavalue":{"value":{"entity-type":"item","numeric-id":434447,"id":"Q434447"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q434449$D8EF9685-D4A8-4994-8A01-ACC50C13F604","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1a26342202fd577b6c88385f09a52be474b7cc00","datavalue":{"value":{"entity-type":"item","numeric-id":434448,"id":"Q434448"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q434449$AD081F62-C276-488F-B915-E29020F18822","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":"Q434449$2D0895DE-E766-4EDA-A3AC-06C0970E96AA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a49b2f35c9a8cbc0d3bc23bbd70851d4c3ff3498","datavalue":{"value":{"time":"+2012-07-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":"Q434449$8560223D-49BF-4BFF-A061-9DBE4B6D7C71","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q434449$2A18AA82-D618-4117-A9BB-88CED842B8D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"46ffee837b0dbcd63fffc2834ebe2705f88e57be","datavalue":{"value":"68T40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q434449$34E3D077-72C9-4A2B-B7C5-7D4D8368716C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a94d5bf6eab7bddc9c7abbdf41796f52c9b87335","datavalue":{"value":"93C85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q434449$98C22596-0B9E-4093-B262-53D6B30F1CF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q434449$DE702E72-2A64-4F16-98A9-8864A53E3BA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q434449$53F5490A-3752-470F-B64A-48F57A03267C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"28ea86fb3e725cade784372000d593392d9026c7","datavalue":{"value":"6054181","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q434449$363BFB5A-5ACE-4140-964C-E67C486E828E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6cce186478a31fa015231a9ff8e84b09c5b6763","datavalue":{"value":"Kripke modelling","type":"string"},"datatype":"string"},"type":"statement","id":"Q434449$0D280672-1B93-46C0-AEE3-8F4870B74D86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q434449$430AEDA5-3132-4559-8FA9-245ABC545095","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2eb4d1af95699ef062cce80ecbcf1e1484586450","datavalue":{"value":"formal verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q434449$418CECB6-DDAD-4B38-8E74-87C15AFB78B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5f1d419064ab70a7d1501f686fbf65526d44d75f","datavalue":{"value":"multi-UAV systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q434449$B8B51F4C-99B1-4709-8C56-F46E0C2C4C1C","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"53a4a9b6c38d395d5b2eb80cedc3eefcbf3e9947","datavalue":{"value":{"entity-type":"item","numeric-id":15987,"id":"Q15987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q434449$DADE9C1C-E308-4726-91C6-40952551401D","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":"Q434449$D213114A-5ABB-4C7D-ADD5-044799250C33","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"939a8e6e1e728a16b24bdc687be693273d62e4ee","datavalue":{"value":"https://doi.org/10.1007/s10472-011-9270-x","type":"string"},"datatype":"url"},"type":"statement","id":"Q434449$ED875BE3-EDCE-4A63-AFB4-D5B0843DF94E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ad0cd99d7ac9d8829cbfb97021108939bf79e38e","datavalue":{"value":"W2095002986","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q434449$4A57CBBF-6786-47CC-962C-7E6112306CED","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"731fff832e7711198e063399154f72f88c50c123","datavalue":{"value":{"entity-type":"item","numeric-id":3719811,"id":"Q3719811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q434449$CCE3BC29-F379-4145-8EDD-6C2CE090C46B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4705cc8b7f05926698dd8328e3934056112834a7","datavalue":{"value":{"entity-type":"item","numeric-id":1402475,"id":"Q1402475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q434449$861AC3B5-A327-45A4-9D6B-85607A5DCAB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"986b9cd8037b92f95a7000076dc9bc42dc6872b4","datavalue":{"value":{"entity-type":"item","numeric-id":2768256,"id":"Q2768256"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q434449$61D967BA-34AB-4A19-9CE4-7B8703762C1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99481f9dc876872ca2d108635ad429fabc0c3501","datavalue":{"value":{"entity-type":"item","numeric-id":5484596,"id":"Q5484596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q434449$2B6C9DFA-C6DD-47BE-841A-CE9102433976","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"672be30d9c0fd1bb08a1fc6131d1506ec245277a","datavalue":{"value":{"entity-type":"item","numeric-id":4830107,"id":"Q4830107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q434449$D227E8A3-E1F5-46EE-B57C-AA6963BCFD9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eaaee3a935b71da0c5fd895e355092a513197bd2","datavalue":{"value":{"entity-type":"item","numeric-id":3265659,"id":"Q3265659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q434449$1477417D-8564-40D6-8FC1-78D094DA8E54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"23b008c640b2d8061e30defcaaf98e0ace1773df","datavalue":{"value":{"entity-type":"item","numeric-id":5339289,"id":"Q5339289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q434449$C82CD2AF-576E-43CC-AC4F-5F9CB31C5AAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff15a003decaf3fb97cc8f3b2a4669e9d9544304","datavalue":{"value":{"entity-type":"item","numeric-id":4873991,"id":"Q4873991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q434449$C9CCDEDA-3311-4294-AC11-C5DD0ED65249","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03f882972e0d4020177d8ec9773323d710a3e89a","datavalue":{"value":{"entity-type":"item","numeric-id":3141897,"id":"Q3141897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q434449$238F7C92-1CCF-483A-85A9-1D25DAD52DD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"32310c315c57b6404244edc0908c9796034cc4ab","datavalue":{"value":{"entity-type":"item","numeric-id":5461269,"id":"Q5461269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q434449$7F389387-A678-4185-AF81-C0041744BB33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d4fd8e8649972cfb18928c830100b5577aab9e24","datavalue":{"value":{"entity-type":"item","numeric-id":2496041,"id":"Q2496041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q434449$A6EBB34C-10B8-4C89-A34A-A4E55C6B0EEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f1075d48ef12909818377e813a377939c126fef","datavalue":{"value":{"entity-type":"item","numeric-id":3278730,"id":"Q3278730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q434449$0B1895CE-59ED-42F0-9A84-68ED39364832","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"44f4fdf53b69529f572a46857b2706df125b993d","datavalue":{"value":"10.1007/S10472-011-9270-X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q434449$D4241574-83F9-4023-8799-5260E1F3AFA9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b9af2354e1d855fdef41250e3fea02e4e90ef639","datavalue":{"value":{"entity-type":"item","numeric-id":3161546,"id":"Q3161546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a939a078cc8969af9b09fcee0e2e18f0859c317d","datavalue":{"value":{"amount":"+0.8153560161590576","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":"Q434449$683BF938-BCC2-4F71-8DDE-DFD8C598BE89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"651297526dcaf2aaca7b24b3d0ebd78605e1c2ce","datavalue":{"value":{"entity-type":"item","numeric-id":5484596,"id":"Q5484596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bf69fb264bd87dc125e1a8286b620db790da3b36","datavalue":{"value":{"amount":"+0.7898901700973511","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":"Q434449$066DE715-C491-46BE-8C25-D3BEF7F9AFD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ecd692b4fc7e4cbb62a2b8b6d5d44aec791409e5","datavalue":{"value":{"entity-type":"item","numeric-id":2457152,"id":"Q2457152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d788e4cb95f41fb8e82cefdb5d9e656a72508c94","datavalue":{"value":{"amount":"+0.7524709701538086","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":"Q434449$CA4964C5-7045-4FFA-AAD5-DF6F75A83D02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"969d6169c27b9de8e63b70f2c051918364cdf4ce","datavalue":{"value":{"entity-type":"item","numeric-id":2903986,"id":"Q2903986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f02464ff0131b9f31384e18d5034e815323aac8b","datavalue":{"value":{"amount":"+0.6706059575080872","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":"Q434449$D7E0F551-24EB-4BC5-B14A-53695ED1B4E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0ffc7baeaf579d974b2182928f46cedbcd0688d8","datavalue":{"value":{"entity-type":"item","numeric-id":2848072,"id":"Q2848072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a0aa413b53ce39ea746829bd3d765f31f7d6c9f6","datavalue":{"value":{"amount":"+0.6622744798660278","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":"Q434449$1CCBAB25-43F5-47C6-A361-8C8E4B5DC897","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Kripke modelling and verification of temporal specifications of a multiple UAV system","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Kripke_modelling_and_verification_of_temporal_specifications_of_a_multiple_UAV_system"}}}}}