{"entities":{"Q5394231":{"pageid":7423805,"ns":120,"title":"Item:Q5394231","lastrevid":49954366,"modified":"2026-01-12T06:53:01Z","type":"item","id":"Q5394231","labels":{"en":{"language":"en","value":"Automated Technology for Verification and Analysis"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5067814"}},"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":"Q5394231$8391FBD0-0334-45BA-A0B1-9394A1310801","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":"Q5394231$2FCA9734-FAFF-4844-A79A-A5602EA94CF3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0d25dc00b3be0d80fb1e952287d6a8f8934a325f","datavalue":{"value":"1108.68493","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5394231$77F8A588-49DA-4E7A-9ED8-1F1C244323BC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7d329e70d869b48b722cb68131e89f6f3756efa7","datavalue":{"value":{"entity-type":"item","numeric-id":951240,"id":"Q951240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5394231$84D37F74-2890-45FB-A98C-432E672BE0A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"189f4b2794f19cb3752e06f9bf82e382ae9c2254","datavalue":{"value":{"entity-type":"item","numeric-id":5394229,"id":"Q5394229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5394231$01A80D4E-22BF-4BF8-AFEB-4EC570D70E82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d7540d0536ce88bc8536dbe4cb573c0e310d2ad7","datavalue":{"value":{"entity-type":"item","numeric-id":5394230,"id":"Q5394230"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5394231$0B1388AD-F2F8-44F0-B297-2D334E2D15A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"988575755deaaa8c873ad4b251ca29a78f4460da","datavalue":{"value":{"entity-type":"item","numeric-id":294602,"id":"Q294602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5394231$990382DC-1E2E-4A0B-AEE4-CA10D2141E96","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":"Q5394231$80501205-A020-48A1-8E04-FD91826A39E7","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":"Q5394231$2224135A-767D-4135-B393-386023F13A63","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5394231$29F3E32B-F062-46D2-9B75-5F323AA24D79","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a1699891a1e9aaa0e5c2a6f77d543eec7fca17eb","datavalue":{"value":"5067814","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5394231$751FE27C-BF68-4CEC-ABFD-A21BEED7D876","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d6a9dbdbb699d037c571c1ccd6e5b2be061a0bab","datavalue":{"value":"temporal assertion","type":"string"},"datatype":"string"},"type":"statement","id":"Q5394231$10855515-8E1B-42D4-90B7-93852597E956","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"af7979510b1e87891851cefdba13998806375141","datavalue":{"value":"PSL","type":"string"},"datatype":"string"},"type":"statement","id":"Q5394231$C50479A0-876D-4337-8CE5-4E68B9F45FEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q5394231$F4DE99BC-0691-49EB-882B-A10A3805077C","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":"Q5394231$B57CA393-8AE3-41F9-B5F1-2C2A78DA5EC9","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":"Q5394231$F27FF3A8-99AC-4CBB-A137-D55D20085AD0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b2896a511e6a52cc5e2f74e5ff9778820a8583ae","datavalue":{"value":"W3139984071","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5394231$EA5593D3-5842-4E18-B2D0-90332F0D2A27","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"da0d9cc4a9602a4c3a273d2e6c828fb0685ebc6d","datavalue":{"value":"10.1007/B102065","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5394231$8F9A066D-E484-457B-96B5-36DD47A94151","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f52d955002b9064e226e396365b35b7e63d4c2c6","datavalue":{"value":{"entity-type":"item","numeric-id":3743249,"id":"Q3743249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"de010630d7d738ee3186e2538df5e94556e44ba7","datavalue":{"value":{"amount":"+0.7192920446395874","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":"Q5394231$C0FC1220-3DD1-4FE0-A79E-BCAC0E9ABB38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"234e5a2580dae50ee7540ab5ee06d1ac683de848","datavalue":{"value":{"entity-type":"item","numeric-id":5756748,"id":"Q5756748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bfab6d86b8acd0a3ba7647f87fa9235f7b83d53f","datavalue":{"value":{"amount":"+0.7188623547554016","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":"Q5394231$393DEC8F-571E-4759-95A6-FBD93F52EEB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"14716f77a10cd7a3fc106fd2bd34c4e8fe773bf3","datavalue":{"value":{"entity-type":"item","numeric-id":1075756,"id":"Q1075756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"331e1e29c427721781f8499e4bc3c35f7faedaf8","datavalue":{"value":{"amount":"+0.7122496366500854","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":"Q5394231$C52B4FC0-CAE9-4DE4-8198-C7AF0ADF991E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b87e5dc0614cb15f92fc8cb306f03d13f2c2f109","datavalue":{"value":{"entity-type":"item","numeric-id":3176382,"id":"Q3176382"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ca825518c785e100242b72342c2b45ba97eaaa08","datavalue":{"value":{"amount":"+0.7087118625640869","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":"Q5394231$CFFADB27-09A1-4E71-ADBA-574E0A92E5FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9cee5d9fabe03aeab4e9fdd7f9e1e9604515583c","datavalue":{"value":{"entity-type":"item","numeric-id":1070998,"id":"Q1070998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7fe8c7afd1dc857647dc143d7337ccfc96c9532b","datavalue":{"value":{"amount":"+0.7067175507545471","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":"Q5394231$4FC6DEF1-332B-4F4B-AB39-173D534A61CC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5394231","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5394231"}}}}}