{"entities":{"Q5491865":{"pageid":7521425,"ns":120,"title":"Item:Q5491865","lastrevid":49937818,"modified":"2026-01-12T04:36:13Z","type":"item","id":"Q5491865","labels":{"en":{"language":"en","value":"Automated Technology for Verification and Analysis"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5061537"}},"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":"Q5491865$2AEB34A8-0DCB-4AD9-BE28-F2B04FE88D92","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":"Q5491865$FF9071E5-DB4E-479D-986B-47F75B02059B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"87602cadc671b890405583b4253713d9b1121b12","datavalue":{"value":"1170.68523","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5491865$02522AC8-A4A1-411C-9104-F6C0798C5C0C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"28a662263cec3d22f0aca8f437e52100d4cbb70d","datavalue":{"value":"10.1007/11562948","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5491865$D2E687E2-6077-410C-99B0-D9479EDDF3F7","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":"Q5491865$FA1AF327-4E9E-4E26-A8EB-33A401332E09","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":"Q5491865$8669BEFC-C6FC-480C-B124-BD421CD1FEFA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5491865$F9327278-37BF-4266-92C1-3F5C88B69D12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4db22146753f5305670e78aa06ee0367ddbad55b","datavalue":{"value":"92B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5491865$133C3417-86C2-4CFD-AD65-968B9AF73B28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1cc6a2d1a81aec0cb5abdfe44055f934ac25329b","datavalue":{"value":"92C40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5491865$1F2924DF-5D8F-40A5-A232-3E033AB7B2CE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ca7a97626964b94afcad66ffd62d983f69586552","datavalue":{"value":"5061537","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5491865$C3E7F07F-F6B7-45E9-AB83-B760F01CDF40","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fed35f2083e1592d074e2b779038b334adec1c0c","datavalue":{"value":{"entity-type":"item","numeric-id":16433,"id":"Q16433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5491865$65576B35-D2C3-43D1-9CF0-B38DE056B25A","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":"Q5491865$9B8EFF68-8B85-4293-B1BB-9573DE9E33EB","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":"Q5491865$64D71D33-774E-4089-9032-2ECC9D490288","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"66fd4c701f53b9a8fdbb9c58ffadfec164b069db","datavalue":{"value":"W4300912265","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5491865$7218E532-DE78-41BC-BADB-0A4E2E376FCD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6ece80339d84ad3e3ef3bc73b6de699e5eb0713f","datavalue":{"value":{"entity-type":"item","numeric-id":5716569,"id":"Q5716569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"122aca4b0d63ad388ab3f256d0a3da88725fdacd","datavalue":{"value":{"amount":"+0.833584189414978","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":"Q5491865$EBE9F43C-3437-4246-BA16-895B9BDB97BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d719d9383302e86a07cdcda3e182fa3d4d47bf1f","datavalue":{"value":{"entity-type":"item","numeric-id":2852017,"id":"Q2852017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fb87597d70face33c6fee047a49dc03d0ea3e53c","datavalue":{"value":{"amount":"+0.7482687830924988","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":"Q5491865$7EF8F8FD-E44C-4030-B5C1-35EA1988F05E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"967d2af298ac21f2cd6af9ce8a91a27a9c75621c","datavalue":{"value":{"entity-type":"item","numeric-id":689092,"id":"Q689092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eb3722b902c0ed1d533e62e2cdb695d090c37764","datavalue":{"value":{"amount":"+0.7392559051513672","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":"Q5491865$F0E86E50-051B-4F8C-8762-2D124F9F1D48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e3dcce4c62cc2f54e2de49ae3a5559642dd6645e","datavalue":{"value":{"entity-type":"item","numeric-id":5429361,"id":"Q5429361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c94a780bc72be71eee7d65ddcc055c1b483b432e","datavalue":{"value":{"amount":"+0.73895263671875","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":"Q5491865$FDF41C37-4E95-42BE-B28C-5FE968949C15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"03a32038638312572aea51b3a77b637bc2399845","datavalue":{"value":{"entity-type":"item","numeric-id":4413225,"id":"Q4413225"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0723b390acf4d6d04e2e9a6eaa80d24ae32843b7","datavalue":{"value":{"amount":"+0.7383319735527039","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":"Q5491865$5DF8ACC7-9F65-4F0F-9A23-262F8B33DB78","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5491865","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5491865"}}}}}