{"entities":{"Q5491877":{"pageid":7521437,"ns":120,"title":"Item:Q5491877","lastrevid":49937842,"modified":"2026-01-12T04:36:15Z","type":"item","id":"Q5491877","labels":{"en":{"language":"en","value":"Automated Technology for Verification and Analysis"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5061546"}},"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":"Q5491877$F47F7A5E-C0DA-4FFC-A1C4-0A92847F2C30","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":"Q5491877$68EDDFD1-391A-42B0-B5AC-35B597E71D96","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0b9566627b8090db0a90b05f747501318dccce28","datavalue":{"value":"1170.68527","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5491877$4A9E8B7A-F8C7-4E55-940E-F119257EFAE0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"28a662263cec3d22f0aca8f437e52100d4cbb70d","datavalue":{"value":"10.1007/11562948","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5491877$731B252C-BE15-497C-B3F6-6C710011C573","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cec177c60e5a5e06c4135c2d656205cdaac4e3ae","datavalue":{"value":{"entity-type":"item","numeric-id":259064,"id":"Q259064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5491877$88D87980-BBAD-4D73-938D-19DE739C7F02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"dde9477c31764f7e982fa5c7962174291d7bf7fb","datavalue":{"value":{"entity-type":"item","numeric-id":259063,"id":"Q259063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5491877$060D9288-B39E-462E-BD75-462B36554F28","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":"Q5491877$0DBA97AF-05E9-4B0C-ABC8-B66B0AF4863A","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":"Q5491877$68A1A013-64F7-4866-86F8-73820C84009F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5491877$FCBBD537-3E0A-4816-A2F5-1B4223C14A34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d5c83f057600e5614b7fec59c8e4ac61cb41ba8d","datavalue":{"value":"91A80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5491877$FA041AD7-4446-47A6-A5C8-7464398308F5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6e139e2c2dd9dd211f053f0a6570b7d9a95ebf44","datavalue":{"value":"5061546","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5491877$176C005C-516D-43D0-A87E-A73F45A5E3E6","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":"Q5491877$BBA94137-9648-46BC-AAB6-16A1A0A7B24F","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":"Q5491877$8309CBE4-E156-489C-B410-1063880618CB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"66fd4c701f53b9a8fdbb9c58ffadfec164b069db","datavalue":{"value":"W4300912265","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5491877$9AC9F9F7-96B0-46A1-8045-E32CD451D98B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"64399b0bf5dd74e68efb5cad3ea1bb72e9e83d33","datavalue":{"value":{"entity-type":"item","numeric-id":414899,"id":"Q414899"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f0709a2d9a5f6891b81cd83a33486c711c92f20f","datavalue":{"value":{"amount":"+0.9836519360542296","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":"Q5491877$B132771C-FC32-4B71-A09F-18A8F17EED1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"50b5ae91b6117279a7864ededdd149ebd8006eca","datavalue":{"value":{"entity-type":"item","numeric-id":4910728,"id":"Q4910728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4cc12a3558ad38f45dc1541917ecd6fe3b2e82b3","datavalue":{"value":{"amount":"+0.9692028164863586","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":"Q5491877$36F63642-01C5-49CA-AEC7-1DEA8844FE35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3b12f51fa7508470e8c4ac3504e447c6d1dcdb61","datavalue":{"value":{"entity-type":"item","numeric-id":5466469,"id":"Q5466469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b05d9d77bf27010f4906bc5a3528cc14dce16b17","datavalue":{"value":{"amount":"+0.8490565419197083","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":"Q5491877$777391D2-3957-421E-826A-99BF984CCA21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ca31711aaa221a2cb2e1d07abcdbe3134d735ffe","datavalue":{"value":{"entity-type":"item","numeric-id":5900571,"id":"Q5900571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3c8008bade889d17b1811f67113e4be4222d2628","datavalue":{"value":{"amount":"+0.8222606778144836","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":"Q5491877$F1A00E5D-9999-4A2E-9397-5983780278F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8cb451e9f4ce4a7f0b0192fa14e434bcec27dcb2","datavalue":{"value":{"entity-type":"item","numeric-id":3552519,"id":"Q3552519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fd829283576a33034f3e7b4e35e9c55c38ba03c7","datavalue":{"value":{"amount":"+0.8085972666740417","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":"Q5491877$A3F2FB53-E8F6-42AC-BA92-6DC58D9E2237","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5491877","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5491877"}}}}}