{"entities":{"Q5394201":{"pageid":7423775,"ns":120,"title":"Item:Q5394201","lastrevid":49954312,"modified":"2026-01-12T06:53:00Z","type":"item","id":"Q5394201","labels":{"en":{"language":"en","value":"Automated Technology for Verification and Analysis"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5067797"}},"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":"Q5394201$352CA4D8-BA7E-4601-A0A1-F0690AAD3E21","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":"Q5394201$ABE9EF99-0184-4D13-8B8F-73181374444C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"762e9c4652c62d3cd8c167aeb032f611f98b4f1b","datavalue":{"value":"1108.68517","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5394201$5E8579E0-417F-4DE1-82E6-C86ACF97A78E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"584daace173a9ae307c50fd252d8c9b611ebf7e7","datavalue":{"value":{"entity-type":"item","numeric-id":5394200,"id":"Q5394200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5394201$BF3B61A4-A9D2-48A2-8DB0-802C6AAEAC3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"dd83aeda51e0324d5f919dd80bd93683eacb0269","datavalue":{"value":{"entity-type":"item","numeric-id":2754123,"id":"Q2754123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5394201$A10E960D-9028-46C6-B371-6FE7E2B06658","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2d2b4159ba3b19a937aeceb1eb595ffdca570434","datavalue":{"value":{"entity-type":"item","numeric-id":1716189,"id":"Q1716189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5394201$73980F73-8526-4375-8EA7-3EE8149E3E10","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":"Q5394201$1879F5F3-9208-45B3-8A5B-5E70DC8972DC","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":"Q5394201$58F53FC4-79D9-4A60-80B3-83D084B6C01F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5394201$930D6AAB-6E29-48B8-BC4E-4E459E04387B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3ba32c2681dcdeb9801158c4fcb84636229ba2bb","datavalue":{"value":"5067797","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5394201$C422F27B-021F-4251-97AD-E6FE4D7B64A6","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":"Q5394201$62A1757A-DE70-41D7-ABEF-E922A6C56307","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":"Q5394201$0103A34A-F0A7-48AC-8822-3BCFA05890F6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b2896a511e6a52cc5e2f74e5ff9778820a8583ae","datavalue":{"value":"W3139984071","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5394201$BBE7FF5F-71E0-41AE-A651-5D1CCDE4D0DA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"da0d9cc4a9602a4c3a273d2e6c828fb0685ebc6d","datavalue":{"value":"10.1007/B102065","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5394201$B8C57B19-41CB-44DE-92E6-B3CAAD1302F5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6ac0293f6d7778aff62ba38b5fbd353952a34dcd","datavalue":{"value":{"entity-type":"item","numeric-id":4270073,"id":"Q4270073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bd7a92a536943f31a0585054e33ddc223e8f9296","datavalue":{"value":{"amount":"+0.7841731309890747","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":"Q5394201$B706694C-B1CD-4F31-B488-B94F90FA4D57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4d9a9617426df6a2b838992c80c98623fe8bde62","datavalue":{"value":{"entity-type":"item","numeric-id":4250360,"id":"Q4250360"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"346008c7090d6bbf59ec86634f5cc8d7129a7549","datavalue":{"value":{"amount":"+0.7540646195411682","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":"Q5394201$56FE5575-8D2C-4132-9E94-37A10D03568E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f5427c24d015629f81f24cf668173efc6755e07c","datavalue":{"value":{"entity-type":"item","numeric-id":3510846,"id":"Q3510846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8e06ccddfb38c71fa198f6c35d46e39da0d263ed","datavalue":{"value":{"amount":"+0.7394742369651794","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":"Q5394201$3E0D6F19-16FC-4E73-93F9-C7BFF125896E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"665068f317d1d3c991e0efa3a5cd1a686ce8b4b6","datavalue":{"value":{"entity-type":"item","numeric-id":4417609,"id":"Q4417609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8e9ce636cd08295114c746888446e37ee7bd83f6","datavalue":{"value":{"amount":"+0.7385895252227783","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":"Q5394201$73973A89-1464-4D2B-9422-665EFC2957F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c4ab2a2800d318bfebe60af199e1e3bdd16617e0","datavalue":{"value":{"entity-type":"item","numeric-id":3176364,"id":"Q3176364"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"835a2639a8c5c756f2305b362f9f0642b0e0e946","datavalue":{"value":{"amount":"+0.7337826490402222","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":"Q5394201$3729A0D7-2BF0-41AB-8F87-25D82A5708A4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5394201","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5394201"}}}}}