{"entities":{"Q4155813":{"pageid":6185413,"ns":120,"title":"Item:Q4155813","lastrevid":31377888,"modified":"2024-03-19T17:41:54Z","type":"item","id":"Q4155813","labels":{"en":{"language":"en","value":"Data structures and program correctness: Bridging the gap"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3588028"}},"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":"Q4155813$DC84DD43-0B2F-4552-9FFC-0942F809BF72","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3f16b87ee2eef6d1053b1aca9830ad95b1c8342d","datavalue":{"value":{"text":"Data structures and program correctness: Bridging the gap","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4155813$CC02D492-165C-4BE6-8CB6-62E4C5B88DE2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"09e18b8407c06ae3062672bf127e17a6ab953c31","datavalue":{"value":"0377.68016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4155813$927D05F4-5222-4395-9B39-558B663F12A0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"826b224331fc7a83c21ef90a8103a0191b6ce551","datavalue":{"value":"10.1016/0096-0551(78)90030-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4155813$74188BF7-FC29-434A-A9FD-CFD18F495361","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9730446aa995a1aa8878e1b116685e9f89550918","datavalue":{"value":{"entity-type":"item","numeric-id":1223140,"id":"Q1223140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4155813$AC136CBE-15C0-4258-8842-C07169D5047A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"351bc91c6be3102987b68d6ef797070c2e92b072","datavalue":{"value":{"entity-type":"item","numeric-id":1223139,"id":"Q1223139"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4155813$26085421-3899-4C2A-92AC-79FDA1F2C14B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"303dafedc014c0fcf8bea9a3d20c503df66dd865","datavalue":{"value":{"entity-type":"item","numeric-id":2713369,"id":"Q2713369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4155813$6B6A488D-3930-4E42-ABCA-0806C6017052","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"23512e79b17ec0dbe00d89a570006ab4e1ecd403","datavalue":{"value":{"time":"+1978-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4155813$7F1C4DB1-DD2B-4EF1-9C3D-2A5E9B209BC9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4155813$653CE3A4-15A3-4F0F-AABA-96A92FF317D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9ed1e3c6cced595a05b8ae19055521b22405b78a","datavalue":{"value":"68W99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4155813$A201517B-D476-4972-8985-0A3318CF454F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ff85cb046b14789cfff7c53b8e3b69fd9b8f7f91","datavalue":{"value":"3588028","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4155813$D62EDED2-FCB6-4041-A83C-DC0FFE037A68","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":"Q4155813$71378544-6293-46B1-882F-9F6EF5E9387E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a0c182f220a1b84f0c2a4b60bb6d2cd015d1f112","datavalue":{"value":"https://doi.org/10.1016/0096-0551(78)90030-9","type":"string"},"datatype":"url"},"type":"statement","id":"Q4155813$EC7BDAAF-2FFA-4311-91BC-066589DFF284","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"266a5bb684bafd68270f3ab2e74cb96c2cb38984","datavalue":{"value":"W2136373216","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4155813$72453470-D945-47F3-8A4A-01A84C8FAF5A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4155813","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4155813"}}}}}