{"entities":{"Q5491878":{"pageid":7521438,"ns":120,"title":"Item:Q5491878","lastrevid":96296615,"modified":"2026-06-05T10:53:09Z","type":"item","id":"Q5491878","labels":{"en":{"language":"en","value":"Automated Technology for Verification and Analysis"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5061547"}},"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":"Q5491878$13853198-BC84-4C4A-A9D3-7C540C9BF497","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c016fe5649b6237744db644bc737d13642237370","datavalue":{"value":{"text":"Automated Technology for Verification and Analysis","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5491878$66B65CF3-4F2F-468F-8B90-42AEC4C249F6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a4392e8e1853e1a4ea981af42c09c36ca6912ea6","datavalue":{"value":"1170.68521","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5491878$57DF3C6B-5E79-4E92-BD73-96F7CB274F01","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"28a662263cec3d22f0aca8f437e52100d4cbb70d","datavalue":{"value":"10.1007/11562948","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5491878$C7658B35-40B2-405F-81D8-E69AE0412655","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"917193f43b155bc5f83a938f9c1c2e6bb5626b5c","datavalue":{"value":{"entity-type":"item","numeric-id":2842579,"id":"Q2842579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5491878$9A66B503-9A5D-4B60-9534-6F329D196F0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"35389b4dba65cd14fce7ecfdbcc231c4dfefad5a","datavalue":{"value":{"entity-type":"item","numeric-id":3522896,"id":"Q3522896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5491878$2A45FCBD-A324-4322-AB28-BFE66D00CD11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5ef8339e8b71a874e6165505764b5b0ac93e4ea4","datavalue":{"value":{"entity-type":"item","numeric-id":3522895,"id":"Q3522895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5491878$6E3C9D6B-AD40-4040-A202-2329A22B7C23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e755b5dc9f4979397d0df2f5a71bc2bf917f598a","datavalue":{"value":{"entity-type":"item","numeric-id":1716559,"id":"Q1716559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5491878$99FD58F4-20ED-4892-B52E-6F14A8EC7B85","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5491878$97E90386-5D32-4B2D-9252-5E9BD0A6CB25","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"17d5dc9e06bd48c78f65617b39b2f452c61f43e4","datavalue":{"value":{"time":"+2006-10-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":"Q5491878$5DA53A2F-43B9-41C4-A4E9-B5872742B140","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5491878$BF6200E7-A3DF-4FD2-B87F-8C889C4A0F52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5491878$9D0A2D39-000E-43CE-A0CF-F3E7DE923DD6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bbf7732e14dece3421ea717a9ec9fcc9f4f1b6cb","datavalue":{"value":"5061547","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5491878$58D5FF1B-7472-4D2C-A4DD-7896CA66848B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c145ccd7960fded370e8ca2078fd5506e8ccc1c","datavalue":{"value":"Prioritized timed automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q5491878$5449DA4B-3136-477C-98DF-B34AD2ECDFE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b5e3f05205cc13145542a3427f159f34936d5f3c","datavalue":{"value":"DBM subtraction","type":"string"},"datatype":"string"},"type":"statement","id":"Q5491878$66F1B4FA-3CB7-4DC3-9109-C40AB740CD9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a8eee48e7a80eff695d3a2fc20e009d0311866df","datavalue":{"value":"zone merging","type":"string"},"datatype":"string"},"type":"statement","id":"Q5491878$2D237A00-8066-4C1F-9A4F-18111CEE847F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7b596b7684046432000d3dd795a3b5eca476ab84","datavalue":{"value":"zone reduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q5491878$4B2AE767-7AC0-4D8F-8BEC-76DB6BC60451","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":"Q5491878$9CA74D75-8916-49A1-8A8E-F97EABC49E1F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"605bdcc41e0013e6bf8b8d47371bf369caf2fa7c","datavalue":{"value":"https://doi.org/10.1007/11562948","type":"string"},"datatype":"url"},"type":"statement","id":"Q5491878$EF11E655-4AF8-46DE-8A00-79C880204516","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"66fd4c701f53b9a8fdbb9c58ffadfec164b069db","datavalue":{"value":"W4300912265","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5491878$3233127F-F40D-4D2F-A05D-77A7FF29C006","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8ac436fe8850ed35acfbd6f4bdd6c3fce1244753","datavalue":{"value":{"entity-type":"item","numeric-id":3511228,"id":"Q3511228"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e3702ae0d2a3cd441827368fad6cabed4a7d8f63","datavalue":{"value":{"amount":"+0.8263028264045715","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":"Q5491878$6C31A995-0704-4EA7-B48C-51F43C740B76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"21163ffb8906f890b1b920725fb02e0fb8459ff7","datavalue":{"value":{"entity-type":"item","numeric-id":3510821,"id":"Q3510821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a435fddad5f275951a0b1dddb0b3c92f5bf30ea9","datavalue":{"value":{"amount":"+0.7671526074409485","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":"Q5491878$4E09575E-A543-4EDD-A2F4-40A7AC0CECC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"61762d1a0b214a9dcb84410f924064d87dbece04","datavalue":{"value":{"entity-type":"item","numeric-id":4503929,"id":"Q4503929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d0daa16692a08d105b6d1aba7e8c3d0596186bba","datavalue":{"value":{"amount":"+0.7377870678901672","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":"Q5491878$528CAE9C-8C40-4A4B-8AFA-DAFF7204E12E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e4929db541abaeff19585802249b189759227a44","datavalue":{"value":{"entity-type":"item","numeric-id":4817528,"id":"Q4817528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2ab5a2254100db5cc7713a4e17c052192737f37c","datavalue":{"value":{"amount":"+0.7323058843612671","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":"Q5491878$F775D6AC-3F67-4605-B768-27ADB44DFE91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6ac0293f6d7778aff62ba38b5fbd353952a34dcd","datavalue":{"value":{"entity-type":"item","numeric-id":4270073,"id":"Q4270073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6ce52613b19204ed66b27667ed241b5d46b15d73","datavalue":{"value":{"amount":"+0.7316105365753174","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":"Q5491878$B91F9F11-E377-47AA-B677-8F625BD39671","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Automated Technology for Verification and Analysis (scientific article; zbMATH DE number 5061547)","badges":[]}}}}}