{"entities":{"Q5491863":{"pageid":7521423,"ns":120,"title":"Item:Q5491863","lastrevid":49937812,"modified":"2026-01-12T04:36:13Z","type":"item","id":"Q5491863","labels":{"en":{"language":"en","value":"Automated Technology for Verification and Analysis"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5061535"}},"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":"Q5491863$AE55826A-893B-4CA5-BDFB-7505D312FFEF","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":"Q5491863$1A91DDB2-1471-436A-A209-EA8FF38CB1F0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4fac9226d869bc86cfe9a30511f51786bfd7931c","datavalue":{"value":"1170.68540","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5491863$1A643E9B-33DB-4C64-AEDA-365D39D63200","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"28a662263cec3d22f0aca8f437e52100d4cbb70d","datavalue":{"value":"10.1007/11562948","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5491863$90ECF27A-8FEA-492B-8457-0798091D1BA7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3326f16e258c9d3c96f67ddd0658b06e5bc9ab68","datavalue":{"value":{"entity-type":"item","numeric-id":2761700,"id":"Q2761700"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5491863$6E00401D-BF18-4A4A-8DBD-6620D3B57E7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"df3ac8b732cf333e6b12ba0f543377c635e7c488","datavalue":{"value":{"entity-type":"item","numeric-id":1768478,"id":"Q1768478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5491863$F3267183-1424-4C8C-B4BF-082116691E2F","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":"Q5491863$14177D2D-AB49-4B7A-BF0F-C4F9E4D05FAC","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":"Q5491863$480F7B98-ACA9-4770-B8B4-5E9EA1C4F715","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5491863$0E44C599-B320-4AE9-AD67-40E81BF624E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f100e7e9b912dd320a0f918ece3ef4edbbe567fd","datavalue":{"value":"68M12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5491863$BDFEE810-4E0D-4782-94DF-7BBF5A5EB3B2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8b22a5bc0b419bfd7fd77b6cb18ce012817d12b7","datavalue":{"value":"5061535","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5491863$A5643FEE-FD69-4D3A-AB88-1FA2AB3858DF","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"89fb12d844f0ad33355e58c257e09445a80837b2","datavalue":{"value":{"entity-type":"item","numeric-id":16563,"id":"Q16563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5491863$606DA982-3C37-4CB3-9EE5-D8F62C276E8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"32f6b67f636d3b4ff87f78d227dd0cfe2d2c4d39","datavalue":{"value":{"entity-type":"item","numeric-id":14500,"id":"Q14500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5491863$48709479-6C11-4C4E-A81A-840BB0B23340","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a20498efd7672a526d616e86f695804b7273a736","datavalue":{"value":{"entity-type":"item","numeric-id":21867,"id":"Q21867"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5491863$B649AF2D-9D3A-4B88-B12D-CD46C4EB7064","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":"Q5491863$6121A4E2-ED32-4481-9A4A-8EBC05E83963","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":"Q5491863$110C7DB7-374A-42B0-B93F-6FFDF55101D0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"66fd4c701f53b9a8fdbb9c58ffadfec164b069db","datavalue":{"value":"W4300912265","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5491863$F85B1EDE-CB9F-4F2A-BB70-0102B7BB9F0F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"757db22ac137513c579e17f520dda9243245f610","datavalue":{"value":{"entity-type":"item","numeric-id":2723329,"id":"Q2723329"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"489fab908ff2413dc3f4fe9ee1bd68eb0deec66b","datavalue":{"value":{"amount":"+0.7163784503936768","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":"Q5491863$F1FECC57-23F3-4C27-B73A-AD8A7E5380C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ec62f1d65bad7bfc2e5bae1b8aed75f73306be0e","datavalue":{"value":{"entity-type":"item","numeric-id":1856177,"id":"Q1856177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8f1ced36f168bb013ce6b40915531c90c3601c93","datavalue":{"value":{"amount":"+0.7091372609138489","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":"Q5491863$66766265-0304-4C48-9601-FEA2E99FA540","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"13eef1da412afceae7bc3475926ad65b7a5f8290","datavalue":{"value":{"entity-type":"item","numeric-id":5943258,"id":"Q5943258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fc78f38f00b2fca8285f081bb469ca01701e71f6","datavalue":{"value":{"amount":"+0.7075155377388","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":"Q5491863$D43B1FE7-ED0C-44D6-83EA-8B90A9D02A54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"29e8c30128a61262a4aef9a3d3999ce9bf536e07","datavalue":{"value":{"entity-type":"item","numeric-id":4738313,"id":"Q4738313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3a9cf009b42cc30032bb207e9eac4476f0689410","datavalue":{"value":{"amount":"+0.7073379158973694","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":"Q5491863$F2747474-65F7-4707-8671-B507D3D819B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6fa8051ed9a08268458a56364f716f5f865b5f2a","datavalue":{"value":{"entity-type":"item","numeric-id":2769607,"id":"Q2769607"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"23bb3c2dbc23ac1b1afd8eaf1a39ecea6e627dcc","datavalue":{"value":{"amount":"+0.6980787515640259","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":"Q5491863$19DD3A1E-942E-49B9-A76F-B77E9A8DD2C7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5491863","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5491863"}}}}}