{"entities":{"Q1865858":{"pageid":1876600,"ns":120,"title":"Item:Q1865858","lastrevid":69371445,"modified":"2026-04-13T06:33:28Z","type":"item","id":"Q1865858","labels":{"en":{"language":"en","value":"The code validation tool (CVT). Automatic verification of a compilation process"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1890518"}},"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":"Q1865858$6D414402-FFF7-45FE-BB69-26B8C4A37639","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"15e0be5eb17b52eddbb533cea917bb5dc47d43fd","datavalue":{"value":{"text":"The code validation tool (CVT). Automatic verification of a compilation process","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1865858$BBBCBBC0-DF31-4D01-875F-9DC68BFDD58C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"446a05fef0c4825b967ffaf77cdbfe47f8b8764c","datavalue":{"value":"1022.68733","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1865858$0715C288-3E13-4138-BCA2-EE94E7B5C16D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f609d14c1727f970ab5a0ef43992b4a7d4a23fcd","datavalue":{"value":{"entity-type":"item","numeric-id":208770,"id":"Q208770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1865858$72E1F6A9-970B-474B-BBEA-2639FDFEB0AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ae98aee1b7bf2475be3fb22c4040820a955063e9","datavalue":{"value":{"entity-type":"item","numeric-id":1865857,"id":"Q1865857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1865858$861A0531-0599-415D-9B7C-0989E984E2DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"23d5b1d78f90bf2e4f97dfa95c7cbd050929044d","datavalue":{"value":{"entity-type":"item","numeric-id":347842,"id":"Q347842"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1865858$D26B0A59-096C-4328-A7DE-F7D98AB39A15","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e1846ce75b2b308fd593b292d943abd351ca6751","datavalue":{"value":{"entity-type":"item","numeric-id":225063,"id":"Q225063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1865858$52105549-209D-4235-B228-4B08BC70AC64","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5585f205f9b913b1f534c487b1267bbc187aedee","datavalue":{"value":{"time":"+2003-07-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1865858$DF0E90B3-AD69-4C61-8E72-3644056916CD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"61f5e4db0e91212ef2106e3db512d71730a68751","datavalue":{"value":"68U99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1865858$53B5F158-DD4E-4F35-AF94-D4FD71F3BE6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3affb2aa66be15f2a63c60d2aaa92bd143e6d46","datavalue":{"value":"68N20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1865858$70A4DE40-E45E-44B6-9787-F4DAA7C86E08","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"61f8e3b6ec7976cbde12a6ac404e4ec87941da85","datavalue":{"value":"1890518","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1865858$E483D683-3AE1-4F55-9D96-37EC402662E5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"acd9c52c59d07d5822d39f1d47e4205b4637b9d3","datavalue":{"value":"compiler verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q1865858$89A0D91C-6F5E-438F-93B9-1ED620DC93A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0431edf0fb60c2a23ef932b3f3d1331939ae37ad","datavalue":{"value":"translation validation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1865858$1722ED2D-2F7D-4487-9B73-CDBA53CFE4BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"534b7faf7ff242394dee6b239d59f549d47fa8b6","datavalue":{"value":"code validation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1865858$8781E755-26D2-4565-ADB2-3AE77075E16B","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"6d24ec78a261f49887cfb0ce166351e47e3f1e89","datavalue":{"value":{"entity-type":"item","numeric-id":21931,"id":"Q21931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1865858$C130B5A4-0FE0-4DE3-B719-BD4F49090CAA","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":"Q1865858$94995C34-E5D2-4068-B42A-1C635F3F5955","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"76e193d1b9d939b51ba311520ee5027260a98dc6","datavalue":{"value":"https://doi.org/10.1007/s100090050027","type":"string"},"datatype":"url"},"type":"statement","id":"Q1865858$9FEA380E-22E0-4B23-9E59-174C090198F4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0c1974baf65c3f72c38f54d5a0b8037977415d3f","datavalue":{"value":"W1575176197","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1865858$BB0C8E7B-43A1-4C45-9EBC-70420A7714A6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0f1985761f47c088c3656c5c51fe5b2ea66eb1c8","datavalue":{"value":"10.1007/S100090050027","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1865858$82BEFB41-54B5-4336-920A-B11574848867","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1b395b2c135e94b5ff8cb5d9adfbd9f09005c79e","datavalue":{"value":{"entity-type":"item","numeric-id":2766648,"id":"Q2766648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1e022223fe175abb368c6bb297642a7cf455ce0b","datavalue":{"value":{"amount":"+0.7608952522277832","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":"Q1865858$3D5AF7BE-91FE-4E74-BE9D-D382D47A4891","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c3353af92dd78cebd40747392ca6e9e8796f8b63","datavalue":{"value":{"entity-type":"item","numeric-id":5716568,"id":"Q5716568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"976898ff098485c3f7b4c8d1167e1c2f3365c507","datavalue":{"value":{"amount":"+0.760835587978363","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":"Q1865858$BB51AAA3-0A3A-432D-8B2E-F248839EC8EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"df7a2be34ae3ea4bac90f21bd4f4bc1e9bbcf001","datavalue":{"value":{"entity-type":"item","numeric-id":5394193,"id":"Q5394193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"83b098f7dd9e6d3cb356cab384d85ed6a85c7b7f","datavalue":{"value":{"amount":"+0.7585141658782959","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":"Q1865858$B9E978DA-9276-40EB-A23B-E95E292EC0F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"474b66b6fe8aea9879cc78e98a7c81ac63919018","datavalue":{"value":{"entity-type":"item","numeric-id":2917405,"id":"Q2917405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"50fde7da378b88d34b2829df1451c7d011efe92e","datavalue":{"value":{"amount":"+0.7300812602043152","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":"Q1865858$5FECFCE4-4217-403F-A0D5-7259B85DC51A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ee9666d9095ca892169a9512aee8dbcd8fbe4f61","datavalue":{"value":{"entity-type":"item","numeric-id":5312942,"id":"Q5312942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0ff7716c6bf58cef593196e13712648bb903e587","datavalue":{"value":{"amount":"+0.7247906923294067","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":"Q1865858$96B1CAC7-8DA0-438A-9775-A7037BB839B6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The code validation tool (CVT). Automatic verification of a compilation process","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_code_validation_tool_(CVT)._Automatic_verification_of_a_compilation_process"}}}}}