{"entities":{"Q5491882":{"pageid":7521442,"ns":120,"title":"Item:Q5491882","lastrevid":96296651,"modified":"2026-06-05T10:53:10Z","type":"item","id":"Q5491882","labels":{"en":{"language":"en","value":"Automated Technology for Verification and Analysis"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5061549"}},"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":"Q5491882$BC887F8C-40EB-4EA9-892B-5EAA270EEBCC","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":"Q5491882$EDB05669-E099-485B-A2C3-C55215DE0289","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"beda9ca4645482236865e8094785aa955d4977b1","datavalue":{"value":"1170.68313","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5491882$B5474D53-2E9F-429D-9F05-3C5AA407F733","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"28a662263cec3d22f0aca8f437e52100d4cbb70d","datavalue":{"value":"10.1007/11562948","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5491882$6B7DC882-DDAA-4BF8-8462-D64F2C540B51","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d04b98bdafc4a66976fa1dbf85c99ad08c1196fe","datavalue":{"value":{"entity-type":"item","numeric-id":5491880,"id":"Q5491880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5491882$309E34B3-E39A-4038-B8BD-529F6EEDBBA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"67fcd59d1c3382e5b7ec2a30b08c54e6484ce801","datavalue":{"value":{"entity-type":"item","numeric-id":5491881,"id":"Q5491881"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5491882$539D0F27-CBD9-415B-A23C-DC8D10AB558D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"eb030b6bef47f639d81b33db5972d6ffedf1411f","datavalue":{"value":{"entity-type":"item","numeric-id":413311,"id":"Q413311"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5491882$2E5A81CF-5207-41C2-B838-1AA70F52A1F6","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":"Q5491882$F3E5473F-A393-4281-8E7D-5F78B4735645","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":"Q5491882$36086051-DB25-4D42-A5BD-13DF10EE2155","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ca8c16691e9ec83d46a3995338b09d48ac9660ac","datavalue":{"value":"68M10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5491882$D0D9C5CD-288E-4B6C-9618-DE59DF852EC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f100e7e9b912dd320a0f918ece3ef4edbbe567fd","datavalue":{"value":"68M12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5491882$57181F31-0FCB-47A8-98FF-F00E60FE55E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ff42057022552eaa82447a5a1563ef3bf93acd","datavalue":{"value":"68M14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5491882$CBBDFBCD-52B4-4730-841C-3A2C85A381D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5491882$7307A8B6-6DC2-4F63-984E-34684AB7A6C1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"770c6ded8cf35ace3d2f76a94171df62751e341e","datavalue":{"value":"5061549","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5491882$AC37D981-37DE-46DE-B07D-050D26A1476E","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":"Q5491882$C0FB05BF-36AF-4F80-8E5B-CB1F8EDCCD97","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":"Q5491882$421D43BD-8568-44F8-9316-A2F427671913","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"66fd4c701f53b9a8fdbb9c58ffadfec164b069db","datavalue":{"value":"W4300912265","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5491882$4BA84601-A5CD-465F-9075-A312E5ACD679","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8ca74bda7706b1f9f76ab46617c3fd8f186ffeb8","datavalue":{"value":{"entity-type":"item","numeric-id":5707604,"id":"Q5707604"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bf0b84bdeb166b3745af2f7d3bb27806da3788cc","datavalue":{"value":{"amount":"+0.7633705139160156","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":"Q5491882$E02C2AB6-1398-4D2E-B3DB-5C0296868874","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5df3707f73893df49ebeac30deea7d1f50dfcd72","datavalue":{"value":{"entity-type":"item","numeric-id":3415658,"id":"Q3415658"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"70da28bd2b28e5c377e24c58c67e7c1c1068b5fc","datavalue":{"value":{"amount":"+0.7400301694869995","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":"Q5491882$C46767DC-6DCC-4F64-A541-D82D961220A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"63de313831b514221c23ba30d65f4a0400e730a2","datavalue":{"value":{"entity-type":"item","numeric-id":5698418,"id":"Q5698418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b1d6b0b6ecd8ea3fb37a83588c7099717d91b709","datavalue":{"value":{"amount":"+0.7381486296653748","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":"Q5491882$7F96D526-7B48-477D-B8B4-FA2DA27DB8D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5c88c094cb7d7b1169e851b819f86468d8a38f1f","datavalue":{"value":{"entity-type":"item","numeric-id":5446582,"id":"Q5446582"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cd97d1bb326b426e282ee31a7c729232c2eb314f","datavalue":{"value":{"amount":"+0.7339896559715271","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":"Q5491882$FC6591AC-DCC1-46AF-933D-EBB514501E6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b107bc502d18dacaa0f5ec775bf40d46e621e79e","datavalue":{"value":{"entity-type":"item","numeric-id":389376,"id":"Q389376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5ef9343755beb6af9151bb5a9730f0925c8e3ee5","datavalue":{"value":{"amount":"+0.7274554967880249","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":"Q5491882$3FAFE277-E50F-4601-99D9-828690ECEE6E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Automated Technology for Verification and Analysis (scientific article; zbMATH DE number 5061549)","badges":[]}}}}}