{"entities":{"Q5491849":{"pageid":7521409,"ns":120,"title":"Item:Q5491849","lastrevid":41202484,"modified":"2025-04-19T01:05:45Z","type":"item","id":"Q5491849","labels":{"en":{"language":"en","value":"Automated Technology for Verification and Analysis"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5061521"}},"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":"Q5491849$4916FB98-1D02-4B6E-BAC0-60545623977A","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":"Q5491849$2BD29D51-C5D3-471A-9306-8F2764FFBABF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"720e94a921978162a8859105d0de5cda30664caf","datavalue":{"value":"1170.68508","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5491849$2BCF1A04-602F-43B9-9C47-8452CDE4EF09","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"28a662263cec3d22f0aca8f437e52100d4cbb70d","datavalue":{"value":"10.1007/11562948","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5491849$B2F166EF-8405-4693-8E8B-B2A08CE9D170","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"93bcc46c92320d32acc10288ada535d0a0700679","datavalue":{"value":{"entity-type":"item","numeric-id":939165,"id":"Q939165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5491849$1A416A00-F71A-457D-8E02-71B5DB57CFA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"136a3bf1f009deb2a6a9913d5ea0e7ae90a03274","datavalue":{"value":{"entity-type":"item","numeric-id":582279,"id":"Q582279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5491849$E070C932-38EF-40BC-A972-F24DA7EE6B1E","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":"Q5491849$249E79F8-D7A5-4954-ADFC-C1DFC6B437FE","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":"Q5491849$7CEAB067-F16E-4ED8-ACC0-DC765C64CCE1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5491849$767A5D75-19A0-4FC2-9B2D-AD7979FBC954","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5491849$9CC5016B-649F-44DC-8F69-AFC54A907A24","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ecb4d5f783bc512e650d07b26f82fabd11ed7017","datavalue":{"value":"5061521","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5491849$CC0939CF-903F-4278-9895-C43B19F319C3","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":"Q5491849$79B4A13E-60C9-4C27-80AB-405D01182F42","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":"Q5491849$33552277-6074-4521-B8BD-151DD976EF2A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"66fd4c701f53b9a8fdbb9c58ffadfec164b069db","datavalue":{"value":"W4300912265","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5491849$C277A152-55F9-4C61-967B-D378844FC00F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5734b632aa9f216d991e078bc553da9ee343b013","datavalue":{"value":{"entity-type":"item","numeric-id":3069740,"id":"Q3069740"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7b16d44638d0119fe79109dab2da471d3ee13c43","datavalue":{"value":{"amount":"+0.93443274","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5491849$B7EDE269-CF72-417D-8CFB-B399C22471A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8b847686912a5cb65f500ed95a425d4dd550e167","datavalue":{"value":{"entity-type":"item","numeric-id":5399489,"id":"Q5399489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9eb3fc897e33bc59645a2f4375aba24d289533c8","datavalue":{"value":{"amount":"+0.93025625","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5491849$5278171E-7D45-48C9-8772-A3CCCA715AC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"57898ad5938baaa660b9084b87b99b319157a720","datavalue":{"value":{"entity-type":"item","numeric-id":5897503,"id":"Q5897503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ba06e51898a2d9fefc9b27e129114252b78eb217","datavalue":{"value":{"amount":"+0.91461194","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5491849$0829E00E-4410-4651-BCC4-BF79AE7B645D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"95b207d4397b0bc9c6b2a54c6097b402df3452fe","datavalue":{"value":{"entity-type":"item","numeric-id":3000639,"id":"Q3000639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"27916bb64ded1f5991cdb4abebdfc030f5152a9b","datavalue":{"value":{"amount":"+0.91170853","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5491849$C9497E13-3CD0-4C55-B2FF-9030614237C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d89b3130f48f2a3955d9b721b5463f25f4f6bbc2","datavalue":{"value":{"entity-type":"item","numeric-id":1930157,"id":"Q1930157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f3d5c7efb07df5c84725e92f0e0d0b157de8635b","datavalue":{"value":{"amount":"+0.90243787","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5491849$4109A55D-1949-4EC2-B8C2-408FF24816FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"751b94c0cef29085aeea0c42d5f91d7ab68a1d9b","datavalue":{"value":{"entity-type":"item","numeric-id":5499193,"id":"Q5499193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"60dcc68c81f963564c9cb2cd2a7a9e4acd2a9357","datavalue":{"value":{"amount":"+0.8993405","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5491849$A201A2D2-C230-44F7-98B8-E98AC6F7877B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"880ce12e3c5869538e915c6e6dc301f63852730b","datavalue":{"value":{"entity-type":"item","numeric-id":5222968,"id":"Q5222968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9ea750d88fda66de91250250afc017878a70b721","datavalue":{"value":{"amount":"+0.8894665","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5491849$F824F59E-4EB1-4B89-9215-C89191A66E2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a6e4251c7d7c8287cb43fb5e0e28c5f0d5fdbdab","datavalue":{"value":{"entity-type":"item","numeric-id":1065537,"id":"Q1065537"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4c530d96a9c62c27a3b884b13807ef881c856e24","datavalue":{"value":{"amount":"+0.8830013","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5491849$7BA2C933-F47B-4B9F-B04B-53A7443C34EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e0aba2b50f1f3f002c6aa2b981a42e7657d25472","datavalue":{"value":{"entity-type":"item","numeric-id":5045380,"id":"Q5045380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6aff6e90e5805610b7b05ff81431f6d9389b6120","datavalue":{"value":{"amount":"+0.8826584","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5491849$194E386E-FC6A-4F29-8BDA-465529BB7095","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cba91a2fa8a38f05d02fe6a811450a3326020603","datavalue":{"value":{"entity-type":"item","numeric-id":5176169,"id":"Q5176169"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f8a3087fd0334da9a7c9161a4731bf293338e76c","datavalue":{"value":{"amount":"+0.88093734","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5491849$83D27733-E013-44C5-B009-8141B7289355","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5491849","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5491849"}}}}}