{"entities":{"Q5491884":{"pageid":7521444,"ns":120,"title":"Item:Q5491884","lastrevid":49937857,"modified":"2026-01-12T04:36:15Z","type":"item","id":"Q5491884","labels":{"en":{"language":"en","value":"Automated Technology for Verification and Analysis"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5061551"}},"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":"Q5491884$1CD0531C-BA44-4286-BF19-18E1482D8F15","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":"Q5491884$30F50BB5-2A3F-459E-AB30-07823F4EB0F3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cffca56c0adf5892833e296997bbdf522e3f420f","datavalue":{"value":"1170.68613","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5491884$99BD0C28-8E59-46B3-ADF9-84DEA5D32F78","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"28a662263cec3d22f0aca8f437e52100d4cbb70d","datavalue":{"value":"10.1007/11562948","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5491884$1B6353CB-E5C6-4972-B983-99C5149C5700","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"49bb922c658627a1fef4c6084e0d71d74a4f886c","datavalue":{"value":{"entity-type":"item","numeric-id":1878916,"id":"Q1878916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5491884$A3307959-2439-4327-A993-56ADD03CC5CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d373391f211c0afad3158eed50870e0a91d62eea","datavalue":{"value":{"entity-type":"item","numeric-id":4738411,"id":"Q4738411"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5491884$945A4D69-D53F-4FC0-BBE7-7170CAB388B2","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":"Q5491884$F450CF43-1200-4BD5-99C1-836E5AA2A76E","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":"Q5491884$7E0C0441-63B4-46ED-ABC3-B780C16F1E3D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"46ffee837b0dbcd63fffc2834ebe2705f88e57be","datavalue":{"value":"68T40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5491884$D1C8053A-1598-4955-A94E-CB8040ECFFC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5491884$B1439843-96F1-4173-A1B8-CF17D4AB4E64","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6c73812258f346e17b030fc8a3af7672b45fad1b","datavalue":{"value":"5061551","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5491884$781C4FC4-4BE6-4D9C-951E-640353BB2697","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":"Q5491884$A9D052FA-6D6D-458D-84CA-D7AC0332FC1D","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":"Q5491884$E0F919BD-A9E3-46C8-A1E8-1074F0EC0176","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"66fd4c701f53b9a8fdbb9c58ffadfec164b069db","datavalue":{"value":"W4300912265","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5491884$5DAEABE9-6EDC-4C6E-8D0D-2CB24A14A854","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4867ce6e792bece096e21f88b609d530ff82bd27","datavalue":{"value":{"entity-type":"item","numeric-id":4546958,"id":"Q4546958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3de8713782b951fd94501acf2eeeb99198f9f4ae","datavalue":{"value":{"amount":"+0.6751318573951721","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":"Q5491884$33617B22-667D-41C2-B909-5D7173D7E911","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6a4a5e811b912f210d0e5220ef81ba26c37c0253","datavalue":{"value":{"entity-type":"item","numeric-id":4560620,"id":"Q4560620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a5001ca6bb6dfd769b6c8622d940f9e9866487af","datavalue":{"value":{"amount":"+0.6744559407234192","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":"Q5491884$B73A3F6F-8018-4CF8-BE92-25E2429EF06C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5bc71288bc152c8b66c4e360ece91d01118d8b11","datavalue":{"value":{"entity-type":"item","numeric-id":5045474,"id":"Q5045474"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a7a9b8d9ea364c700da21737c465b3dd50d1ebb5","datavalue":{"value":{"amount":"+0.6600757241249084","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":"Q5491884$2F608C2C-0B1C-42F0-867C-9169652C9F18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c020f4e830ba582e5d03d27e7de7d8a2ebe79f43","datavalue":{"value":{"entity-type":"item","numeric-id":2359768,"id":"Q2359768"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ba7130e0ce1140899682bd0b02002354436ff8df","datavalue":{"value":{"amount":"+0.6442863941192627","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":"Q5491884$AB979789-9116-4A50-9BC1-2488A1F2CEDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"20d1b6544a44b253b5ba8ce9a94642cd013d4f94","datavalue":{"value":{"entity-type":"item","numeric-id":2300466,"id":"Q2300466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"72668105afd6d3bf5aa396955ac929a902ff0e25","datavalue":{"value":{"amount":"+0.6303374767303467","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":"Q5491884$524820AF-536C-4994-BC0B-F02E089B6381","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5491884","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5491884"}}}}}