{"entities":{"Q5491883":{"pageid":7521443,"ns":120,"title":"Item:Q5491883","lastrevid":49937854,"modified":"2026-01-12T04:36:15Z","type":"item","id":"Q5491883","labels":{"en":{"language":"en","value":"Automated Technology for Verification and Analysis"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5061550"}},"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":"Q5491883$B7A7AA86-7FEF-4048-9094-FF16928F28E2","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":"Q5491883$A7E2FBA2-D02A-4C7E-9A77-97F5A91DFD98","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"20cb271c7d9804f3e3eee5f685f497b72c6fa18d","datavalue":{"value":"1170.68510","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5491883$FE3EA0E7-6599-410E-AD1F-0C577A55DB6A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"28a662263cec3d22f0aca8f437e52100d4cbb70d","datavalue":{"value":"10.1007/11562948","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5491883$27DFB30A-119C-47E1-B486-83BE1F5355C1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7684eb00414f6a1421de75c9f8feeff26b237822","datavalue":{"value":{"entity-type":"item","numeric-id":2859544,"id":"Q2859544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5491883$D9D128B3-2641-4DE9-A8AA-E43D33F3273B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d86d555bd6cd1001c3d6ecad72fc1ab67c5fdce1","datavalue":{"value":{"entity-type":"item","numeric-id":209473,"id":"Q209473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5491883$0544D0F7-1C35-4C25-B733-9E518E9D21BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"47ba31a0dd52d729abd5e87310a7cf44922fd880","datavalue":{"value":{"entity-type":"item","numeric-id":2234095,"id":"Q2234095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5491883$5BD030EC-7743-4B9C-BD7D-2DA398DBFF54","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":"Q5491883$AAFD27A7-30FC-42F9-83DE-D36E6BF8E8F1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"17d5dc9e06bd48c78f65617b39b2f452c61f43e4","datavalue":{"value":{"time":"+2006-10-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5491883$62F34549-BCA3-40CA-AC14-8DFBA271C811","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5491883$9BA6038E-48CE-4735-BCB3-6B8B7C61DDFF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b99f9dc0bac0799fb9ecd92dc9bdeff3d77ff782","datavalue":{"value":"5061550","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5491883$9C036C2E-8B0A-4CA3-968D-3AE12529031D","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":"Q5491883$21CACDDF-98AC-4ADC-9C4F-E093DF47D4A4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"605bdcc41e0013e6bf8b8d47371bf369caf2fa7c","datavalue":{"value":"https://doi.org/10.1007/11562948","type":"string"},"datatype":"url"},"type":"statement","id":"Q5491883$912B2577-8C7D-47F9-BDEA-E6D68246B122","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"66fd4c701f53b9a8fdbb9c58ffadfec164b069db","datavalue":{"value":"W4300912265","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5491883$1EF4C21A-3829-45C5-9176-804C709BD25B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d43d6abfdfff503df55f09975fe138ca124d266f","datavalue":{"value":{"entity-type":"item","numeric-id":2841317,"id":"Q2841317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"29734c8f475abffcd15c4c3119aaba34b8ffafde","datavalue":{"value":{"amount":"+0.7033321261405945","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":"Q5491883$38B6A8F3-4B34-40CB-AFC9-5FC7324D274A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2e3ef8a46652782b7d1cad85782c7f17881136d8","datavalue":{"value":{"entity-type":"item","numeric-id":2769611,"id":"Q2769611"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"912fcc9749b7e3af50e95306fd7b38d5be4f902b","datavalue":{"value":{"amount":"+0.6939024925231934","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":"Q5491883$D8688008-6A7A-44D6-B194-6564B296C34F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"910234018dc39b2e1abb4d046cb3a31aebdda4f5","datavalue":{"value":{"entity-type":"item","numeric-id":5756737,"id":"Q5756737"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"daf559b602ca01afb6245bff874826d037dfb8eb","datavalue":{"value":{"amount":"+0.6924141049385071","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":"Q5491883$57285485-A993-47BB-8869-F1CC30E1E3C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a1bca09ec366e8289cf8d5cbe3e326096d8f99bf","datavalue":{"value":{"entity-type":"item","numeric-id":2783115,"id":"Q2783115"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"24138e0446bb9f312b4a05566734f1a5ac771bbe","datavalue":{"value":{"amount":"+0.6867238879203796","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":"Q5491883$4A74EDB0-5664-4767-9A57-32E5785D40FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"38b765dfc61bb8d43c09eadb0f7decaf03aa1d6a","datavalue":{"value":{"entity-type":"item","numeric-id":5946346,"id":"Q5946346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bf98bad66f55f918073cd213c0bbbf875cd7b84f","datavalue":{"value":{"amount":"+0.6851625442504883","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":"Q5491883$8C07CA2B-DDCE-4FB3-AB0D-968019D67859","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5491883","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5491883"}}}}}