{"entities":{"Q5394227":{"pageid":7423801,"ns":120,"title":"Item:Q5394227","lastrevid":49954360,"modified":"2026-01-12T06:53:01Z","type":"item","id":"Q5394227","labels":{"en":{"language":"en","value":"Automated Technology for Verification and Analysis"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5067812"}},"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":"Q5394227$19887330-B888-4660-B191-0D5814AA5CD6","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":"Q5394227$DAD31F93-4530-45F6-AC82-3538062416F6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0b87f03f3c7d1f4939c9009042f010e3cc68274b","datavalue":{"value":"1108.68506","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5394227$CD07FDA8-497C-4A15-B9B2-A2A44C3F942F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9371c7cc1539ca59179d96cf621e86a7cd0b48bd","datavalue":{"value":{"entity-type":"item","numeric-id":2852021,"id":"Q2852021"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5394227$5EAF2C8C-6252-4AC0-84DD-1127C124700F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ab06480f39d3ebbd5e4daae78daec32db99260fe","datavalue":{"value":{"entity-type":"item","numeric-id":451940,"id":"Q451940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5394227$0B817901-40A2-4E37-AF88-DB261A2401BA","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":"Q5394227$B24DC8C7-A464-42AF-8FAB-F53011F6D944","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":"Q5394227$A90D7D21-4FEA-4E4C-A4F6-2CC899B50B92","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5394227$6968704F-F31C-4583-B5E6-C27AA302076A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"52038699e3ca62d0f6a5bd61aec21ca19ddd8153","datavalue":{"value":"5067812","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5394227$71876239-2E4B-4115-899C-E872B79BD96D","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"efa7dfee3dd74aae04647605d0a9a987c7d566cf","datavalue":{"value":{"entity-type":"item","numeric-id":16316,"id":"Q16316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5394227$4D61CD5D-A86A-49F7-8514-FB0E094C0BF0","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":"Q5394227$BE2E1052-CE87-4207-A6B4-354387075FBD","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":"Q5394227$B426348F-BA6D-47E2-8C99-CEB615AFFC43","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b2896a511e6a52cc5e2f74e5ff9778820a8583ae","datavalue":{"value":"W3139984071","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5394227$9C2D7747-0A09-4E4B-BE9F-A3110AC31A11","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"da0d9cc4a9602a4c3a273d2e6c828fb0685ebc6d","datavalue":{"value":"10.1007/B102065","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5394227$608B2D2B-063B-4985-88C5-11E51407725B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2d2537db11101e3cf57b5b99cb5d2f3ccf7eb8b3","datavalue":{"value":{"entity-type":"item","numeric-id":2852022,"id":"Q2852022"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9ceca14bd6f33057b1b33ddb79cc117c0bf5e5e5","datavalue":{"value":{"amount":"+0.6943557262420654","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":"Q5394227$60534EDF-E472-4307-9CAB-F4EA0332AD9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"51bffb8540cd8d8784a1faf23507d101d9cdb978","datavalue":{"value":{"entity-type":"item","numeric-id":5434468,"id":"Q5434468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0216c9107e310d20aad808200b8a84df23fc246c","datavalue":{"value":{"amount":"+0.674837052822113","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":"Q5394227$32ACCD08-1B4F-4D40-BF63-A552022A93DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"69c15e072cd554809eb001bcd9b50673914f9164","datavalue":{"value":{"entity-type":"item","numeric-id":1854405,"id":"Q1854405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"76aba460be7a3b1df7ab483b46016b1720ad2f05","datavalue":{"value":{"amount":"+0.6718366146087646","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":"Q5394227$51AD4A60-DDD0-407E-8AFD-C1B1939022EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5c080b5e4547f0e9b22c86c4e96f6568e3b08861","datavalue":{"value":{"entity-type":"item","numeric-id":979079,"id":"Q979079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4b531790291ac60848055b032f34740fef74726b","datavalue":{"value":{"amount":"+0.6673582792282104","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":"Q5394227$D1F8670E-DBC8-4FCA-80F1-FB53A3FEAF44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cf59df29646e9c5a37ef48ebc259beb2f0237ff0","datavalue":{"value":{"entity-type":"item","numeric-id":1395573,"id":"Q1395573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"47d2aea40fe14195ac6adcea05aced947920aa0f","datavalue":{"value":{"amount":"+0.6643480658531189","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":"Q5394227$5A7AA44B-99FD-4773-A0BA-DA071555422E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5394227","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5394227"}}}}}