{"entities":{"Q557549":{"pageid":559316,"ns":120,"title":"Item:Q557549","lastrevid":62728173,"modified":"2026-04-11T08:03:06Z","type":"item","id":"Q557549","labels":{"en":{"language":"en","value":"Towards verification of C programs: Axiomatic semantics of the C-kernel language"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2183802"}},"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":"Q557549$2DA3217C-F524-48EC-88E4-3EC723B64F71","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"72a8968543c7644164056e2bfad55e6cc4b10e88","datavalue":{"value":{"text":"Towards verification of C programs: Axiomatic semantics of the C-kernel language","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q557549$CE2561F0-10EB-4913-9FD3-0F07E3F7DA65","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8c517804737147d0bf221682675808e016e6ced1","datavalue":{"value":"1099.68544","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q557549$2EB227E5-13E4-44E5-A8A7-4C62715C312E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"01474aecc94ba51657b2dc3be058991b29fbb877","datavalue":{"value":{"entity-type":"item","numeric-id":220094,"id":"Q220094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q557549$4834286E-DA30-4482-9EF8-56309786DF1E","rank":"normal"},{"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":"Q557549$8A2DDE0C-FA52-4A34-B84C-112B95672653","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5dc9c134b53172166ac0cc011c926032fcf60101","datavalue":{"value":{"entity-type":"item","numeric-id":557548,"id":"Q557548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q557549$A8AC9366-1733-4A1F-91FB-8E0A391552F4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"be953c7743ad681cffb55322e552c5990c03cfb7","datavalue":{"value":{"entity-type":"item","numeric-id":174054,"id":"Q174054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q557549$74E0AF4D-C97A-4E4B-94C7-47A51BAD5F64","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3be35b99bc40d25914143aa31268a19fcdde1b9d","datavalue":{"value":{"time":"+2005-06-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q557549$655266C7-C438-455B-A31F-B377DB3E5950","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q557549$0D236AE2-83DE-4AC9-99E2-4D690D186A8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q557549$10316DED-737D-4CE4-8A08-FBC65C805605","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q557549$3935EB96-8E16-43F1-8B94-FEA95EB15B3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q557549$2FD09559-B2D5-4A21-88FA-C242E51B49BF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"93090b96c0b8e2e4f2319911727a35fd9d6f9f4d","datavalue":{"value":"2183802","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q557549$19F37205-73B8-4C7F-AE2C-0FED4F0BF663","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":"Q557549$35A5FFD5-EAA7-4771-8A8D-D423B607F2F2","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":"Q557549$B8407899-3EAA-4A5D-9DE1-4C537AFF7531","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e64cf21e3dca4eca654a385f3076eb84158a9823","datavalue":{"value":"10.1023/B:PACS.0000004134.24714.E5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q557549$A3C02543-AF08-487F-9057-CA2FF88E45A4","rank":"normal"}],"P1643":[{"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":"ff7a561659292e7db88c58ec0698ee5e0d833735","datavalue":{"value":{"amount":"+0.91225255","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q557549$5CE0CB55-B75C-4809-B8C9-B9026977213E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f71e44ef692842c61a1e6cf06780decd7cc57840","datavalue":{"value":{"entity-type":"item","numeric-id":2979813,"id":"Q2979813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a8334b846d3d42d2b3f30c8b07a219750d5440ea","datavalue":{"value":{"amount":"+0.8992559","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q557549$9559E788-778E-40B8-A3BE-BA35AE08FCBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"58e758030f03f95d7150fa6bd97e6f1a1723375f","datavalue":{"value":{"entity-type":"item","numeric-id":885853,"id":"Q885853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c80cdb6493b433cf6e52c7185448707743e00fcd","datavalue":{"value":{"amount":"+0.8941378","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q557549$6D5A5924-A030-4C3D-9894-61E7391BA177","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"66e125d08823e9eeeea82b37bc8cc9a6da32af54","datavalue":{"value":{"entity-type":"item","numeric-id":835768,"id":"Q835768"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ae90cfc3797a1a68de71f0aede0dd673b92e227c","datavalue":{"value":{"amount":"+0.8875711","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q557549$E90C0EF8-86D4-492B-BC0C-3B19A4341868","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":"c32826e349bb2562f72d0cd477432f3e860e0a85","datavalue":{"value":{"amount":"+0.8687147","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q557549$CB098409-177F-48C4-871E-7BD7A099E071","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Towards verification of C programs: Axiomatic semantics of the C-kernel language","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Towards_verification_of_C_programs:_Axiomatic_semantics_of_the_C-kernel_language"}}}}}