{"entities":{"Q6200430":{"pageid":13335318,"ns":120,"title":"Item:Q6200430","lastrevid":55594465,"modified":"2026-02-17T19:25:07Z","type":"item","id":"Q6200430","labels":{"en":{"language":"en","value":"A comprehensive software verification technology for onboard control systems of spacecraft"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7811374"}},"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":"Q6200430$BB0C875B-FDEB-42ED-9481-8D0B151AA751","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f241fd670246fb3fc95fc40effd1cfae45d2731c","datavalue":{"value":{"text":"A comprehensive software verification technology for onboard control systems of spacecraft","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6200430$71647310-E3B8-4DF5-8D03-18E11593E95B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"33359fd8a77e9cce0cfaf7c91dc047e11a0fed75","datavalue":{"value":{"entity-type":"item","numeric-id":109332,"id":"Q109332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6200430$04D6B84C-2685-4B2B-9F95-11A7A9F79E07","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b970591b68566c443b1d8071359abaf71557caa3","datavalue":{"value":{"time":"+2024-02-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6200430$24B180F0-CD6C-4246-B536-A4C9AA93468D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1a86519cb3571ebce07f2774b2a00a0f17e12c3e","datavalue":{"value":"68Nxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6200430$1268C2B6-B1D8-4B03-A87F-EE06210E0201","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"83f1abf4a11797e94f7b584191cb9496f7b4596c","datavalue":{"value":"7811374","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6200430$B0EBCCD3-65E0-447C-827F-EED6688FB988","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9182b2eff8d5697df30cd5f9147250385e11417c","datavalue":{"value":"spacecraft","type":"string"},"datatype":"string"},"type":"statement","id":"Q6200430$12B6F258-BA3C-4659-B2A0-16AA77BA668A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d71507f2ed2edacf3bb5d42233bf1a178a69b919","datavalue":{"value":"software","type":"string"},"datatype":"string"},"type":"statement","id":"Q6200430$2CC8AEC8-AA17-4F3C-A6A3-3A9A579CCB33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0ccf7cd1281b5bbfbf7b688c6bbd385ed3da0bde","datavalue":{"value":"onboard control system","type":"string"},"datatype":"string"},"type":"statement","id":"Q6200430$5317D3EA-5456-406B-864C-32604AFB3879","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dd3faceb12695477092ef21400989e7e93b946b7","datavalue":{"value":"comprehensive software verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q6200430$84B661C0-C408-4A4B-9B87-BBA736D2761E","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":"Q6200430$3E301A7B-3567-4185-AE10-B160286BAA5E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bdf1a261feaf95915da45efea75dc507f334a2e4","datavalue":{"value":"https://doi.org/10.1134/s0005117923100065","type":"string"},"datatype":"url"},"type":"statement","id":"Q6200430$84719C9D-B7A5-44AC-B8F0-6F01DD3184CF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"fa404f418c773b3929b670dfd37e43ad585cbe49","datavalue":{"value":"W4392142833","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6200430$11A77BA8-2A56-4845-88AA-538ADAD59B2D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d427fa338be65762e1c417b5e3e381fa098092e3","datavalue":{"value":{"entity-type":"item","numeric-id":358290,"id":"Q358290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6200430$93B80FD2-9753-4CE3-81ED-A675B9B8E593","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3576bc710e15d6b31f367cc9cd30c9595dfbd043","datavalue":{"value":"10.1134/S0005117923100065","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6200430$9BF1EB78-628D-4CE4-BF24-358998775CD3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bdf451fe5a9a21a85e65d5ccb534cf4e2bf3375b","datavalue":{"value":{"entity-type":"item","numeric-id":4554783,"id":"Q4554783"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"351c340b98e29084a4d86864d041030fc007e397","datavalue":{"value":{"amount":"+0.749411404132843","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":"Q6200430$54B9130D-88C3-4B5B-BD64-90F03D165D35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"32cc0bb4f7460644325c246c019b7f21cfdf6d63","datavalue":{"value":{"entity-type":"item","numeric-id":4536753,"id":"Q4536753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b60a0623fe2e34bf5b41031fc99882a2a0995d34","datavalue":{"value":{"amount":"+0.7447249889373779","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":"Q6200430$932C5C6F-F5EE-4592-9336-9EBF39CEAB63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f777662552ec8ff3482529dae095befca8ef63f1","datavalue":{"value":{"entity-type":"item","numeric-id":5308419,"id":"Q5308419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f1cdea1b42be7c9b0cf3066b1a932876fbd45cbd","datavalue":{"value":{"amount":"+0.7306786775588989","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":"Q6200430$083D57B8-5514-4453-9F4A-EFBB180132EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ecdd270a57376ae9ef096e288c5d674fe1fd9620","datavalue":{"value":{"entity-type":"item","numeric-id":457250,"id":"Q457250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8e112121d02d1dbfff4f41d4111209b3c54d74ed","datavalue":{"value":{"amount":"+0.6994037628173828","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":"Q6200430$8BC40021-CA45-4649-A777-DE859C84E680","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b04f04f456cbd1205791bb7ead7f184133ba335","datavalue":{"value":{"entity-type":"item","numeric-id":4647849,"id":"Q4647849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9fc3e4e0d156d3ec92e0becdd2e0b4fe70cf2956","datavalue":{"value":{"amount":"+0.6936858892440796","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":"Q6200430$32592FD3-8A86-44B0-8F56-C6D9E7BFFF0A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6200430","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6200430"}}}}}