{"entities":{"Q5394183":{"pageid":7423757,"ns":120,"title":"Item:Q5394183","lastrevid":96129404,"modified":"2026-06-05T10:29:04Z","type":"item","id":"Q5394183","labels":{"en":{"language":"en","value":"Automated Technology for Verification and Analysis"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5067784"}},"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":"Q5394183$F86EA5B6-E578-41B0-A6FA-78E542D8404A","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":"Q5394183$3B11A997-F83D-47EA-8FA5-8BD503FD3390","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c7d4a8c08825a74e592e16422c77b3bff7d02317","datavalue":{"value":"1108.68496","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5394183$F2EADADB-CC42-4C33-BAE5-B29F1FDCB932","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2804e4a53d0e531bc3c6ebf88bd4f134cbdda393","datavalue":{"value":{"entity-type":"item","numeric-id":4417932,"id":"Q4417932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5394183$78D909FE-A1F5-4CE1-A7AD-C3C111F5160C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d4cf24ac37e0a5ab04ea7532da1b4f4e943c840c","datavalue":{"value":{"entity-type":"item","numeric-id":931439,"id":"Q931439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5394183$53FB30B4-8B32-4FA3-8B33-CE72F51F6129","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e83c8694ba1f707ddd070fb09ddacf727238e1bc","datavalue":{"value":{"entity-type":"item","numeric-id":931440,"id":"Q931440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5394183$FB0D975F-5B87-4BA9-98E9-19FA86179EBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"84c5bd96d3eed10bbe473050aa2633fd85cabf95","datavalue":{"value":{"entity-type":"item","numeric-id":931441,"id":"Q931441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5394183$6BF1392B-9A1C-4397-8DFC-A7ACF4855F8F","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":"Q5394183$5448B3D3-67F7-4126-9471-B118673060F8","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":"Q5394183$C1DDEB7D-4C6D-4E36-8B56-179A15CF6E48","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5394183$8E45F46E-6714-412F-A4DC-36FAD39F9F8C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d522aa11f7255e9911e07644d8aef41d5d2902d0","datavalue":{"value":"5067784","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5394183$970C9F55-68B9-47B9-AE60-7B0963A7FA8C","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":"Q5394183$892C1502-4778-4A72-8674-F862325ECC11","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":"Q5394183$4CC57D54-2B89-47E6-9FF5-11CA4F936CF5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b2896a511e6a52cc5e2f74e5ff9778820a8583ae","datavalue":{"value":"W3139984071","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5394183$F96EF932-5C2E-4F37-A020-3B1662D1D5F9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"da0d9cc4a9602a4c3a273d2e6c828fb0685ebc6d","datavalue":{"value":"10.1007/B102065","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5394183$3C93FCC6-E90B-4C99-A8C0-96BB749BE793","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aefee1aa0fd1642ffef85bb8a4a29551ba18e21f","datavalue":{"value":{"entity-type":"item","numeric-id":5484904,"id":"Q5484904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"720966aa1007a3b2eeb6ec7e6b4f6d001de0c50d","datavalue":{"value":{"amount":"+0.9947509169578552","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":"Q5394183$322B90C8-E40A-4BA9-BC9D-4574B6DF960B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"19ebbaf52060a9a1cbe1a50119acfcb47dcc52ab","datavalue":{"value":{"entity-type":"item","numeric-id":5311472,"id":"Q5311472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"220b7f04a0e6760e060a546be2218fd25fa60eac","datavalue":{"value":{"amount":"+0.7611676454544067","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":"Q5394183$F8F6D581-EC8C-4F09-B710-FB646F6B64E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fc841ec587f73d3d2b1ec6e8835c49b8652acaf3","datavalue":{"value":{"entity-type":"item","numeric-id":3179281,"id":"Q3179281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2b2652657d14197ec8708a081c8b75e9f4a4d1a2","datavalue":{"value":{"amount":"+0.7390522956848145","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":"Q5394183$A98D5C3F-BD25-43B1-B541-9BC4E0CDE56C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"464d2bc244bea75cdbc62fd3aa24a8396841d4cc","datavalue":{"value":{"entity-type":"item","numeric-id":4503956,"id":"Q4503956"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"85899584e7ebf7e12d0ac6c150f25aad37a3ead3","datavalue":{"value":{"amount":"+0.7379794120788574","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":"Q5394183$81B471B4-1A4F-4A8F-AFBF-A5D91210BEEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"993da427af6bb30349d69eeab01a8b288a2cd85a","datavalue":{"value":{"entity-type":"item","numeric-id":4942017,"id":"Q4942017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d06b80ff59f3e8f300d96380b312c35db39ad12e","datavalue":{"value":{"amount":"+0.7270789742469788","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":"Q5394183$FB94EB9B-8520-4199-840F-3D8DA85F51C9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Automated Technology for Verification and Analysis (scientific article; zbMATH DE number 5067784)","badges":[]}}}}}