{"entities":{"Q5491869":{"pageid":7521429,"ns":120,"title":"Item:Q5491869","lastrevid":49937827,"modified":"2026-01-12T04:36:14Z","type":"item","id":"Q5491869","labels":{"en":{"language":"en","value":"Automated Technology for Verification and Analysis"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5061540"}},"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":"Q5491869$5AC58E5E-FB81-47ED-B544-9237E44C2EF6","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":"Q5491869$391ED5DF-9E64-4E3C-9C61-AACC8EA62054","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d6af5fddd46b8aa4517ddebe5d16c2eff96c9519","datavalue":{"value":"1170.68539","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5491869$19AF896E-F8C9-4460-80DC-FA43673955CC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"28a662263cec3d22f0aca8f437e52100d4cbb70d","datavalue":{"value":"10.1007/11562948","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5491869$9E4C31BF-92D8-4764-BBAC-BA616DC4B4C8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"dda9ef52c721036bc2c5ca8408bcb7b43075ffbb","datavalue":{"value":{"entity-type":"item","numeric-id":515653,"id":"Q515653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5491869$6FAED80A-8D1A-45F4-8E0D-5635868147D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"90739aea32371d507efc0d485d2e862d23543168","datavalue":{"value":{"entity-type":"item","numeric-id":259050,"id":"Q259050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5491869$4E64DE2F-E365-411A-97F8-FE19BC1A9A33","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":"Q5491869$E116F0B4-18D8-4C09-93D2-6FF6C14BFC69","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":"Q5491869$9E772BA2-BE9D-44B2-A5AE-F285D2794A49","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5491869$0A78777A-A345-45BB-AC46-403AA9CB34D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5491869$CEB1F736-DCDC-4650-BB24-0895CEDE1CEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5491869$09D7D6FA-5630-49BF-9A20-77473E38C15C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5491869$36EAE1D6-EB22-44CC-A82B-839324028ABF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"499b1e7d5d365f13ba5fa2ee4b874a6cc2afbf7b","datavalue":{"value":"5061540","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5491869$7532074E-980C-4B98-957F-707E9F630A69","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":"Q5491869$16859431-A40D-4E20-8A62-BFDFBE654982","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":"Q5491869$24C18E52-9228-408C-9674-40B9AD264382","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"66fd4c701f53b9a8fdbb9c58ffadfec164b069db","datavalue":{"value":"W4300912265","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5491869$0768F963-8CFC-4405-86D8-029A379581FC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f2751d9a71623fdddfad00ffe4cf9328cf63d946","datavalue":{"value":{"entity-type":"item","numeric-id":3426790,"id":"Q3426790"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"18bc282462b4a4524a87ad96bedddee592c53808","datavalue":{"value":{"amount":"+0.999012529850006","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":"Q5491869$EDDFBB53-37D8-4B0A-A80B-DEB13408F9DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b5daebd12befc49456f52b112720ff89591ad7fa","datavalue":{"value":{"entity-type":"item","numeric-id":5136320,"id":"Q5136320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"02a85821b2117f7774bb7ba182cafd254a652c66","datavalue":{"value":{"amount":"+0.8222968578338623","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":"Q5491869$AAE900B3-1F8C-44EF-B53A-29B79E65A920","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3343eedbd4a09073ee0b27b6d8bef26f3ae938fa","datavalue":{"value":{"entity-type":"item","numeric-id":3510801,"id":"Q3510801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"43dae22423e7a7d8e7de63655f937d549792d249","datavalue":{"value":{"amount":"+0.8126789927482605","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":"Q5491869$DFBF54E1-2809-4F61-AF63-6AB1791219EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0471f99ee6f4c74b0b10321452611c277a150174","datavalue":{"value":{"entity-type":"item","numeric-id":4952307,"id":"Q4952307"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"490e1ee1f4d73fe37545c70097324bcb0d99ca7b","datavalue":{"value":{"amount":"+0.8047944903373718","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":"Q5491869$2EDF92DE-4D14-4106-9D33-50F3CF1F7D2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"83b881948e1133609ca295bf3dcd6587ee20c87a","datavalue":{"value":{"entity-type":"item","numeric-id":5758113,"id":"Q5758113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"490e1ee1f4d73fe37545c70097324bcb0d99ca7b","datavalue":{"value":{"amount":"+0.8047944903373718","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":"Q5491869$BC66423B-C54A-442C-A3B5-46AB93C8107A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5491869","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5491869"}}}}}