{"entities":{"Q5394226":{"pageid":7423800,"ns":120,"title":"Item:Q5394226","lastrevid":49954357,"modified":"2026-01-12T06:53:01Z","type":"item","id":"Q5394226","labels":{"en":{"language":"en","value":"Automated Technology for Verification and Analysis"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5067811"}},"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":"Q5394226$27A0578C-F0D8-4682-BCB9-FB31684467FF","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":"Q5394226$A2BD2C75-E63D-441A-9B6A-9B7C90629E47","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fe42c793c857d4dac4c183cc743547132365a231","datavalue":{"value":"1108.93311","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5394226$834C370A-06F6-4300-877D-0912F7A0CB9F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"62c3feff052f951675a9686563ffe0a3714c5952","datavalue":{"value":{"entity-type":"item","numeric-id":839002,"id":"Q839002"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5394226$C3E48CBE-408D-4F24-A1F0-777E0192B1EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b89efc04017073bfb8c5d7b0cf7f25e439024bbb","datavalue":{"value":{"entity-type":"item","numeric-id":406443,"id":"Q406443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5394226$2E39B36B-7C81-4BCC-8150-84853427500D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5e2502d555044057b433878309d4bafe6f0f848a","datavalue":{"value":{"entity-type":"item","numeric-id":736834,"id":"Q736834"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5394226$B3ACE923-D89F-45F4-B5F2-196761A7BCAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ea1877e0b2fc7289eda5e03ce8eb5b6597577062","datavalue":{"value":{"entity-type":"item","numeric-id":1300105,"id":"Q1300105"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5394226$EAD4CA16-4032-440B-BA73-B5C4AA207C36","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":"Q5394226$CABBCC23-F959-42D9-B2D2-BB1D353A805A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"524490ea1b25be9690e11f6569cdb524b84ba54c","datavalue":{"value":{"time":"+2006-10-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5394226$9A098280-F90B-43D7-8274-90C1CC346F24","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"cce598be3a84b4ca47f77511c359420e95d40219","datavalue":{"value":"93C65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5394226$874CF5DC-8CCA-419A-B774-6556E7C4A9FF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1a4156061cc2c58ef785a70704b252c094d91039","datavalue":{"value":"5067811","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5394226$8290B098-53E5-4316-8F1D-62A50DBE4352","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":"Q5394226$21C8473D-5E52-4F53-B071-F22F70D7D0AB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2e411b8b114f6e08d09c262225d3dcc3acbd7c7d","datavalue":{"value":"https://doi.org/10.1007/b102065","type":"string"},"datatype":"url"},"type":"statement","id":"Q5394226$6CE612CB-00DB-4EE5-9B42-21F7701BB6C3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b2896a511e6a52cc5e2f74e5ff9778820a8583ae","datavalue":{"value":"W3139984071","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5394226$19FB874F-23A9-4641-8C7B-9E4BEB00FDFB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"da0d9cc4a9602a4c3a273d2e6c828fb0685ebc6d","datavalue":{"value":"10.1007/B102065","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5394226$4DABC870-0B4F-4720-A239-093D2DC2D4F3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f251ce60a1e93f4acb252110e0e13922f80f05fb","datavalue":{"value":{"entity-type":"item","numeric-id":839004,"id":"Q839004"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"55112c016b71f37b211d644392bde71e494d556f","datavalue":{"value":{"amount":"+0.8803576231002808","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":"Q5394226$84586D6E-BC3F-4103-89B5-6BEAEE9264DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"254b5a2c3987d882a275c988bfa26d8cc52ebb27","datavalue":{"value":{"entity-type":"item","numeric-id":1008779,"id":"Q1008779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ff0112cce5de8555f3c3acf8925a653bc00de16e","datavalue":{"value":{"amount":"+0.8020695447921753","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":"Q5394226$E0A59B29-2C87-4BB5-A7F4-506105B985B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e59440bd9fb109bff3ddfec6157872e046368b79","datavalue":{"value":{"entity-type":"item","numeric-id":1323633,"id":"Q1323633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e2c108c41a946622eff190b91998e1376b770e33","datavalue":{"value":{"amount":"+0.7902525067329407","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":"Q5394226$B57BFAF5-1CB0-4482-BE44-795EF4FD93B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1bb3e25852bbae857a620d0ef6572dd1ce473816","datavalue":{"value":{"entity-type":"item","numeric-id":3478330,"id":"Q3478330"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"473e95478f6208e809acee3cf08f3e80249941ee","datavalue":{"value":{"amount":"+0.7782636284828186","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":"Q5394226$4D137D22-1C7F-4053-9A8D-FA32425E8B6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"23bdea381b790b8a849ab4c6d5d609569a010105","datavalue":{"value":{"entity-type":"item","numeric-id":4306699,"id":"Q4306699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e07a7db5e83c75b0fa74b956c3d9508b148c861c","datavalue":{"value":{"amount":"+0.7760592699050903","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":"Q5394226$7084A952-0989-4EA4-A892-D179D210767A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5394226","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5394226"}}}}}