{"entities":{"Q5394202":{"pageid":7423776,"ns":120,"title":"Item:Q5394202","lastrevid":92243624,"modified":"2026-06-05T01:13:59Z","type":"item","id":"Q5394202","labels":{"en":{"language":"en","value":"Automated Technology for Verification and Analysis"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5067798"}},"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":"Q5394202$D7B94CA3-BDA2-42C4-A3B1-C345A780D068","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":"Q5394202$1D562059-9A90-4DBC-BC26-163583FDA09E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0b92aa5ee108ac2701def6d9f2f8692b2ae2a038","datavalue":{"value":"1108.68507","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5394202$96B4E5E0-2223-4280-8EA5-1A17C284A55E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9d7b4ba2b5f21bd563de3c282bac6d16cf2f60d3","datavalue":{"value":{"entity-type":"item","numeric-id":1776764,"id":"Q1776764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5394202$03B77321-0373-462C-A9AB-FAFE0B7A426D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"917193f43b155bc5f83a938f9c1c2e6bb5626b5c","datavalue":{"value":{"entity-type":"item","numeric-id":2842579,"id":"Q2842579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5394202$22EC5228-01DA-4CD1-90E0-48DA3BD09A3B","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":"Q5394202$95A0A763-1000-45B2-AA19-01CA7AFF7609","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":"Q5394202$12A77ACA-FE8E-49B4-810A-51EE7390AF31","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5394202$FD87AA97-5FDA-4A64-A0E8-AE0F98E2D698","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f888384e3ad2bf4e6884510756958f64217e2c1b","datavalue":{"value":"5067798","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5394202$6688A279-65E7-44BC-93B9-4D49CA367DB5","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":"Q5394202$F870F391-C066-4260-B777-6A8E65B25EB5","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":"Q5394202$C7F9C05E-9EFC-4561-8688-AC0D56D4D784","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b2896a511e6a52cc5e2f74e5ff9778820a8583ae","datavalue":{"value":"W3139984071","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5394202$9D2E6029-80FE-4A0B-B85F-2495E14C8C02","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"da0d9cc4a9602a4c3a273d2e6c828fb0685ebc6d","datavalue":{"value":"10.1007/B102065","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5394202$B6BD04C8-5D35-493C-BA3A-741360A3B65B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2d43f893c12565f7518f8eac849e73426ba8c6a9","datavalue":{"value":{"entity-type":"item","numeric-id":4551135,"id":"Q4551135"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a2e801e42a2dc473832a43deeccfe0256cdf56a5","datavalue":{"value":{"amount":"+0.7840986251831055","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":"Q5394202$50AE4CBA-7D30-4DA2-9B5F-C0CA25A7FB58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"926d5fd206d217b5f7121e6493f9afd4e589f575","datavalue":{"value":{"entity-type":"item","numeric-id":853721,"id":"Q853721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cfa3268db7234f59ce02ff6b924e46f2e05f0e6f","datavalue":{"value":{"amount":"+0.7624559998512268","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":"Q5394202$18B0857C-962C-4CAB-B078-FB153C18B5EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"87aefaf0a3accc39c366fbbf54925b4cf5221fc1","datavalue":{"value":{"entity-type":"item","numeric-id":2769612,"id":"Q2769612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9484a9fa6b53a7ab0c65c0c6ce983e0acafa5696","datavalue":{"value":{"amount":"+0.7597178816795349","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":"Q5394202$506532AD-223F-4D28-9214-6BFCD65AB80F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fa6ee33d1444d1e47ccfefb5b8d248588f986ef0","datavalue":{"value":{"entity-type":"item","numeric-id":3163925,"id":"Q3163925"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d2c039358901731f2d5885513e36fc33b05f4397","datavalue":{"value":{"amount":"+0.7385160326957703","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":"Q5394202$EB6147CB-86AE-4CAA-8518-A1087C4ADD63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aadc653ea280c6112ef77db1a31a0f4403929e29","datavalue":{"value":{"entity-type":"item","numeric-id":5756614,"id":"Q5756614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a67ec4ec9788e5fc43fe4e288837ef00cc076cf8","datavalue":{"value":{"amount":"+0.7321689128875732","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":"Q5394202$BC4A9B7F-BE75-4BDC-8138-B8BC504F1D9B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Automated Technology for Verification and Analysis (scientific article; zbMATH DE number 5067798)","badges":[]}}}}}