{"entities":{"Q2265798":{"pageid":2276541,"ns":120,"title":"Item:Q2265798","lastrevid":78536480,"modified":"2026-05-06T11:49:41Z","type":"item","id":"Q2265798","labels":{"en":{"language":"en","value":"General correctness: A unification of partial and total correctness"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3892567"}},"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":"Q2265798$B8D0892A-7A92-4205-8E4B-BADBD1C3D779","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b72f491dfc03fb366a21a5a67fc81f1f7f06f716","datavalue":{"value":{"text":"General correctness: A unification of partial and total correctness","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2265798$BEAA04B4-E86E-4F5E-B321-81865C90F544","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b2320b65486b389c99c5eeda83b3c1ff8bcaecbd","datavalue":{"value":"0559.68021","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2265798$727F862F-5EB3-4638-A035-7DA08F216908","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4ff56de354c0ca66f5f67ad40c015ec46388b483","datavalue":{"value":"10.1007/BF00290146","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2265798$E14A1CA9-18EB-4E86-902A-A215B0CEF265","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d6ce908fc60c9d228b2a2334cb3607f3fdfc32aa","datavalue":{"value":{"entity-type":"item","numeric-id":1106018,"id":"Q1106018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2265798$EFD9D77E-913C-46D3-8158-3CC2524586FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"87201105ab9aadf571db6479712327a7fc2e406d","datavalue":{"value":{"entity-type":"item","numeric-id":287253,"id":"Q287253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2265798$1878EDC4-A09A-4250-91FB-5C4049C1403D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7d0f02e85530cd06ceb2c58a40dc9c2e0258e194","datavalue":{"value":{"entity-type":"item","numeric-id":161641,"id":"Q161641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2265798$B651AD03-CA37-4ACE-9434-C1F48F2FA2BA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3c94df5c9af0ede578c52141befd29044de13172","datavalue":{"value":{"time":"+1985-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":"Q2265798$D9EF763C-E78E-412D-B28F-BF1D66096D06","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"d7865316918e7c5dabf187d4c00a9037248e963b","datavalue":{"value":"General correctness, which subsumes partial and total correctness, is defined for both weakest preconditions and strongest postconditions. Healthiness properties for general-correctness predicate transformers are more uniform and complete than those for partial- and total-correctness systems. In fact, the healthiness properties for partial and total correctness are simple restrictions of those for general correctness. General correctness allows simple formulations of the connections between weakest and strongest postconditions and between the notions of weakest precondition under the ''demonic'' and ''angelic'' interpretations of nondeterminism. A problem that plagues sp-sp(P,C) is undefined if execution of C begun in some state of P may not terminate - disappears with the generalization.    This paper is a study of some simple theory underlying predicate transformer semantics, and as yet has little bearing on current programming practices. The theory uses a relational model of programs.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2265798$2DCC7345-91B0-4416-87F8-7765E8C9AD7A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2265798$ACBEB0D9-A522-40E2-8BD4-5B0064E7BAAD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fa8696654b3f0da291869a2863f26fd937c53b98","datavalue":{"value":"3892567","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2265798$52E9CC13-2719-49DF-8434-E9D105A05AFA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01f96a6de66dfa1631d4e36a4b4e20ff8edd2350","datavalue":{"value":"General correctness","type":"string"},"datatype":"string"},"type":"statement","id":"Q2265798$C3749D52-E7B0-4610-A0E8-EA92960B7ABC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"09ca9b1033b4524a6757892752b1ae1272e32b02","datavalue":{"value":"partial and total correctness","type":"string"},"datatype":"string"},"type":"statement","id":"Q2265798$80106206-7C10-45F3-AA2E-C9628E29B36B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"728818d2de29d948f096f35c669fa7265b9147f5","datavalue":{"value":"predicate transformers","type":"string"},"datatype":"string"},"type":"statement","id":"Q2265798$0F414001-F2AB-4B72-8E8F-E860B7B92753","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"953dd1fee062a0735005e9b49b090d46a8c1e44f","datavalue":{"value":"weakest and strongest postconditions","type":"string"},"datatype":"string"},"type":"statement","id":"Q2265798$563CDD47-E9B6-4405-BCEA-8A35D8FDDFD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"26325b97ca9f91dadc7bc17af7514ea7907cb4fa","datavalue":{"value":"weakest precondition","type":"string"},"datatype":"string"},"type":"statement","id":"Q2265798$E4BAE5FB-7BC9-44ED-8E03-AA2E62480405","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f532e2b08234dd6967fc70eafbf0c8f20a836d3e","datavalue":{"value":"nondeterminism","type":"string"},"datatype":"string"},"type":"statement","id":"Q2265798$B946DD1E-4AF8-4E99-9806-73627ABDA083","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d7bfc11de8cab95fd6af201970bd9d16d39bbd0","datavalue":{"value":"semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2265798$EE18222E-2B8A-4EBE-8846-DA50BED5CF68","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":"Q2265798$374BC374-C380-415B-815E-35A119A08602","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c657890d3e4e594c9603629a24d3f25e9e327278","datavalue":{"value":{"entity-type":"item","numeric-id":3860820,"id":"Q3860820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2265798$654F4A91-ECA1-4415-9AED-E8129DA2F295","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f474b409a8f3415f67c4fa840940f857e860d83","datavalue":{"value":{"entity-type":"item","numeric-id":790610,"id":"Q790610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2265798$DC78C398-FEF0-41F6-A450-B1314836D8C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"67b8a6374b4fc895d89506f759c76e54380f8254","datavalue":{"value":{"entity-type":"item","numeric-id":4144755,"id":"Q4144755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2265798$3FF770E1-350B-4706-9F1D-7C3E9071B94F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"15d8f82c493ecf71b1895a2fbc262dc6af404064","datavalue":{"value":{"entity-type":"item","numeric-id":5532796,"id":"Q5532796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2265798$B0843464-E796-4C9F-9550-2D20E0CD8B5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e47b8c90d45ee285590b1a168a8503851fe5b134","datavalue":{"value":{"entity-type":"item","numeric-id":3925859,"id":"Q3925859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2265798$9B38D816-4CC4-4A5A-B5A7-0EB289682CF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9973d9908452a3ee7ccb08e8305df24fb8baa40","datavalue":{"value":{"entity-type":"item","numeric-id":3940822,"id":"Q3940822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2265798$5C27FFA5-37E0-451F-BA8D-180C7B725AB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4907b6c8232569d66044a4f0d8820e56855b5f1","datavalue":{"value":{"entity-type":"item","numeric-id":1143163,"id":"Q1143163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2265798$5850D6FE-B579-4A56-A942-F7002EEF803C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c82ad10c73e928271f482901deda0f097caa8289","datavalue":{"value":{"entity-type":"item","numeric-id":3723675,"id":"Q3723675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2265798$632F9319-6A69-4383-8BA6-F0FAA3F4661C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c5284f7991c38fae99078136506785628d19da5a","datavalue":{"value":{"entity-type":"item","numeric-id":4158461,"id":"Q4158461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2265798$E1FD5DEF-381E-4FDC-8397-54AF9F033635","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb3ca9fc3aae0e682a4fb157c408b25328a8cbcf","datavalue":{"value":{"entity-type":"item","numeric-id":2561836,"id":"Q2561836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2265798$158EF0F9-3DDB-4BB8-915A-C7069565B9FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f77d0fd94b4ba1a2f231f232c1cf313c408a00a","datavalue":{"value":{"entity-type":"item","numeric-id":2265798,"id":"Q2265798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2265798$63BE9D58-A872-419E-A8E5-9124E5C38602","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8815698b89c5fac204096ab5fafd0579b4f0e5e8","datavalue":{"value":{"entity-type":"item","numeric-id":1156476,"id":"Q1156476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2265798$837CB9B8-ECA8-4801-AF8C-44871CAA9D4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a24bd10a27e1b8e759cf20e25bbc96fc409e8f8","datavalue":{"value":{"entity-type":"item","numeric-id":4127356,"id":"Q4127356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2265798$EB6935A7-EE9A-4983-9914-A55CD79CC6BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d9f293d0fef92619b42dc4811f7c0a2dcd5fe3a1","datavalue":{"value":{"entity-type":"item","numeric-id":4109269,"id":"Q4109269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2265798$5F58D5C8-ADE3-4535-8DB4-503871B11986","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d2e7b06432ec7b5a42afefe1a67d993283dc430","datavalue":{"value":{"entity-type":"item","numeric-id":1243116,"id":"Q1243116"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2265798$420B2B75-C655-402F-A75A-2AACD66333E7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a87a3e4130788f5b0033dddfd32b3ef471f82c52","datavalue":{"value":"https://doi.org/10.1007/bf00290146","type":"string"},"datatype":"url"},"type":"statement","id":"Q2265798$1A4511B5-2341-4C12-ADDF-4C6B852D0BF4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"681e7d314d274e16a6c635956364381bf1f98f6b","datavalue":{"value":"W1990589200","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2265798$E6646C7A-CD06-4328-B17D-BF6A221B753D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"111634c180e51898e7db72b4c025f608f2b8c9c7","datavalue":{"value":{"entity-type":"item","numeric-id":3055748,"id":"Q3055748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a500f5935c84170260ed93f1060dbe45738bb6ca","datavalue":{"value":{"amount":"+0.92727","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":"Q2265798$37F88B40-2A95-465C-9AEA-1D6843124586","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d3275536ea2cdf37741bbee2a80619cb6f3712cd","datavalue":{"value":{"entity-type":"item","numeric-id":3575271,"id":"Q3575271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f1a29dcf7b514696c0f873c602a04104fc494f44","datavalue":{"value":{"amount":"+0.9086234","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":"Q2265798$3787C813-22F1-40A6-B2CC-A1B38C72A128","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ed65b361964e3c64608aacb48e397b30645537a8","datavalue":{"value":{"entity-type":"item","numeric-id":2845516,"id":"Q2845516"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e124bc0dd5e1843369b6bf969fc50f9e0c7d5d58","datavalue":{"value":{"amount":"+0.9083231","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":"Q2265798$EEF22BF2-C947-41AF-93CF-9B9F2B36324A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"494f82ef33661419430b7d24eb4c97150d0078ab","datavalue":{"value":{"entity-type":"item","numeric-id":580955,"id":"Q580955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"539f0423f23bc258b5830783768b05e1ba1ccbf0","datavalue":{"value":{"amount":"+0.8873857","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":"Q2265798$5E54D95E-CC8D-4AF2-89DD-52264464CB6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ea8bb53d6fcf015983e1b7a00300544f342de8d2","datavalue":{"value":{"entity-type":"item","numeric-id":3651514,"id":"Q3651514"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3602c4663b5697260a96b136ac660a9969a59891","datavalue":{"value":{"amount":"+0.88335645","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":"Q2265798$595B0B0E-5995-4B54-AA33-97D3FE5ADCEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5a5f76f2efc2c5fa8aad6b670ec90ea8b1d982ca","datavalue":{"value":{"entity-type":"item","numeric-id":4513597,"id":"Q4513597"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6443de717791c95956de135f295a78877f22f31a","datavalue":{"value":{"amount":"+0.8779647","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":"Q2265798$B381C663-B29A-449A-B330-714C7B75C083","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c69b5cae3879723fbe7da05756e12ef5f79556d5","datavalue":{"value":{"entity-type":"item","numeric-id":607408,"id":"Q607408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"058ee145a0eb73361b439e0ca6140d6666765dab","datavalue":{"value":{"amount":"+0.8752166","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":"Q2265798$51BF2253-7C7E-4035-ACA8-CBE91A8AD204","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"417cc5eff3c590a07212e1eb72f1f42a0be803d7","datavalue":{"value":{"entity-type":"item","numeric-id":2844814,"id":"Q2844814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b914c45effa4dcc6068a8692c5e6daf03757d36f","datavalue":{"value":{"amount":"+0.8732991","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":"Q2265798$300A4195-8CE1-478A-B797-0DC0FC61CD21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b588bacdb26ecbea497a360fdb146b234a8ac682","datavalue":{"value":{"entity-type":"item","numeric-id":793507,"id":"Q793507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d38e35dd090baa0a21d97f97ed42c5b39364c373","datavalue":{"value":{"amount":"+0.8718395","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":"Q2265798$C85162EA-0165-4F5B-A8F3-94D96D76C8F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"06b4dbc68b06bc8ecd04f5d1802c7e4cf586f269","datavalue":{"value":{"entity-type":"item","numeric-id":1110500,"id":"Q1110500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"45a747979834b17e3db10c2e7c9b510d8eb26294","datavalue":{"value":{"amount":"+0.87111616","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":"Q2265798$2CD4108C-BF15-47B8-AFBB-2C993DF6C631","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"General correctness: A unification of partial and total correctness","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/General_correctness:_A_unification_of_partial_and_total_correctness"}}}}}