{"entities":{"Q5491876":{"pageid":7521436,"ns":120,"title":"Item:Q5491876","lastrevid":49937839,"modified":"2026-01-12T04:36:15Z","type":"item","id":"Q5491876","labels":{"en":{"language":"en","value":"Automated Technology for Verification and Analysis"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5061545"}},"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":"Q5491876$B9B86EBF-C889-46AE-AEB3-49A516C747B9","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":"Q5491876$E4DCE23E-2D72-47FE-873F-E394AAA55FC6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"34e44ddff4e7b8d06a140fa0d1fa1c3b03de3964","datavalue":{"value":"1141.68427","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5491876$C862E354-ABE3-400A-850E-CE98DAB9FA77","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"28a662263cec3d22f0aca8f437e52100d4cbb70d","datavalue":{"value":"10.1007/11562948","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5491876$1C6B2CEE-1F0A-4533-B17A-F871BB83DCDD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6f7b97d0ec13caeea26ece0842a295b2fa3e4b72","datavalue":{"value":{"entity-type":"item","numeric-id":2841312,"id":"Q2841312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5491876$13E17014-B519-45FD-8F9B-1CB1B7D62D78","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":"Q5491876$82CAB476-8C82-4390-9DCE-8B6A256A9AB1","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":"Q5491876$C3E7665E-1CB9-4B2F-8E0B-6A04F679FCCC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5491876$51A5E2F1-E37D-443A-8552-82ADDE88198B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c97f396dec5a7921d35cad8e1b2204b58880024c","datavalue":{"value":"5061545","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5491876$B4C8635D-95B6-4B87-A2D7-4567A69D5A74","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":"Q5491876$E93FD002-0B90-459C-B766-51B264ADB92B","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":"Q5491876$50A154D7-FF53-4DD5-A47F-BDB74605C724","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"66fd4c701f53b9a8fdbb9c58ffadfec164b069db","datavalue":{"value":"W4300912265","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5491876$DE72C2F6-ACFE-4EE4-9011-835FE2DCF831","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7f2d2ea1a437bf695c35d5fd5de85cac2b5b2815","datavalue":{"value":{"entity-type":"item","numeric-id":2481210,"id":"Q2481210"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b22ac1fc68ccaaaeb8bf964e93a0ec717edff4a9","datavalue":{"value":{"amount":"+0.9410167336463928","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":"Q5491876$35142C4B-E28B-442A-885F-4104FC103718","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fd6743a2ff41c77a3e352733f8985c532105932d","datavalue":{"value":{"entity-type":"item","numeric-id":4988649,"id":"Q4988649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"83898134d7fccf303553859e472b155dad22b376","datavalue":{"value":{"amount":"+0.7731823921203613","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":"Q5491876$CAED15B8-AA62-4F0F-B088-67CAEA2D6AF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d2feab869842aa685e6b2ff7b44a55199e7c6ed5","datavalue":{"value":{"entity-type":"item","numeric-id":4950850,"id":"Q4950850"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"33726073095bf45f9dded0f873e3373b71df713e","datavalue":{"value":{"amount":"+0.762567400932312","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":"Q5491876$2C08DC3A-A5EB-4560-B197-5318B6D5F57A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c2b4587469adbdc5b0cd4cf80a6391e5adbb0dec","datavalue":{"value":{"entity-type":"item","numeric-id":4336210,"id":"Q4336210"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ece3cf26e24bb65703735d2e93a6c97d451ad7db","datavalue":{"value":{"amount":"+0.7492035627365112","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":"Q5491876$70CAB914-79F1-4C5D-8118-112ADB416AD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"434a4458627648def9563ea8a1af79385bfed551","datavalue":{"value":{"entity-type":"item","numeric-id":5891133,"id":"Q5891133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cc0c24f977dee4b4bdc44e2d3bf6ba40bdde7abd","datavalue":{"value":{"amount":"+0.7437607645988464","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":"Q5491876$8CC81837-2D4F-4FDB-A737-824B863A3BD2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5491876","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5491876"}}}}}