{"entities":{"Q5309371":{"pageid":7338945,"ns":120,"title":"Item:Q5309371","lastrevid":92115374,"modified":"2026-06-05T00:54:23Z","type":"item","id":"Q5309371","labels":{"en":{"language":"en","value":"On programming style-program correctness relation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5198954"}},"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":"Q5309371$C3984CA5-87A4-4AD3-8168-E30203F71D45","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f9f4970c999d05bbb22494a7ee6f02a34fbe1a3d","datavalue":{"value":"1118.68427","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5309371$73300390-DC43-4529-8A69-397912D4B8A7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b72a8cbadaf9841c4c39c0ab6dfb98dc584ab11a","datavalue":{"value":{"entity-type":"item","numeric-id":2995637,"id":"Q2995637"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5309371$C0CB67F4-EC39-4344-A5CD-802F1360F36A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a1c6d1eb5a1881a1c15c479f8c9d6be5d5505633","datavalue":{"value":{"time":"+2007-10-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5309371$58114918-7369-4005-9ABA-3F966F57E8AB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5309371$9310F5D8-2BB7-463F-969D-D00175C328DA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"786a54529d741e08a69298613a94e8d2ddbe3b14","datavalue":{"value":"5198954","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5309371$5B5ABFA8-C2C9-42C4-8930-8549B005D7F3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"21efc3b38ad34c0130375983f81a325f839d196e","datavalue":{"value":"programming methodology","type":"string"},"datatype":"string"},"type":"statement","id":"Q5309371$B92095AB-5E57-4BB6-A764-A2DE223A79D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f05ec1676c88814edfe842c5aa0b7f62d5dc111","datavalue":{"value":"style quality","type":"string"},"datatype":"string"},"type":"statement","id":"Q5309371$33C6D0B1-3B6B-4131-BD12-F325C7E29CCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"68df252f7b452b8146b6b2e4e8d2f950ec481ef0","datavalue":{"value":"software metrics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5309371$B3493FD5-1709-4953-9669-4E461A0AE66D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"08b91d2243093d7174c6a4e811a848a866c2991a","datavalue":{"value":"education","type":"string"},"datatype":"string"},"type":"statement","id":"Q5309371$7A144CB4-196F-48DF-9EBA-9A4038E1E704","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":"Q5309371$1F4252A7-1350-4211-83B6-C10775836214","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f15194396f12335c8ba2fca6820360078d95295a","datavalue":{"value":{"entity-type":"item","numeric-id":5309445,"id":"Q5309445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cdaabe3cd9f11d90201a6bfca733a64b40ec811a","datavalue":{"value":{"amount":"+0.737576961517334","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":"Q5309371$2F1E851E-813E-405E-AD82-2535F08E043C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d711e6d60649d5da9c3d253eb5af2e8341b7ac34","datavalue":{"value":{"entity-type":"item","numeric-id":4723283,"id":"Q4723283"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"467da578eb160c85bbc591a04602d830690d344c","datavalue":{"value":{"amount":"+0.6684108972549438","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":"Q5309371$CB839812-5F79-442C-B87E-D56E2C4C422B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"947a2e72ea690199ea0027ef486290925282d471","datavalue":{"value":{"entity-type":"item","numeric-id":3994464,"id":"Q3994464"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1a904efba81af318226d41870cae56e852309276","datavalue":{"value":{"amount":"+0.6532687544822693","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":"Q5309371$236B345C-4D3B-427D-83DC-B40CA79CCC12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"66648de3b72afade2d8a7097c7228e43b1ae665c","datavalue":{"value":{"entity-type":"item","numeric-id":3033305,"id":"Q3033305"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b661c64069cbe983b0b336406392838dd64e2a6e","datavalue":{"value":{"amount":"+0.6501052975654602","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":"Q5309371$427E2B91-98A4-4DF4-AB63-73231A8443FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a3b83c517f5685342b8831046cb8fa4aa7a775b1","datavalue":{"value":{"entity-type":"item","numeric-id":3105857,"id":"Q3105857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"53d04d4045a9b7755e8cf38cf9d72797b467e89c","datavalue":{"value":{"amount":"+0.6442131996154785","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":"Q5309371$48AFF050-177A-478A-9381-E272CD810D5D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On programming style-program correctness relation","badges":[]}}}}}