{"entities":{"Q5394206":{"pageid":7423780,"ns":120,"title":"Item:Q5394206","lastrevid":49954327,"modified":"2026-01-12T06:53:00Z","type":"item","id":"Q5394206","labels":{"en":{"language":"en","value":"Automated Technology for Verification and Analysis"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5067802"}},"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":"Q5394206$405EEC01-C388-4E82-BCAC-357FE43CA6F2","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":"Q5394206$9D0A6BE2-8B31-437F-B73A-810A324F0CC8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bdb4d99679775fbf31f467213c4d62c743b95366","datavalue":{"value":"1108.68494","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5394206$DC26D266-82F1-4E2A-892F-8566BF417B95","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6ccd545911eeeac5660400d2c2e514a2a34ede2e","datavalue":{"value":{"entity-type":"item","numeric-id":2466616,"id":"Q2466616"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5394206$EAE2867F-D64A-4ED2-9418-1B459251CCA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fa40e6c270c24fc6b94a1afe8bbb7d966a32f9bd","datavalue":{"value":{"entity-type":"item","numeric-id":4562395,"id":"Q4562395"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5394206$EDFF92C8-FCA5-4560-8F5A-CCD49943BC5B","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":"Q5394206$7BD617B2-BC17-45B9-888D-A0058C0C9DDC","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":"Q5394206$7450F008-FC12-4CD6-AEC7-2EFEB0865265","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5394206$1D53BA03-F1FA-4504-9BF8-D57DFBB06356","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"517ace4a4f9c45a5475b4a8927a567447dbdb293","datavalue":{"value":"68N99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5394206$4C9DDD56-8B23-4E81-B57A-1E73D35F3274","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2974f292b0c6582096313d2d3895f69ddd9393c2","datavalue":{"value":"5067802","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5394206$E768BCC7-C752-4A17-BDA6-58674B6B2723","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"08a0d7146f621f7c73062baa9726570605c6826e","datavalue":{"value":"Software Verification and Validation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5394206$3C2E4957-D9E0-462E-99A5-F1923EF9B558","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"49baee5157b6a39ae06b1f82329e86f8c96a1297","datavalue":{"value":"Software Process Improvement (SPI)","type":"string"},"datatype":"string"},"type":"statement","id":"Q5394206$0C6BC094-E6C9-4011-8E6B-A22F551A07C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"590cb9ac1cfd8e81b19ac6c0a0a6142dc5953c9b","datavalue":{"value":"Software Capability Level","type":"string"},"datatype":"string"},"type":"statement","id":"Q5394206$F42BC56F-DDE1-49FA-9CEA-D191FF7B483F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8c5dc070d2dd1f6d62b976ff6336d26ab9e5ad9a","datavalue":{"value":"Software Integrity Level","type":"string"},"datatype":"string"},"type":"statement","id":"Q5394206$7124664F-30D0-47E2-AC25-9BF2425D8BF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"94c57166eca373fe536c43dc5cbd734ef3ed796f","datavalue":{"value":"CMMI","type":"string"},"datatype":"string"},"type":"statement","id":"Q5394206$BDCFDB85-3303-41AC-948D-C740F09DDCE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ecf2edbe2eddf049bc3014dbf1824359e518c8c4","datavalue":{"value":"ISO 9001:2000","type":"string"},"datatype":"string"},"type":"statement","id":"Q5394206$61E4849B-4C52-41DC-B4EB-A81BEB00F60C","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":"Q5394206$1524E461-AE36-48EC-BA02-51C2C8104B7F","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":"Q5394206$A60D05DF-DB0C-4E37-ABFC-C50029A7405A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b2896a511e6a52cc5e2f74e5ff9778820a8583ae","datavalue":{"value":"W3139984071","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5394206$64616A42-12F3-4D97-BA86-80CDFC8E3DD0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"da0d9cc4a9602a4c3a273d2e6c828fb0685ebc6d","datavalue":{"value":"10.1007/B102065","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5394206$59D4E911-3E58-47C3-8746-42962CCB5477","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9a168824e58d492941271e6cd03c8108ba6b212f","datavalue":{"value":{"entity-type":"item","numeric-id":4797831,"id":"Q4797831"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"31d5a0528a29b68dce8cf5b36ea35b308ce28786","datavalue":{"value":{"amount":"+0.6933687329292297","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":"Q5394206$29F70D5F-1F4C-4219-BF8F-CFFBAB9B85D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7cce2b2ca7d1b3fd3e43b540cb4202ead48f5ead","datavalue":{"value":{"entity-type":"item","numeric-id":4859847,"id":"Q4859847"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"31d5a0528a29b68dce8cf5b36ea35b308ce28786","datavalue":{"value":{"amount":"+0.6933687329292297","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":"Q5394206$44ED8D32-5D19-40C0-9E8B-891B7CEE3679","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2e49bad17da663ed677a5adc943cacac33741176","datavalue":{"value":{"entity-type":"item","numeric-id":3122707,"id":"Q3122707"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"130ee43ec16ac9a584c3b865fc665d599fc4be11","datavalue":{"value":{"amount":"+0.6792250871658325","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":"Q5394206$CDE43952-0194-4B5E-8161-167D624EB5B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b427188aa4cd4541da220b0b23908d67df3e243a","datavalue":{"value":{"entity-type":"item","numeric-id":4231655,"id":"Q4231655"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"30dde4a720a70621e644eb76764fead4c839fd2c","datavalue":{"value":{"amount":"+0.6752952337265015","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":"Q5394206$5D4FE282-E1BC-43E6-94FD-C9EC1539E25D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e422f4a977cf66d695be53ccb7e4c03ba7b45df2","datavalue":{"value":{"entity-type":"item","numeric-id":3126250,"id":"Q3126250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c39f9a9e7c9252a0c2ae9b953846457e8d62303e","datavalue":{"value":{"amount":"+0.6502901315689087","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":"Q5394206$F6CBBBF6-77F1-4D62-B3AB-D2E321383DA2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5394206","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5394206"}}}}}