{"entities":{"Q5491879":{"pageid":7521439,"ns":120,"title":"Item:Q5491879","lastrevid":49937848,"modified":"2026-01-12T04:36:15Z","type":"item","id":"Q5491879","labels":{"en":{"language":"en","value":"Automated Technology for Verification and Analysis"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5061548"}},"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":"Q5491879$6463B549-43B2-4EC8-9C6D-5C2332E73863","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":"Q5491879$7B468B2C-9262-4A80-BE1C-BD5D95F2A02A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d658eccda9171eefede9f8470b7dd080cadee939","datavalue":{"value":"1170.68531","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5491879$C5B4D9A9-F7FB-41F4-80DB-CD8E531B9963","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"28a662263cec3d22f0aca8f437e52100d4cbb70d","datavalue":{"value":"10.1007/11562948","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5491879$83F4437D-1C26-4596-9EF2-C54EEB563399","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"58e472dc220c961e6fb7219c0eea81563de85288","datavalue":{"value":{"entity-type":"item","numeric-id":2373876,"id":"Q2373876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5491879$D6CFCEEE-C2C9-4A08-A1F9-4828AACBC925","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9491c0a0f4df059e837824eca71ad92c31ba0be2","datavalue":{"value":{"entity-type":"item","numeric-id":278754,"id":"Q278754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5491879$9423D943-1567-48CA-9AFF-2D83B5785E0E","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":"Q5491879$4CF38233-6115-4472-88C3-8D6B424E1494","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":"Q5491879$0360D93B-080D-449D-90A9-B5A4526868EC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5491879$8DFA6CBA-D831-4863-9C6F-92B5E524B137","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a7dde57cbaf704d564d8f981ca98d6340e3d4aaf","datavalue":{"value":"68Q05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5491879$9754101E-1D47-4AF1-8C55-D4A4227F3EC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5491879$19820F17-128E-480F-92BC-B4B5BD2F1A9D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d1abd637a12bb7da8b68df4eb2ba23542efcfaf9","datavalue":{"value":"5061548","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5491879$905C691B-7EDE-4708-92AF-A2154A70775D","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1bc012cf10551bf42bb05efd85ce69678e698524","datavalue":{"value":{"entity-type":"item","numeric-id":16622,"id":"Q16622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5491879$ADE0E992-F902-45A8-B909-93CDCDF6BEAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"531a52a4ab12ab6e2b5be84834036762ed677445","datavalue":{"value":{"entity-type":"item","numeric-id":13928,"id":"Q13928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5491879$6E79423C-7019-4F9D-A244-3F814A243EA3","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":"Q5491879$8388758E-C694-4546-BFEF-3F253E5697E9","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":"Q5491879$8251DE6D-2CCF-47C9-936E-1364C2E72ECB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"66fd4c701f53b9a8fdbb9c58ffadfec164b069db","datavalue":{"value":"W4300912265","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5491879$E09ECABF-39E5-4E1A-BE1D-F859C9B7847C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d2bac916bfb46af89f595b79e303f722247a4b1a","datavalue":{"value":{"entity-type":"item","numeric-id":4518905,"id":"Q4518905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3672777c01e22abf3369db425dc315374fc9af1d","datavalue":{"value":{"amount":"+0.8200201392173767","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":"Q5491879$90CF0E91-E2FD-4760-AB61-6287B10E4282","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a18970a28b070b07a12f1eafd6606b8aa38cd6a9","datavalue":{"value":{"entity-type":"item","numeric-id":4946960,"id":"Q4946960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"34f90362b15e9a1937d8100464cb229a9f38e282","datavalue":{"value":{"amount":"+0.7972944974899292","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":"Q5491879$FA6D3F93-184B-4E5B-87B5-0182DE52321B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b0468c56b5095132157067038516c1d011b2c06b","datavalue":{"value":{"entity-type":"item","numeric-id":2248072,"id":"Q2248072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3c509711333faebb953cda7dc034917ed6c5760c","datavalue":{"value":{"amount":"+0.7972944378852844","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":"Q5491879$6D459623-1065-4898-A923-4A1BD54700A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"89da0729a847f4865c3e8aa8ea876ecab447aae1","datavalue":{"value":{"entity-type":"item","numeric-id":4571974,"id":"Q4571974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"37d9242c3cda70cfe1f465e8925ae5c449722e3c","datavalue":{"value":{"amount":"+0.7714089155197144","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":"Q5491879$8E940F93-38D2-4CCD-BE90-9E3CF639FA3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2b28be15f4094b77ff04345904a366f4adf8cb9c","datavalue":{"value":{"entity-type":"item","numeric-id":4472227,"id":"Q4472227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"92011c6283b2299c0dabd356aaac3205bb51537b","datavalue":{"value":{"amount":"+0.7620590925216675","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":"Q5491879$14F63259-651B-40AB-BF0F-B48EFFE8CD05","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5491879","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5491879"}}}}}