{"entities":{"Q5394197":{"pageid":7423771,"ns":120,"title":"Item:Q5394197","lastrevid":49954303,"modified":"2026-01-12T06:53:00Z","type":"item","id":"Q5394197","labels":{"en":{"language":"en","value":"Automated Technology for Verification and Analysis"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5067794"}},"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":"Q5394197$5025C045-25B2-46A2-B115-8D5F0F421922","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":"Q5394197$17863985-3C9F-43D5-B4D1-BFC365105A98","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5ef18ff421a6f168bf09b6088cc417a0d71af085","datavalue":{"value":"1108.68487","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5394197$9DBBCD7E-8B2B-46C2-8F92-B9475AED9EF9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1d7f3965b1698361800925fe53b5095380ea4b15","datavalue":{"value":{"entity-type":"item","numeric-id":851138,"id":"Q851138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5394197$A41A64B0-15FF-404F-9B39-DD30393944E8","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":"Q5394197$6578B5D9-8C45-4130-9797-C77C0DDF3074","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":"Q5394197$42EF7791-C913-471D-BFEF-1DD02DEB5DFA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5394197$B4EB8387-B572-4348-97F6-AC472281B277","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5394197$3D100B28-7E13-4394-ACEC-E2AABCA6C677","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"dd52846dab489dcaf26a6ebae41f998d65af0d91","datavalue":{"value":"5067794","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5394197$AB9C1120-BB30-4F6F-A075-B69869FF957F","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"0abd76723da9bc6b7525227a30180cfcfaf7cf59","datavalue":{"value":{"entity-type":"item","numeric-id":21944,"id":"Q21944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5394197$231B499F-2B5D-4134-9D80-3CD77D8EDC49","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":"Q5394197$2FA07D59-FC36-42F6-BDC0-70576B1F9D6C","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":"Q5394197$53116176-7191-4A78-AFF8-ED7B73C77EBE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b2896a511e6a52cc5e2f74e5ff9778820a8583ae","datavalue":{"value":"W3139984071","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5394197$B583BF9A-B283-43C2-BEC9-003CA92C3713","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"da0d9cc4a9602a4c3a273d2e6c828fb0685ebc6d","datavalue":{"value":"10.1007/B102065","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5394197$6D9D65CE-9ED4-4082-B367-205E0F363288","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0e5cee7fe8f932aaaf90ec8e1d707aca3a279ae2","datavalue":{"value":{"entity-type":"item","numeric-id":2701734,"id":"Q2701734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"adf18798cc7b0ce0455c8038b61715bb40d76bbe","datavalue":{"value":{"amount":"+0.7376081943511963","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":"Q5394197$3E556014-2FAB-4F37-9F3C-06D26C90B160","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c2a92b9aa2fbd2b87f411879cc6f75a6dddc210","datavalue":{"value":{"entity-type":"item","numeric-id":2842639,"id":"Q2842639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"394c0d0f475a8037f346eb1f6374afc4cc9c4d81","datavalue":{"value":{"amount":"+0.7323068380355835","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":"Q5394197$0BA2E270-6030-45EF-94F2-C869441AF424","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"581279f0ad28c0c70fc3a2b9c99423c9730c6526","datavalue":{"value":{"entity-type":"item","numeric-id":4296956,"id":"Q4296956"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ae09949abbd403b16511358d4281b5fa80d7d67e","datavalue":{"value":{"amount":"+0.7179962992668152","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":"Q5394197$B1E5FEE3-231E-4EE8-8EA8-E4E6A6130386","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8cbca7a24b90f065f1d373a5ca32fd668e0203f3","datavalue":{"value":{"entity-type":"item","numeric-id":5741559,"id":"Q5741559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ae09949abbd403b16511358d4281b5fa80d7d67e","datavalue":{"value":{"amount":"+0.7179962992668152","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":"Q5394197$23A5B5D5-D148-4895-872A-777AB3ECA2B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d985f2c00daa8b0e51639b68105c6d6cfe1c5439","datavalue":{"value":{"entity-type":"item","numeric-id":1856143,"id":"Q1856143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f2b6bc9413fcb957c37385b685e669b303c1a2a7","datavalue":{"value":{"amount":"+0.7138170599937439","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":"Q5394197$11103F99-C4CF-4F0E-97A3-28E670439624","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5394197","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5394197"}}}}}