{"entities":{"Q5491886":{"pageid":7521446,"ns":120,"title":"Item:Q5491886","lastrevid":49937863,"modified":"2026-01-12T04:36:16Z","type":"item","id":"Q5491886","labels":{"en":{"language":"en","value":"Automated Technology for Verification and Analysis"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5061552"}},"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":"Q5491886$3A150897-3922-45C4-A1DB-DB68DCC737FF","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":"Q5491886$34794091-7A57-40EB-A4F4-EA36C202F730","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"99d4468573f93ecf05818f7a80279e1793955c0f","datavalue":{"value":"1170.68522","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5491886$1928CCA5-4CAC-45F7-BFD6-B84D9337D4E7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"28a662263cec3d22f0aca8f437e52100d4cbb70d","datavalue":{"value":"10.1007/11562948","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5491886$72375064-6041-41A4-84D5-84F43305D080","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5f22dc23bbedd26b70ee187007dc896871cc9e61","datavalue":{"value":{"entity-type":"item","numeric-id":2779567,"id":"Q2779567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5491886$6FE1CA34-7EB1-4C6F-8A59-7253E4CCD554","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"af57163e1c158c47ddf84b87d6ba4fb9b941e08f","datavalue":{"value":{"entity-type":"item","numeric-id":5491885,"id":"Q5491885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5491886$5A73E8C6-FCEF-4F77-8A43-A5CCE2C6AFA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"04935240de55a949343a0104f6137af940dc941e","datavalue":{"value":{"entity-type":"item","numeric-id":816188,"id":"Q816188"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5491886$F219F10B-3481-4607-A05F-BB59F134D6C3","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":"Q5491886$B14BE92B-997B-452A-B7A5-29E79CAB4FCE","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":"Q5491886$FE63B859-242A-4F01-A165-026152F0AAEE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5491886$D4D48CA4-A3C8-459C-B952-F1C1BFB462B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5491886$5C70E96D-A6F4-4995-A0A7-7E40F8175129","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e1918ffe16ba5f62f3a2abe880dc5e4181cd54e6","datavalue":{"value":"5061552","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5491886$D128C551-34DB-41EF-B64D-7B9EC4DC9871","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e05716d11354c9d38e76a1ec25809265e02d101d","datavalue":{"value":{"entity-type":"item","numeric-id":24961,"id":"Q24961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5491886$1252AD5F-7D96-4B87-9F18-46346F0E8BCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b8c595ebeff3db9f2c5abab043e418dd92afdd42","datavalue":{"value":{"entity-type":"item","numeric-id":18927,"id":"Q18927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5491886$79729A5A-0074-4F5D-BF03-8DC6D111255F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"cc47147a404ecf949cf86c4e92d2dcc5a8bfafcc","datavalue":{"value":{"entity-type":"item","numeric-id":19680,"id":"Q19680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5491886$607F6DFF-1E99-4934-B4F7-4B92EE3AE8F4","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":"Q5491886$DF28F903-BDE8-409D-A203-2E44AE87CCFA","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":"Q5491886$B89F7C84-E53A-4EDC-98F8-3F020C0E1137","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"66fd4c701f53b9a8fdbb9c58ffadfec164b069db","datavalue":{"value":"W4300912265","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5491886$4DC434F5-CBD5-41AB-8764-7EBCA3C8484A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ddab87631d4a081dbd128c7a792d799b2a6c7e03","datavalue":{"value":{"entity-type":"item","numeric-id":1856163,"id":"Q1856163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7bd95ef5313805d5bc34a34a5ac8181d9e7edad3","datavalue":{"value":{"amount":"+0.809969961643219","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":"Q5491886$36922543-74CA-4134-AD86-E3A619363118","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d766783197ba0579561ecfedc45d2f984c2f9f5d","datavalue":{"value":{"entity-type":"item","numeric-id":4473733,"id":"Q4473733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e73392d49357d8d5cb8ae55c473f13fee9c86f83","datavalue":{"value":{"amount":"+0.7699100971221924","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":"Q5491886$731514D8-BDA2-430B-B566-8F7C5BF1115D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"931c69edb82621504d9a470ff7512c72b953d9f5","datavalue":{"value":{"entity-type":"item","numeric-id":4738485,"id":"Q4738485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2d1a25ed9e03e5f2daebc448c9e418c13168101d","datavalue":{"value":{"amount":"+0.7666623592376709","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":"Q5491886$37EF9CBE-819F-4553-B9B8-5E19ABD9E673","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6c2dfdaf9ca8f2ca86d5d44ebf2cba7852398500","datavalue":{"value":{"entity-type":"item","numeric-id":1878923,"id":"Q1878923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2dcb126a2cdac10939542206ef6c1729363d9aa2","datavalue":{"value":{"amount":"+0.7575641870498657","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":"Q5491886$544FAAFC-4BC7-4437-A674-F771B3C2F32F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"48db0fbd95a82ce5f3c22e39f14a88d592f1906d","datavalue":{"value":{"entity-type":"item","numeric-id":2460195,"id":"Q2460195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0cb69ddb2fd800a095de574da202358e2ff56776","datavalue":{"value":{"amount":"+0.7485670447349548","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":"Q5491886$948B28B7-A8F1-47C9-937F-15E23D4FDA3D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5491886","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5491886"}}}}}