{"entities":{"Q5394185":{"pageid":7423759,"ns":120,"title":"Item:Q5394185","lastrevid":49954282,"modified":"2026-01-12T06:52:58Z","type":"item","id":"Q5394185","labels":{"en":{"language":"en","value":"Automated Technology for Verification and Analysis"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5067786"}},"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":"Q5394185$008F02C7-6600-4898-9F77-F24BC244C26D","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":"Q5394185$66C01E8C-3616-48D3-B87F-3F25F68436DB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cb791b1ab77d68d64150b3ec4c01756d0a43522c","datavalue":{"value":"1108.68518","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5394185$832201D9-412D-422F-9297-3FC0C3EBE298","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9af69b6dc94471cb756b139c42b9384bc3ee998a","datavalue":{"value":{"entity-type":"item","numeric-id":2852023,"id":"Q2852023"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5394185$1FD220D4-CCE2-4A7A-97DB-760DB88771B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3b9ac727adf283d538258b739bab9703a00e00bd","datavalue":{"value":{"entity-type":"item","numeric-id":488325,"id":"Q488325"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5394185$3E321972-0FAE-4D04-B563-91BC2B4F9736","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":"Q5394185$8B8EDCC3-6CC5-4FFE-8A4A-A12908511B5A","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":"Q5394185$719BC0A3-C4FC-458A-A38D-4D359B634C87","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5394185$9F8DD0DF-9B28-48ED-A5D0-3D725D848ED7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7d62200feb4494e6765fc00d98169cc2a4830084","datavalue":{"value":"5067786","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5394185$088CAA46-19D9-4A9A-B22D-52B79D02CFE4","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":"Q5394185$D6B4C88B-0D33-4C99-ABC1-B9E3A8C06AB7","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":"Q5394185$4E64D622-DB97-4514-B937-2DE491F35A4C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b2896a511e6a52cc5e2f74e5ff9778820a8583ae","datavalue":{"value":"W3139984071","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5394185$B117A769-9819-4284-8023-E6B9E7C92772","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"da0d9cc4a9602a4c3a273d2e6c828fb0685ebc6d","datavalue":{"value":"10.1007/B102065","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5394185$04A22D99-C70F-4CC2-BF04-EBDA9A33D1FE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"032fda47f920a23a5bd24d18b53f68f5ff955ffa","datavalue":{"value":{"entity-type":"item","numeric-id":3452508,"id":"Q3452508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"441bc78f47c1abeea69f012f2142cab2696be452","datavalue":{"value":{"amount":"+0.8285093307495117","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":"Q5394185$965B5E8B-3C66-44DF-8DE5-3D4C0763F5DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"39fc374976a67bceec65606b63efb1bf5fcf95c4","datavalue":{"value":{"entity-type":"item","numeric-id":5479161,"id":"Q5479161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b9b5c620a5168c2674b8bfc69ff698f5c9097422","datavalue":{"value":{"amount":"+0.8220984935760498","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":"Q5394185$9D0677BC-6DD1-4B18-930F-63194510A94E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0dbb9ce060d55e1b403f2129112efe14249c6bae","datavalue":{"value":{"entity-type":"item","numeric-id":2845512,"id":"Q2845512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2fe1398f6aa9dd475150d23fbc9971385cbe6491","datavalue":{"value":{"amount":"+0.8174816966056824","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":"Q5394185$913B6F3F-A570-49C9-BBE0-554F70603B06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0e16481ef3d6646e8991ab15d12bb20129e87bb6","datavalue":{"value":{"entity-type":"item","numeric-id":2722072,"id":"Q2722072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"72cff06bf41d27fa88dcc456db108d606ab8d183","datavalue":{"value":{"amount":"+0.8159000277519226","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":"Q5394185$3F9E00CD-EB48-4D35-8912-0DA1A19FF2C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aaa75d14f411a29ded225a875d13f512a1857ea9","datavalue":{"value":{"entity-type":"item","numeric-id":4427894,"id":"Q4427894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f151fda3ea0890163d3f7f4ba788948fb8d24a86","datavalue":{"value":{"amount":"+0.8018726706504822","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":"Q5394185$E4F81607-AAEB-4A09-BEFF-2A364F99C6D7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5394185","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5394185"}}}}}