{"entities":{"Q5491856":{"pageid":7521416,"ns":120,"title":"Item:Q5491856","lastrevid":49937797,"modified":"2026-01-12T04:36:12Z","type":"item","id":"Q5491856","labels":{"en":{"language":"en","value":"Automated Technology for Verification and Analysis"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5061529"}},"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":"Q5491856$9F00BAAF-9217-4780-B443-A74D56251AD7","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":"Q5491856$4CC0140B-3358-4D1B-96C8-7634D2511C02","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6d93ea73a122f72c82ed0e89531cf7a66c800cb0","datavalue":{"value":"1170.68511","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5491856$E21494D4-4554-45BE-841C-215A925DB675","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"28a662263cec3d22f0aca8f437e52100d4cbb70d","datavalue":{"value":"10.1007/11562948","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5491856$3B506544-897E-4B11-B914-D48D0A897345","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fcbdb18b8f9d60686ea68fcc5d8c76e0868dec3d","datavalue":{"value":{"entity-type":"item","numeric-id":209472,"id":"Q209472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5491856$9158175E-BFEE-46BD-9C1B-6143676792C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8b68a5e136f5db7a04a31010d40933c246905902","datavalue":{"value":{"entity-type":"item","numeric-id":294872,"id":"Q294872"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5491856$50B9FCD2-A391-4BEC-8CC0-18173EFB79AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e504e5c78f160847d88d111e5ab65b0189aa771b","datavalue":{"value":{"entity-type":"item","numeric-id":389833,"id":"Q389833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5491856$2B2349A3-63B7-4ADE-86F9-F3E84B232584","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":"Q5491856$F92BA62B-E4B7-4C21-88AE-D76F44A3E3B3","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":"Q5491856$811850BD-8E98-414B-86A8-A21C8237E8F9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5491856$43CAF0B0-589A-4F67-B952-AEA49C090F7B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8e35c92214d756acf70c3ef9cf587ff0c6569366","datavalue":{"value":"5061529","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5491856$2EDD9DB8-64E7-4957-90B9-C82FB02ED266","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":"Q5491856$212F4C06-994D-4112-B223-A965F29ACC23","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":"Q5491856$73F06192-8B2A-4C8F-8948-48D45EF6923A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"66fd4c701f53b9a8fdbb9c58ffadfec164b069db","datavalue":{"value":"W4300912265","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5491856$C41E09F2-DC16-49DA-BD25-53C75E4247C5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3e01117554cf20c9215b45a52e97248033fa135d","datavalue":{"value":{"entity-type":"item","numeric-id":3426788,"id":"Q3426788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6034be148fd618735ba5b6b4b7d5c80bc5244e3b","datavalue":{"value":{"amount":"+0.9987419843673706","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":"Q5491856$E6C833F3-7CC7-4C0B-A8AE-6739D2D51341","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"95b358e140207b41bb70612e09a861ca36038541","datavalue":{"value":{"entity-type":"item","numeric-id":2248097,"id":"Q2248097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4fefacaa942531c1654cc5fea3fbf3ea5479ee88","datavalue":{"value":{"amount":"+0.8107487559318542","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":"Q5491856$471FB752-96AD-466F-81BD-D2A902FCADD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"307d5bfdb6af94f2dc83a912280825a0941683dc","datavalue":{"value":{"entity-type":"item","numeric-id":3569093,"id":"Q3569093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"27d6af6be5764b6bb35fb3f7e5eb588d3c1b05de","datavalue":{"value":{"amount":"+0.8077045679092407","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":"Q5491856$C0A75CD2-35BB-4B70-8F38-8FDD13796F67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ed91a48d11db7f4ee0942145d6c97715ec481d3c","datavalue":{"value":{"entity-type":"item","numeric-id":3617769,"id":"Q3617769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8dacd34717d1b6708b1592af9e0cc7a784ab1ae0","datavalue":{"value":{"amount":"+0.7678166031837463","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":"Q5491856$7A57BD64-97E5-4D16-AB99-0C32C321A8B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a11bd1fcb85f60cb9a48898f6ca76162412a40ab","datavalue":{"value":{"entity-type":"item","numeric-id":4418864,"id":"Q4418864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0f8fb7aff17da3425efcaa964f6e7ecb8d636dd5","datavalue":{"value":{"amount":"+0.7665425539016724","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":"Q5491856$205D792F-346D-4494-A05B-A47E0789BB72","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5491856","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5491856"}}}}}