{"entities":{"Q5715449":{"pageid":7745003,"ns":120,"title":"Item:Q5715449","lastrevid":92832170,"modified":"2026-06-05T02:51:52Z","type":"item","id":"Q5715449","labels":{"en":{"language":"en","value":"Proving correctness and completeness of normal programs \u2013 a declarative approach"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2242965"}},"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":"Q5715449$55C04695-B62E-48C2-8BC2-B577F24D0D4B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a22be269c5e7428fb9dc24c757fe9b6169dbeec5","datavalue":{"value":{"text":"Proving correctness and completeness of normal programs \u2013 a declarative approach","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5715449$6499D6B3-962F-41B7-AE64-61FE6ACAC89B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"afcd394de274e8727d2a24b13cb84c8a8af0bbb8","datavalue":{"value":"1083.68018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5715449$91D9814C-62D2-4C2A-AA63-34B4D2278A9E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4342573faf01c63789c55735e0e8a45008a0d0cc","datavalue":{"value":"10.1017/S147106840500253X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5715449$D4A15C6C-13CE-4D3C-B827-A69BD2D65DA3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"aca37643c25c4f7a18b2bf47f8e6a1980c00131e","datavalue":{"value":{"entity-type":"item","numeric-id":511026,"id":"Q511026"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5715449$51CFDBFE-5CA8-4E1A-A361-CD46016FDEF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ebd1ffe6e6821bd31ea594c77de858fe87e4a5fe","datavalue":{"value":{"entity-type":"item","numeric-id":3201748,"id":"Q3201748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5715449$C6A15870-F0D8-4145-82EC-F6E6652BB31A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"36bb0dcc3009bb4f4979cdb33a56e0ede194fc63","datavalue":{"value":{"entity-type":"item","numeric-id":2845119,"id":"Q2845119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5715449$E66D2D18-9335-4434-A631-AFCCFB619D2A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fc512bbd2b51b2ca56145a51da262a5a96efe06b","datavalue":{"value":{"time":"+2006-01-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5715449$67410685-46B5-4E87-8424-CE4A2DC326A1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5715449$7B22F104-681D-43D3-B15B-0BC870DA9A1D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"55fe247467bcbd5af5ee70edf9f4820c85815172","datavalue":{"value":"2242965","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5715449$A4159283-5962-40F4-B4DE-7D3F201E72B9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ff8532a0b621b8fce8b4d34a6d1df537336ed6e4","datavalue":{"value":"declarative programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q5715449$E2BBAE16-31E0-4191-8D99-8B2C65FBFD6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a2b746efc66121bc1fb497da4ab39b83b5cd2f4c","datavalue":{"value":"program correctness","type":"string"},"datatype":"string"},"type":"statement","id":"Q5715449$45EBBD5D-5FEB-4DF4-B608-A037E29994B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q5715449$8927B395-6303-4DB7-AD09-76530A9FC318","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":"Q5715449$DD170D07-313F-4201-B201-4689D7DE54A5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b3d8c9164351a6793fc78dd62ff530850e6d979d","datavalue":{"value":"https://doi.org/10.1017/s147106840500253x","type":"string"},"datatype":"url"},"type":"statement","id":"Q5715449$C14F5B89-CE1D-4169-92D1-34C97E37409B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"41fe0d7a8a90765936bdfa18bb468f614ae48844","datavalue":{"value":"W2126250701","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5715449$233A1486-ECDE-438F-82D0-E6F131909B22","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5e7eefeaa99376282417663dec7df958cf284870","datavalue":{"value":{"entity-type":"item","numeric-id":4736519,"id":"Q4736519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"702ca9dc9da2398577e633c279b6e44fb5ed40c8","datavalue":{"value":{"amount":"+0.9880123138427734","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":"Q5715449$34279CB7-0113-46F6-A07C-2C413B216820","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c4dc3de2200f279f7b3e8d96bb9ae73d0ded0cb1","datavalue":{"value":{"entity-type":"item","numeric-id":4275260,"id":"Q4275260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1e52cb0c999d20d8f7cdd3f0bd1068a59993b388","datavalue":{"value":{"amount":"+0.8670737743377686","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":"Q5715449$E7A86CC7-CE76-49AC-81E6-0309F67C21EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"515f501283c74164fc702f364060f65f735999ea","datavalue":{"value":{"entity-type":"item","numeric-id":3129509,"id":"Q3129509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1e52cb0c999d20d8f7cdd3f0bd1068a59993b388","datavalue":{"value":{"amount":"+0.8670737743377686","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":"Q5715449$F2720021-0067-41CA-8B2B-9E15B32F96DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"19747309159fdbd489d35cca2e003b1d709c93b5","datavalue":{"value":{"entity-type":"item","numeric-id":5277919,"id":"Q5277919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"180f3167414afc57440716b34ea18f5501b7181a","datavalue":{"value":{"amount":"+0.8362368941307068","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":"Q5715449$2C35C2A3-5CC9-4738-A279-DB68611A5AE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6eb935c4e813b5a39add7d74a332bab4384bf192","datavalue":{"value":{"entity-type":"item","numeric-id":685395,"id":"Q685395"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e25e02270eb990a4e7a3f3b68cd809d52555142d","datavalue":{"value":{"amount":"+0.8343268036842346","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":"Q5715449$C5DAD432-D80D-4A68-8BE6-1E0A89199BDA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Proving correctness and completeness of normal programs \u2013 a declarative approach","badges":[]}}}}}