{"entities":{"Q5491860":{"pageid":7521420,"ns":120,"title":"Item:Q5491860","lastrevid":49937806,"modified":"2026-01-12T04:36:12Z","type":"item","id":"Q5491860","labels":{"en":{"language":"en","value":"Automated Technology for Verification and Analysis"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5061532"}},"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":"Q5491860$2CA04A67-1517-4ECD-91F2-3D81C797A3BB","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":"Q5491860$F011FB21-9D64-4A5B-825A-4ACCE71F7668","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a28a7551b455507fb1cbedbc68e04e5574a7a596","datavalue":{"value":"1170.68518","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5491860$B82D3FBB-E688-40EA-91BD-438547D082B2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"28a662263cec3d22f0aca8f437e52100d4cbb70d","datavalue":{"value":"10.1007/11562948","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5491860$D23CBDFD-FB1A-4343-A884-352E50A5C486","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"436e53559fa3d16a41f9128c9495e9a426724c6b","datavalue":{"value":{"entity-type":"item","numeric-id":3510784,"id":"Q3510784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5491860$5265E963-691D-4CF2-976B-587DA7F39C80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"678323d8c357eaf7e7bc2f1d5d96711bb3955f10","datavalue":{"value":{"entity-type":"item","numeric-id":656079,"id":"Q656079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5491860$5BE4AF18-8566-4C71-99EA-CF337BED1C3A","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":"Q5491860$3B37918A-B8F4-474E-B82A-72DE51B1E2A3","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":"Q5491860$114B995E-5309-459C-8C9C-E8FC30BC2C4D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5491860$A87E4064-139A-4E72-97CC-5F48B3816338","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e160c0deac95cb73681104631c5a511719c33da5","datavalue":{"value":"5061532","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5491860$AE34AD7E-2398-42BC-A34E-F65F61FEC2AF","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a6cf9fc054c8d6a68d9124c2db7ee89e021092b9","datavalue":{"value":{"entity-type":"item","numeric-id":14010,"id":"Q14010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5491860$17646753-C1E7-4AD7-AB3D-8C787FD4AAB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b8a49be4a9cb7b2131c7b348c426c00703c6ecdd","datavalue":{"value":{"entity-type":"item","numeric-id":14301,"id":"Q14301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5491860$66774BDA-B252-4BBA-9F39-A2841299248A","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":"Q5491860$C936E6B0-28B8-4DE2-82FF-D307B4B2201A","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":"Q5491860$99FB0A20-7598-405E-9857-C9C99E2DA1A1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"66fd4c701f53b9a8fdbb9c58ffadfec164b069db","datavalue":{"value":"W4300912265","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5491860$5D1A0FCD-4377-4BC0-9DFE-C19219AB4806","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ddeee5661d26a48bfedff67049ec8c6c6064fb4b","datavalue":{"value":{"entity-type":"item","numeric-id":5902014,"id":"Q5902014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ceef3258189a010f28a190ca562ecbe44a5e9d8b","datavalue":{"value":{"amount":"+0.7770822644233704","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":"Q5491860$0CE546E7-1E5C-40BE-980F-7710E506FD52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cc7b2fcb3956ae82d75aec5d6f32fcbb9e48c01d","datavalue":{"value":{"entity-type":"item","numeric-id":2769597,"id":"Q2769597"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dfe80e78b911768d3d2fababa91744b3a0bf24cc","datavalue":{"value":{"amount":"+0.7549579739570618","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":"Q5491860$1BC6B82E-58E2-43B3-807B-C7B5F14DD71A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"06eadf5cece38f4be57d9e92b1ba825d1238e999","datavalue":{"value":{"entity-type":"item","numeric-id":3431097,"id":"Q3431097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0c689224f6e129ad2e5953fbd7b4145cdd671c41","datavalue":{"value":{"amount":"+0.7445060014724731","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":"Q5491860$674D8594-B317-43B3-A578-64B5873D892C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d1434798dfd9c93a9198252345f82afa163e2c25","datavalue":{"value":{"entity-type":"item","numeric-id":5464743,"id":"Q5464743"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a69b16daec4fe8a782b6b26a90284566d71abb8f","datavalue":{"value":{"amount":"+0.7363397479057312","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":"Q5491860$BE994F46-6D97-4DFB-A82B-8E70E6CA6A37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"39b45b1c5bd24d32ff6f1ec613fde5ee7e83d54e","datavalue":{"value":{"entity-type":"item","numeric-id":2848434,"id":"Q2848434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bd2730b724b3f072309ba38e86b83bdbe596c500","datavalue":{"value":{"amount":"+0.7333101630210876","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":"Q5491860$CA29E279-7B1C-4BC9-986A-CABAB1E3EDB8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5491860","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5491860"}}}}}