{"entities":{"Q5394168":{"pageid":7423742,"ns":120,"title":"Item:Q5394168","lastrevid":49954246,"modified":"2026-01-12T06:52:56Z","type":"item","id":"Q5394168","labels":{"en":{"language":"en","value":"Automated Technology for Verification and Analysis"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5067772"}},"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":"Q5394168$BE9EE7FF-D94A-4886-8292-86972B6767A5","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":"Q5394168$AC326874-B590-4841-B373-14D75587FC47","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e266217c319f35ca8d0b013df03b3cabfc5d9d9c","datavalue":{"value":"1108.68502","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5394168$43B721B9-95CE-4850-B681-DAB724EFA0CE","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":"Q5394168$30350E6F-3E47-4726-9EB8-73EF3FCD36B7","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":"Q5394168$81D96CBB-74B2-4208-BE9E-3479A6BFEBA5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5394168$D69C6C4A-ECD8-4DCF-A4D1-E327329CFBCF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"40204328e7c2cf59b39bc5867d62c4c4cd326297","datavalue":{"value":"5067772","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5394168$03A776C3-0940-4F06-8D27-99108A691FD6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"44b043bef7dc46cd8263914d1c26ba7b658fcc37","datavalue":{"value":{"entity-type":"item","numeric-id":1291692,"id":"Q1291692"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5394168$D612554B-23F5-4405-9788-FC09F7183621","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":"Q5394168$62495D80-5318-46C8-BBF0-913B1B0051B4","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":"Q5394168$07D06E46-7CC6-4E48-A76F-56F15236919C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b2896a511e6a52cc5e2f74e5ff9778820a8583ae","datavalue":{"value":"W3139984071","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5394168$9A9D731F-DC2A-4D3C-A7C4-4082D9B6516D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"da0d9cc4a9602a4c3a273d2e6c828fb0685ebc6d","datavalue":{"value":"10.1007/B102065","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5394168$63A95ED5-F1A9-4817-B3FB-09C777310D90","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"356609ae3d55d23c02586fd1f83879a316c099d0","datavalue":{"value":{"entity-type":"item","numeric-id":2754081,"id":"Q2754081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d8c565e8569b72a1a7fa0a646a58a447f478b7b1","datavalue":{"value":{"amount":"+0.8508833646774292","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":"Q5394168$76475713-B1EF-4604-8804-07812324439D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d8c5b063fc5e670d4a9f63284b1e1ed55f5ffb70","datavalue":{"value":{"entity-type":"item","numeric-id":5505565,"id":"Q5505565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dcf3ae5aa0ec1f7d1906e906d9792e07788d7184","datavalue":{"value":{"amount":"+0.8216691613197327","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":"Q5394168$FB5CE383-A18D-476B-BF90-DCA29E55ED0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"825d4b4dedd60b40f4a5573209725f185dd311f0","datavalue":{"value":{"entity-type":"item","numeric-id":4417922,"id":"Q4417922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"028109b77dc34abb26dea99d4d76c5d95bebac4d","datavalue":{"value":{"amount":"+0.8127226829528809","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":"Q5394168$976EB9C8-858C-4A4F-B80E-89DC05494288","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c11f0772c1208fd7ddf51ce4038b8f781a7ad79f","datavalue":{"value":{"entity-type":"item","numeric-id":3176371,"id":"Q3176371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d6e5c243436c73e16a8ac2d20d29bee67038a615","datavalue":{"value":{"amount":"+0.8070094585418701","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":"Q5394168$1F1D590D-75C1-4D7F-A8D2-9597C6935F7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2a76b3577a7618bb02f9806580f51d2b7da93b94","datavalue":{"value":{"entity-type":"item","numeric-id":5900551,"id":"Q5900551"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b086de0345779b23cf32e5fa74501523342c0f3c","datavalue":{"value":{"amount":"+0.8068889379501343","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":"Q5394168$4A595E74-EDEF-4D82-A3F2-57C4D431020B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5394168","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5394168"}}}}}