{"entities":{"Q5491870":{"pageid":7521430,"ns":120,"title":"Item:Q5491870","lastrevid":55978786,"modified":"2026-02-21T17:18:27Z","type":"item","id":"Q5491870","labels":{"en":{"language":"en","value":"Automated Technology for Verification and Analysis"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5061541"}},"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":"Q5491870$F93F8A15-158E-40BF-8F0E-99F795A08425","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":"Q5491870$EA04D3B9-EEF5-48F5-90CA-78CBB715A1E0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c398b448e329fb562e340edabcbaaae062928328","datavalue":{"value":"1170.68541","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5491870$4C07C41F-2EB7-4584-838C-D2216C8BC352","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"28a662263cec3d22f0aca8f437e52100d4cbb70d","datavalue":{"value":"10.1007/11562948","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5491870$E666CE72-0F51-4034-835C-49FDC3A4135F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"78d49d8c00361a84a31c194616096db0bf25a933","datavalue":{"value":{"entity-type":"item","numeric-id":1983896,"id":"Q1983896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5491870$D8445581-122C-4001-A03A-2A7BC1381523","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"438842b47b73230a28adc9917bdc17ecd48666db","datavalue":{"value":{"entity-type":"item","numeric-id":3143431,"id":"Q3143431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5491870$5848522D-086D-4C00-8664-C1B722488D34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e53e9e8d75c1a8c82039ccccf12496a1d5f360b1","datavalue":{"value":{"entity-type":"item","numeric-id":169424,"id":"Q169424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5491870$E24F6A6B-C89A-4BA2-93A7-E791E6A3B03B","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":"Q5491870$60A82BB6-FF51-46F9-BB84-099984DEB23D","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":"Q5491870$921A7289-3664-4F48-9732-7A0D729C147F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5491870$8B6D9F48-986E-492A-8DA7-9E7257A76980","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5491870$14E83744-4589-48FF-9D6C-F643D03E6C5F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4cb562cae280f63f8b2d4913b5ae3f9b8818f1ff","datavalue":{"value":"5061541","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5491870$020F4DF5-6E9D-4BF2-9930-5CAD6380810A","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"746d9e55d4e8a97c2b07f745dc060ac8f481dfb0","datavalue":{"value":{"entity-type":"item","numeric-id":15812,"id":"Q15812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5491870$584E0E6F-DCAE-44ED-8B6F-183CEC879339","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":"Q5491870$31063FDB-4A33-46F2-BE31-6F6D0841898D","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":"Q5491870$3421591F-A29F-4554-AEE1-7EBBE4D10B58","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"66fd4c701f53b9a8fdbb9c58ffadfec164b069db","datavalue":{"value":"W4300912265","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5491870$8C1E2374-A612-44BC-A778-C430BE10FA02","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4e9d02cba6069201bed2458ce10093fab68e2a18","datavalue":{"value":{"entity-type":"item","numeric-id":2807847,"id":"Q2807847"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e282879370a60759a9d8c7c52d4cdf21e9f385ba","datavalue":{"value":{"amount":"+0.8539974","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5491870$F1E768CE-0624-45D3-90F8-A7D1F5A9992E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"358a4cd8f2a3f1fed00bc2e2ef9e3849a6216d63","datavalue":{"value":{"entity-type":"item","numeric-id":5463947,"id":"Q5463947"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0ff075536df97a3a70bcea81f8f329afdfb3c2db","datavalue":{"value":{"amount":"+0.84895366","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5491870$4478938A-EA78-4FE1-A0BA-6F83263D1863","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"52c12c37847ce3e7ee57d81262f2e3615b0fe147","datavalue":{"value":{"entity-type":"item","numeric-id":3393060,"id":"Q3393060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d9460c5ca812ea60088e966a150bfd484e37ddcd","datavalue":{"value":{"amount":"+0.84782994","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5491870$1633328D-7166-47FF-B9F3-3A1CD13E3C4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d631bc5f1aac1e583320875223b027538910128","datavalue":{"value":{"entity-type":"item","numeric-id":814637,"id":"Q814637"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ee5295d3cd0ed0026f180812e88ca52509d658c0","datavalue":{"value":{"amount":"+0.84319663","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5491870$594D46AA-DBB9-44CD-8648-5370AB65C703","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7d9d6d64e9a41296a38eb539a7579d1a58cbab2f","datavalue":{"value":{"entity-type":"item","numeric-id":2208254,"id":"Q2208254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"69c95057ccb60dabe9b3701c3619f736ef49c738","datavalue":{"value":{"amount":"+0.84169424","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5491870$6DB848AC-1B7E-4EBE-BC54-4A1BF542BB77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6f0e5996a71a9447248374264a1ff788d4a5ec67","datavalue":{"value":{"entity-type":"item","numeric-id":2140509,"id":"Q2140509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d9e47e21b1c91a2498d205c1b184e40d0e29e52b","datavalue":{"value":{"amount":"+0.8412869","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5491870$A6EC0E8E-D666-4C2B-807E-0D56CEB6A223","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5491870","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5491870"}}}}}