{"entities":{"Q2979813":{"pageid":2990538,"ns":120,"title":"Item:Q2979813","lastrevid":85276970,"modified":"2026-06-03T06:35:06Z","type":"item","id":"Q2979813","labels":{"en":{"language":"en","value":"Error-tracing axiomatic semantics for C-kernel"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6708297"}},"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":"Q2979813$0AFF0F36-3105-4B49-9C43-26B773744D28","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"63921c3457ba4764745eea5d8c27889688197fdd","datavalue":{"value":"1374.68115","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2979813$24BA7F3E-84EB-4C4E-83BC-C41501D54CB3","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":"Q2979813$34D20B0A-0216-42E3-89F8-EA7EBDE078FA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a5a406b0a636bbb5684fa434cc63751e700f37fb","datavalue":{"value":"http://bulletin.iis.nsk.su/files/article/promsky_0.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q2979813$1562C270-04DF-4DD8-9752-7C862CA098F7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2979813$E171C707-55BB-49C2-9CB6-D7ADC86C67C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2979813$6F3ECAC5-952B-4D92-9C0C-29FEA4CE7356","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35c3f01235ccba091e1644bb05c86f53d45fd7f7","datavalue":{"value":"68N19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2979813$96599594-474D-43FD-993F-5B26F5AC713E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2979813$7C5FBA4F-63D8-4318-A03B-2535129731FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2979813$33413B99-7DA1-4959-AD90-2F063B30D2FA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3519689a8d9a6ce12e6c84875a9bed8a7a6bc8e4","datavalue":{"value":"6708297","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2979813$39B13B50-605C-425A-B828-E73062FBEE39","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a614b92b5d72c2da34c69d1c92ab2e567872fc15","datavalue":{"value":"extended Hoare logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2979813$AF869917-A75A-4CD0-B1AA-FA700463EB87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4ef0b70a19abeca485cb96f1b9b7defe6b6c6e89","datavalue":{"value":"extended Hoare rules","type":"string"},"datatype":"string"},"type":"statement","id":"Q2979813$5CFE3B07-E26C-4EE5-93E9-3F75DC11C440","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"476e70cc5d552d5cdc76575cc73d40a8bfb4b86e","datavalue":{"value":"rewriting","type":"string"},"datatype":"string"},"type":"statement","id":"Q2979813$728C5BB2-6B99-477F-A77B-78C277E0E407","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"38df9029f9c7d54a7b746d980fb60b4544a08161","datavalue":{"value":"rendering","type":"string"},"datatype":"string"},"type":"statement","id":"Q2979813$5C8F68D3-652F-47DF-BC3C-89BB279498A3","rank":"normal"}],"P1463":[{"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":"Q2979813$2DE6DD85-25FB-407A-81B3-7A7B7A306F38","rank":"normal"},{"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":"Q2979813$9C006745-367D-4B92-BBAA-901950313BCB","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":"Q2979813$26FFE12E-9023-4E60-AE86-F8580E604825","rank":"normal"}],"P1643":[{"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":"5c7e671b695851db13e7068bf8677c20ad4fc585","datavalue":{"value":{"amount":"+0.7867376804351807","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":"Q2979813$93DCD74A-5FDF-4CE2-B3BC-E9F65C6C8EBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0ac6028578679fce6a3a7eaa89f52c2660560e87","datavalue":{"value":{"entity-type":"item","numeric-id":1776586,"id":"Q1776586"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9125628f3c5c05e68fa6b0a4e3fc7fa88d7641e7","datavalue":{"value":{"amount":"+0.7167461514472961","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":"Q2979813$CA7CC21B-21C5-4A0B-A22D-ADBC1BDA0197","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"614e6dccce5295e547dfbcef543b07308b46b90a","datavalue":{"value":{"entity-type":"item","numeric-id":5505421,"id":"Q5505421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3074c0639f6d48056997dcae83963831633995af","datavalue":{"value":{"amount":"+0.7156674265861511","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":"Q2979813$A0D07C3B-F237-4153-9136-3777812B0482","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"79daacd80091bde89a54cb32e28332e739a62c10","datavalue":{"value":{"entity-type":"item","numeric-id":465685,"id":"Q465685"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5f85a3b9af94438dda02dd2634e06c0ac8cbead0","datavalue":{"value":{"amount":"+0.6958505511283875","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":"Q2979813$BBE55825-5167-4B7D-A4A5-E07A7D66D278","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cb8dd5000d58f6028bd64c16a6387725ac06a8d4","datavalue":{"value":{"entity-type":"item","numeric-id":2903126,"id":"Q2903126"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f6039858dc57c8d43987ca2cf543d164c59898dc","datavalue":{"value":{"amount":"+0.6884735226631165","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":"Q2979813$4ED0C75D-BDA9-48F8-A839-90E48C6BDC05","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Error-tracing axiomatic semantics for C-kernel","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Error-tracing_axiomatic_semantics_for_C-kernel"}}}}}