{"entities":{"Q5394209":{"pageid":7423783,"ns":120,"title":"Item:Q5394209","lastrevid":49954330,"modified":"2026-01-12T06:53:00Z","type":"item","id":"Q5394209","labels":{"en":{"language":"en","value":"Automated Technology for Verification and Analysis"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5067803"}},"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":"Q5394209$C5CBA44C-B200-4E75-81FC-8AA581C5CF62","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":"Q5394209$5B382AF9-E4EA-4252-A3B3-CA5D7D9F3C46","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"22e85b8ac921cd784662e18095f59a1eabb34240","datavalue":{"value":"1108.68508","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5394209$141E12ED-CFA2-49FA-A279-E9FB572ACD36","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"38779f50a69747b70cc10822d17cfc1937593a22","datavalue":{"value":{"entity-type":"item","numeric-id":849042,"id":"Q849042"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5394209$81F1F8DD-9829-4699-A817-E71F51788F81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"01277be78df99d25abf3fd13f35cfe94a34e0898","datavalue":{"value":{"entity-type":"item","numeric-id":5302401,"id":"Q5302401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5394209$32F52FC7-D4FA-4D8E-A3DD-995754846963","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2484932308a9d7a24dc006669218f382f848bd37","datavalue":{"value":{"entity-type":"item","numeric-id":5394207,"id":"Q5394207"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5394209$59CFC40F-CEFF-4C76-9843-40034D8D6731","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"02b6c4a8e059b4672322c818576f911f99a34249","datavalue":{"value":{"entity-type":"item","numeric-id":849040,"id":"Q849040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5394209$EE1C5363-1DB6-4FA0-95D9-717039459978","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"97f320ff0e28748aa0024689b92a64cbaa043162","datavalue":{"value":{"entity-type":"item","numeric-id":5394208,"id":"Q5394208"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5394209$2AC4409A-26FA-47A3-81E8-0E3CC5EEC265","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2ec8966c7a773e66501fc694472b38c82bcfc6b4","datavalue":{"value":{"entity-type":"item","numeric-id":2644670,"id":"Q2644670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5394209$0C1962A5-DBA0-4969-A13C-75E039F223F1","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":"Q5394209$93B41E1C-B55F-4043-A4CD-B2B9552AB71B","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":"Q5394209$FC5DDDF5-C42F-453D-B4AD-C70497D8A41B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5394209$F0A1B2A0-B04D-4262-A9C0-DE5B6A7FE8E9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cf4a8756acba55047ab2bc0e06b5bceca99e2470","datavalue":{"value":"5067803","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5394209$381637BF-45BC-4718-B03C-254A40E87A7A","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":"Q5394209$A248A388-C3E9-475C-A885-B5BD3A84C658","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":"Q5394209$501BB32B-59D2-4F49-A496-58BBB8D48521","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b2896a511e6a52cc5e2f74e5ff9778820a8583ae","datavalue":{"value":"W3139984071","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5394209$3B570A24-70C4-496B-A46E-74A7F2190716","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"da0d9cc4a9602a4c3a273d2e6c828fb0685ebc6d","datavalue":{"value":"10.1007/B102065","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5394209$4FE3A98B-8601-40FE-8475-6A24BF94537A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"325b923d54cb23fccbd8e8a26831849d5d09c00d","datavalue":{"value":{"entity-type":"item","numeric-id":4344157,"id":"Q4344157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"49d38b0b9f5bb864af9533ad94642e8b29785d5e","datavalue":{"value":{"amount":"+0.7442412376403809","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":"Q5394209$F2D079A7-DBFA-40CF-9A36-A62E39F309F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2f0192ba56b5cee0f8b869855bfb101c69e30b8e","datavalue":{"value":{"entity-type":"item","numeric-id":4475093,"id":"Q4475093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"49d38b0b9f5bb864af9533ad94642e8b29785d5e","datavalue":{"value":{"amount":"+0.7442412376403809","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":"Q5394209$EBDEE368-0505-4C0A-B197-AFDCFCEEFB3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3debc831d9e07716e3b30bdf208f7dc54e7813de","datavalue":{"value":{"entity-type":"item","numeric-id":4440330,"id":"Q4440330"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2b2eea6539411c20fb34b8e603f0dc116ba6ce1f","datavalue":{"value":{"amount":"+0.6933679580688477","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":"Q5394209$B68EC5DB-232F-4DAF-88F3-D38ABD66A2B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e54fd6f4ad083c7f85785e0fe0c9e7110144878f","datavalue":{"value":{"entity-type":"item","numeric-id":4473731,"id":"Q4473731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0a83d7e72f3531c249772aa590fc7d6edbb0300e","datavalue":{"value":{"amount":"+0.6933678984642029","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":"Q5394209$B9A79030-E5F8-4F52-8350-537719B855D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"85da958f149506801aac69e27bc27f88761f3a6f","datavalue":{"value":{"entity-type":"item","numeric-id":5310445,"id":"Q5310445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ae165be213623a6c530d2b61e29471b2945a35e6","datavalue":{"value":{"amount":"+0.6895232200622559","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":"Q5394209$35C1D9D0-BF89-4BEE-B893-761DA1747C82","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5394209","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5394209"}}}}}