{"entities":{"Q5394198":{"pageid":7423772,"ns":120,"title":"Item:Q5394198","lastrevid":49954306,"modified":"2026-01-12T06:53:00Z","type":"item","id":"Q5394198","labels":{"en":{"language":"en","value":"Automated Technology for Verification and Analysis"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5067795"}},"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":"Q5394198$D8B2B3BB-3285-4222-AE65-BE0ECA9504CA","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":"Q5394198$8F8BE03C-319B-48F3-92CB-DA956FD717D1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"eca760959d2ef15ea349a79de26b19177b7e677b","datavalue":{"value":"1108.68081","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5394198$2BBA8A66-491F-45A7-8DC4-2B4D7D886F9E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c796d2f5c701a511849ec6abc30ee86d971d3359","datavalue":{"value":{"entity-type":"item","numeric-id":418181,"id":"Q418181"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5394198$AE7EA27C-6EAB-41FE-8D7B-6468271F7622","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"12bdbd4ef21c2a6545871977019cb4373b241c73","datavalue":{"value":{"entity-type":"item","numeric-id":418182,"id":"Q418182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5394198$8AACFFB5-8E8C-4412-A96A-1AE147D918EF","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":"Q5394198$E96B01D5-4A3F-479F-B4DA-4780E2B9841D","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":"Q5394198$84BF1206-2130-4416-9D68-F6179AB111BB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5394198$0C7CBE2F-65B5-48CB-8B95-30FA77003BD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5394198$A28DE3C2-952C-4F04-BB9D-49B6076D08B2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"297c1b61e4b698d7516ac101984842f7d8497965","datavalue":{"value":"5067795","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5394198$E30ED47B-2434-469B-A301-52B42933A30E","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":"Q5394198$B8901551-8CA2-4C6D-9447-11FA9194AFAE","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":"Q5394198$B9635E6B-252C-4AEF-BCD0-9947E8ABE0D4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b2896a511e6a52cc5e2f74e5ff9778820a8583ae","datavalue":{"value":"W3139984071","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5394198$96C494A8-C263-4377-85B7-CB4FE7E9CBDC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"da0d9cc4a9602a4c3a273d2e6c828fb0685ebc6d","datavalue":{"value":"10.1007/B102065","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5394198$5E6B6288-9430-4CC3-8AC8-E9E7FC7D138B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d73e5c05592cb8e7c36c415634ca90183b58c27f","datavalue":{"value":{"entity-type":"item","numeric-id":1708190,"id":"Q1708190"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c65dd867f923c4461c59b420d2d52bd85d1cc318","datavalue":{"value":{"amount":"+0.8153828382492065","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":"Q5394198$9994BEF7-3830-4905-B4A0-B8205C61668B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"41c59ba5d5a182c6e056b5b9c30c4537c98e77bd","datavalue":{"value":{"entity-type":"item","numeric-id":3507359,"id":"Q3507359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"db2222f462a04863b2326f98d3383a49f8efc106","datavalue":{"value":{"amount":"+0.7906059622764587","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":"Q5394198$9767BE35-1F4F-4D33-B4D0-385665EB5396","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c92a7ba7930efaad59ab38e2a6aba1a559615111","datavalue":{"value":{"entity-type":"item","numeric-id":3612928,"id":"Q3612928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e9fa37a0997a8280da9543142882878b829c7dc5","datavalue":{"value":{"amount":"+0.7724901437759399","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":"Q5394198$632E2CA1-CC5F-49EA-A495-188CE4D78DA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ee9382b7cb3165adb0de9b0a041b9d01338fd208","datavalue":{"value":{"entity-type":"item","numeric-id":3187803,"id":"Q3187803"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"da252b33c3d194a2b248876d59dab123fdebf309","datavalue":{"value":{"amount":"+0.7684993743896484","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":"Q5394198$47CD1CD4-31FE-4243-B0DA-37EA952799C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"97961d468774600bb255d0318dd6439b5ce93f0a","datavalue":{"value":{"entity-type":"item","numeric-id":3011889,"id":"Q3011889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a25e1aca0e88ec265837f6369d272a7a1e33a515","datavalue":{"value":{"amount":"+0.7548130750656128","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":"Q5394198$5FF98453-4A08-4708-9CE8-681807BB4583","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5394198","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5394198"}}}}}