{"entities":{"Q5394199":{"pageid":7423773,"ns":120,"title":"Item:Q5394199","lastrevid":92243570,"modified":"2026-06-05T01:13:58Z","type":"item","id":"Q5394199","labels":{"en":{"language":"en","value":"Automated Technology for Verification and Analysis"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5067796"}},"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":"Q5394199$E9F08FD4-E5C2-43DA-91CE-433F9B7178BD","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":"Q5394199$5003B67E-8112-497A-8DB7-3CCC5C770136","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3bd5d534ea5b51f9f434961e2d67884ca4c34229","datavalue":{"value":"1108.68070","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5394199$82F24581-2DDC-4578-BFA7-2A4C7A7444BA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3315bf391c0a058853db1fdd065cc2cb8ff023ce","datavalue":{"value":{"entity-type":"item","numeric-id":216121,"id":"Q216121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5394199$D09D98E5-B6E7-42B1-A20B-8D187629D4BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5be8fb5ef7417065052d4342af772011efbf25c5","datavalue":{"value":{"entity-type":"item","numeric-id":364843,"id":"Q364843"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5394199$B615E5EC-0FB5-4D14-9D71-58D9334FD643","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"df9b0d5346ec014243da840aa4842429b4a2c359","datavalue":{"value":{"entity-type":"item","numeric-id":329412,"id":"Q329412"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5394199$BFC3DE74-0487-496E-9342-ADBF5C9ECC36","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":"Q5394199$F63EB227-584E-4058-B356-2E21769001E3","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":"Q5394199$8DF91714-E8D8-4296-94A6-4CA147C11219","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5394199$2E84468F-7501-40B4-9C86-2A5A912AFBC4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"50eb3451c98f23b1571d79bf233270ddf384d19c","datavalue":{"value":"5067796","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5394199$116AD8C2-3EEC-43EE-8242-82B802F3BD80","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":"Q5394199$CEA1538D-517D-45F3-A9C9-0086859D23DA","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":"Q5394199$CD6CFE2B-C423-4513-B98A-BB8E5D387488","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b2896a511e6a52cc5e2f74e5ff9778820a8583ae","datavalue":{"value":"W3139984071","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5394199$0727A8CD-5301-4CC5-9DA9-2574F1DE6264","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"da0d9cc4a9602a4c3a273d2e6c828fb0685ebc6d","datavalue":{"value":"10.1007/B102065","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5394199$844F565A-D32D-46C5-B420-9E086474A5C2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"96be79e39608e515fbf35a4633c7b62a76bb2aa8","datavalue":{"value":{"entity-type":"item","numeric-id":5484907,"id":"Q5484907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2c25fe2e51774f03496f9e3b13b7b0819b7d48d7","datavalue":{"value":{"amount":"+0.9998767375946044","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":"Q5394199$C559FB60-D9A8-4D29-808C-6D4B887E3313","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f631dc899a8d27bb7b71797a7d9e82999f39275a","datavalue":{"value":{"entity-type":"item","numeric-id":3000608,"id":"Q3000608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"197e218a23e1f1ed6b88a1de0d0b267285a42e4d","datavalue":{"value":{"amount":"+0.8192015290260315","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":"Q5394199$F107C32B-9D9E-4864-8B2F-08588E7292F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"49f642d659a7b790e81ea08b9d55741848ae8247","datavalue":{"value":{"entity-type":"item","numeric-id":4525725,"id":"Q4525725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3079201f8f618c0f4b312ec9a3399131b0d82489","datavalue":{"value":{"amount":"+0.8047480583190918","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":"Q5394199$39889949-3BB3-49D2-9BCF-36217426AAC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"670aff93dee290a3aa55183628682ccdb3f7bc74","datavalue":{"value":{"entity-type":"item","numeric-id":5222950,"id":"Q5222950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a08fc166b41fb60b8db849e098b101b6208ec9eb","datavalue":{"value":{"amount":"+0.8021093010902405","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":"Q5394199$09628273-3D6F-4C3F-9C59-58586BB8A1E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c8a5da9478e5c48a2543d45f892fb028f84fa60c","datavalue":{"value":{"entity-type":"item","numeric-id":5111179,"id":"Q5111179"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8b25a47daa86321386e04e40b5523502f6da9e60","datavalue":{"value":{"amount":"+0.7978607416152954","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":"Q5394199$53608272-5881-40CA-89A5-BEAEDF7C3248","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Automated Technology for Verification and Analysis (scientific article; zbMATH DE number 5067796)","badges":[]}}}}}