{"entities":{"Q5394188":{"pageid":7423762,"ns":120,"title":"Item:Q5394188","lastrevid":96129449,"modified":"2026-06-05T10:29:05Z","type":"item","id":"Q5394188","labels":{"en":{"language":"en","value":"Automated Technology for Verification and Analysis"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5067787"}},"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":"Q5394188$FF81861E-B3E4-4219-B294-54760E72488B","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":"Q5394188$015F7034-8810-49CF-A5F7-74F038C47DF4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"091eb04bc551545afb6f6c25a5ad62afbee61b6a","datavalue":{"value":"1108.68525","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5394188$5D1E165B-6CE8-4DBA-B482-6498C633E0CF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"333f509b8dcfa2f563bdcb7ea92db7fc92a8cae3","datavalue":{"value":{"entity-type":"item","numeric-id":5394186,"id":"Q5394186"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5394188$243A3ABE-4A2A-4A0C-9461-E6F11BE0B09E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8a65296d21ec32170d35dcdd7a0345c648251a92","datavalue":{"value":{"entity-type":"item","numeric-id":5394187,"id":"Q5394187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5394188$BD69E97B-05D7-4AFE-BDDB-8CBC56D4F265","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d8bab039fdb971945790b63e629b73dd012fa9a1","datavalue":{"value":{"entity-type":"item","numeric-id":3044803,"id":"Q3044803"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5394188$FFC1D67C-C130-4EF3-84D7-919537653862","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f733c16c88a9ca1d4b344188fc00bf443e223677","datavalue":{"value":{"entity-type":"item","numeric-id":856740,"id":"Q856740"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5394188$E2C4074C-E294-43B0-8A7E-559CDD32D311","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":"Q5394188$5865C8CF-31A3-42F7-9DC3-334B46150FC8","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":"Q5394188$B63F347C-C0D4-4439-8A1B-A40B6ABC424A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5394188$65968CC7-A07A-4164-B2AD-6630D41F9A9C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"35b8d8c66bf2b154041d3cce9ec7848425be75a6","datavalue":{"value":"5067787","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5394188$790B9A28-CAA9-4AAE-8F5C-5314A06B296C","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":"Q5394188$B6F31EC3-F0A7-4CE3-94E2-C5706C9F3C05","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":"Q5394188$04BD4343-B543-4DB8-8313-3A271BA94C67","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b2896a511e6a52cc5e2f74e5ff9778820a8583ae","datavalue":{"value":"W3139984071","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5394188$17FFF841-9718-493D-AF84-78F2FE1B95AD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"da0d9cc4a9602a4c3a273d2e6c828fb0685ebc6d","datavalue":{"value":"10.1007/B102065","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5394188$4787B8A7-7EAB-4FA1-B07F-D2738C8F5BC8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"acc5ad89c21ebe8fece2a79ecf21d2c58b56ecff","datavalue":{"value":{"entity-type":"item","numeric-id":5484905,"id":"Q5484905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1eec542e11e826ba6cc54dba700e08e97528ab3d","datavalue":{"value":{"amount":"+0.9126875400543212","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":"Q5394188$BC32E5ED-A469-49D2-97D5-6E2A9ADA9809","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"15109f98683d5bff621cf0d8f8a78b3f4e74fab5","datavalue":{"value":{"entity-type":"item","numeric-id":5929099,"id":"Q5929099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"419627f6d678b5a4f8b8e691055910686de6a9bb","datavalue":{"value":{"amount":"+0.7589146494865417","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":"Q5394188$AB3D5653-48BE-4324-B8B9-191716950E7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d8cb1db2e74fe1d566f977c10a1115f3c3f420c6","datavalue":{"value":{"entity-type":"item","numeric-id":3297588,"id":"Q3297588"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"419627f6d678b5a4f8b8e691055910686de6a9bb","datavalue":{"value":{"amount":"+0.7589146494865417","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":"Q5394188$395DB9CE-888B-49D5-A393-DE23E1B29D3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f28c6ada71aaa9a8347bd0702cc760c0cea100c0","datavalue":{"value":{"entity-type":"item","numeric-id":3646167,"id":"Q3646167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e861fdac686096f5d35d9adbc310e677cac05e3e","datavalue":{"value":{"amount":"+0.734907865524292","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":"Q5394188$CF4FBA1B-4FC1-48AE-857B-A36C23C90559","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"21cb7de69801df12278033dcb4d93359fe0989a9","datavalue":{"value":{"entity-type":"item","numeric-id":606996,"id":"Q606996"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4a92c26c32fad7082dfa49a6662ce92cfcbcc8b3","datavalue":{"value":{"amount":"+0.7337965369224548","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":"Q5394188$9D2FFFDE-979A-4CC2-987B-B3E9BD66B0A7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Automated Technology for Verification and Analysis (scientific article; zbMATH DE number 5067787)","badges":[]}}}}}