{"entities":{"Q2979840":{"pageid":2990565,"ns":120,"title":"Item:Q2979840","lastrevid":52791938,"modified":"2026-01-23T12:39:15Z","type":"item","id":"Q2979840","labels":{"en":{"language":"en","value":"Two-level mixed verification method of C-light programs in terms of safety logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6708320"}},"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":"Q2979840$F1A2486D-D1FE-4FFE-9B6B-F4DF5E139788","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bbc3e87152d4f83681d40ac5f7814e9b28eb3cc2","datavalue":{"value":"1374.68269","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2979840$7EE28FF6-0FBB-4DA0-8025-EDD2BBA50858","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"290d425e3723e34b361a9f06680e3fcfb8ef0e3a","datavalue":{"value":{"entity-type":"item","numeric-id":174075,"id":"Q174075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2979840$AD749204-9DFA-4DA1-BF3B-4A65722B7FF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d05b4227e5474dea9d3462ec4e73d3239027ddca","datavalue":{"value":{"entity-type":"item","numeric-id":2979839,"id":"Q2979839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2979840$E5168F75-011C-4C54-8D30-0F941F993495","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f12ab6a50dca285e32f059f3cef41583e61bc6ed","datavalue":{"value":{"entity-type":"item","numeric-id":174086,"id":"Q174086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2979840$367BACC9-289D-40F4-A646-83B0CA7E7AC4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5136aa5d1d5384ee622607c2cb579d682b7a682f","datavalue":{"value":{"time":"+2017-04-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2979840$6DD03179-91D9-472F-A04E-057A5093EE6B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0e37677db9ee2c6443cc7baff1a023ecc0d2ce53","datavalue":{"value":"http://bulletin.iis.nsk.su/files/article/anureev_maryasov.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q2979840$DF15F16C-8014-447D-9A30-A71571ECC9EF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2979840$AEC87507-DA74-45CE-86A3-4F95202FA4D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2979840$7444ADC2-9ACB-4A33-B2D5-B2F20665E449","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2979840$8EDBA31D-FC4C-4AB9-A315-79BF692D1C43","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f6faf9f0292e788f8f34ec14c0f0dd39ad280c12","datavalue":{"value":"6708320","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2979840$94021974-B5D1-47DF-AA7D-120AB3A9E16A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"af4aa2bfb6dcd7942590b81c87a1e66053a66e1c","datavalue":{"value":"structured operational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2979840$B825BAC1-BB11-44BA-8848-6570DF4DF89F","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"61fee4f246196e90c9e2391d7ba59bbc03793c2b","datavalue":{"value":{"entity-type":"item","numeric-id":32786,"id":"Q32786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2979840$188AE0EA-1967-4B16-AA07-8184C5547CCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ea1fa890b2f09c8cd0bccb17957cf46696afec2a","datavalue":{"value":{"entity-type":"item","numeric-id":19731,"id":"Q19731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2979840$A2E6DFC9-EB43-4C6D-9F36-655643DD3F0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b6da1f42e3d4d28e24ecb68672c28ee0982a60c2","datavalue":{"value":{"entity-type":"item","numeric-id":12950,"id":"Q12950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2979840$AEAE6D94-8EA5-4BC3-8AC9-29C4DC422A72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bb4ac1b3e6590933f07db2ef44e8e77f8844e4b4","datavalue":{"value":{"entity-type":"item","numeric-id":19271,"id":"Q19271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2979840$2A6911BF-3A30-499F-8F0A-2CAC981E6788","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":"Q2979840$8A999E9E-3698-49D2-8633-98A8785E8704","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"acf1f5bc3f6fef01cce760bf61d7da9187ba065d","datavalue":{"value":{"entity-type":"item","numeric-id":2963876,"id":"Q2963876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4631b65c401c6feb9dccbc46ddcbdd8ffa7d1944","datavalue":{"value":{"amount":"+0.7821680903434753","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":"Q2979840$56557EAE-4727-4B8A-A4AA-9485A124B9E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b5f137d33a39be095779e070617b697215026d17","datavalue":{"value":{"entity-type":"item","numeric-id":2880622,"id":"Q2880622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"592239691ff0e9cb047c019dd4adab1bb1ea5610","datavalue":{"value":{"amount":"+0.7791032195091248","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":"Q2979840$B7100BCA-C133-400D-BC7B-ACD88E5256B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"796d9d1f6f94831578c765050e799ca397a5cd3a","datavalue":{"value":{"entity-type":"item","numeric-id":1403260,"id":"Q1403260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b7d2026110389f6cc14f6af285c8ceffa55d15b0","datavalue":{"value":{"amount":"+0.7685514092445374","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":"Q2979840$08406C8B-3837-404C-BCCA-C6D37ED94A4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"624e1d6c7212b8d0504cb2ca0701cc5f3e73d017","datavalue":{"value":{"entity-type":"item","numeric-id":557549,"id":"Q557549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dd67142f61bd5f06cdd7f36231538ecf72da3e49","datavalue":{"value":{"amount":"+0.744446873664856","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":"Q2979840$6BD26027-C2B8-4559-9B06-F2EF15E9EE00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a82345f4a3f91685d91f00052b977e423f917591","datavalue":{"value":{"entity-type":"item","numeric-id":3023540,"id":"Q3023540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"58cc3e9708330a1b835ae8d0184e4208f5f4a484","datavalue":{"value":{"amount":"+0.7235945463180542","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":"Q2979840$1FF0598F-8E88-4000-B4AB-454A0055B271","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2979840","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2979840"}}}}}