{"entities":{"Q5491889":{"pageid":7521449,"ns":120,"title":"Item:Q5491889","lastrevid":49937872,"modified":"2026-01-12T04:36:17Z","type":"item","id":"Q5491889","labels":{"en":{"language":"en","value":"Automated Technology for Verification and Analysis"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5061555"}},"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":"Q5491889$6273222D-77E9-4C64-B78F-EE44970D3A18","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":"Q5491889$44251DDD-B563-48B6-BA48-CD49ACC8B94A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d39fa496cc36460b4e56764fb2e87856f227e5c0","datavalue":{"value":"1170.68519","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5491889$6E2BEA33-AB3A-428F-B78B-1000B5D77BC9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"28a662263cec3d22f0aca8f437e52100d4cbb70d","datavalue":{"value":"10.1007/11562948","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5491889$D0034D95-18F2-4BC2-8AF7-DD9318999088","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f161a480b9c89752015764e13c5bf4e0fcd16fe7","datavalue":{"value":{"entity-type":"item","numeric-id":300415,"id":"Q300415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5491889$07D42848-D80A-407C-8365-7A0892FE33B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f4744499443df964c09fc7ab48131ab29ebe0d5a","datavalue":{"value":{"entity-type":"item","numeric-id":1401923,"id":"Q1401923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5491889$9DD640E9-C435-44E9-BEAF-9A29D4AB1293","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":"Q5491889$D39A9DA1-2344-4770-B7DF-98DCDE249FCF","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":"Q5491889$FEAEDB8F-37AA-4231-BCB8-853FAEC98981","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5491889$3A941F7D-D509-4E16-AA13-3183FDFDEC68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5491889$C555D11D-E389-4988-B33F-0FD221B373CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5491889$AFA5A016-466D-4D08-8299-C27957825557","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"087a0dbf6f29a8386e593900f134f7f84e17d329","datavalue":{"value":"5061555","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5491889$BF9BDD6C-D236-4371-A5AD-F502A5FB56F0","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"12faf0197c8eccd5f33a8e2b581ff39c1d8a00ed","datavalue":{"value":{"entity-type":"item","numeric-id":33079,"id":"Q33079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5491889$48D29972-4A30-4649-B332-F4BD0877ADB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bb600505726038dde1f7205c06067efdfd1bd64e","datavalue":{"value":{"entity-type":"item","numeric-id":14127,"id":"Q14127"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5491889$A7580A6A-D46D-471E-8584-3DA6C86BF45D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ce91c9303e62db122d4c0c98d17eb9dbb9274541","datavalue":{"value":{"entity-type":"item","numeric-id":33078,"id":"Q33078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5491889$B59A1A28-C834-4AE5-80E3-EC19B2AF3F8B","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":"Q5491889$69247D87-8867-47BC-9403-CA4DB68FDC95","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":"Q5491889$40555F92-3301-4AEE-BB10-AC37D18E96EC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"66fd4c701f53b9a8fdbb9c58ffadfec164b069db","datavalue":{"value":"W4300912265","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5491889$A6D4526F-6E7A-4C5D-BAD1-44E4DBCEC88E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf37580c23209469b489f72776ed474f89593902","datavalue":{"value":{"entity-type":"item","numeric-id":5327431,"id":"Q5327431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4e5d369bc8717dc0f3fbda8b67ff11f6eabd7853","datavalue":{"value":{"amount":"+0.811372697353363","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":"Q5491889$3ECF58EB-4E57-4BC1-9DDE-6821B023C1E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2aaa7d93e2b76cbf8e66545ac3988e34fe50253e","datavalue":{"value":{"entity-type":"item","numeric-id":5311488,"id":"Q5311488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"46c009feb9bf7099fc616f5c1baefd6bf5420058","datavalue":{"value":{"amount":"+0.8061670064926147","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":"Q5491889$70D0B73C-ECB4-40DB-BBE2-F8CDF55FE3F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6b072625db9e5d2baad940c695baab4855f6af98","datavalue":{"value":{"entity-type":"item","numeric-id":1990502,"id":"Q1990502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8fbd73908241cfa8a4e8995697555fba55577499","datavalue":{"value":{"amount":"+0.8045092225074768","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":"Q5491889$6EEE1118-404B-4B4D-B604-67DB08E00E87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"551cc467d0f107639dbfeaeaafa1a23264736806","datavalue":{"value":{"entity-type":"item","numeric-id":5901227,"id":"Q5901227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c00bcfa2a3247eb6e119adfca32abc9f38b35668","datavalue":{"value":{"amount":"+0.8012208342552185","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":"Q5491889$F640B7C0-198A-47BF-9AB4-ADD9769F63D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8815a488a45d78fbffb8ceca65c23f127c01f105","datavalue":{"value":{"entity-type":"item","numeric-id":5491888,"id":"Q5491888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7e60666dd3fe97b93648d4d690ef94f611154c9b","datavalue":{"value":{"amount":"+0.7995269298553467","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":"Q5491889$FDF21C26-C449-404A-BA83-F22775CDA6C1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5491889","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5491889"}}}}}