{"entities":{"Q5210798":{"pageid":7240369,"ns":120,"title":"Item:Q5210798","lastrevid":53639321,"modified":"2026-01-25T11:42:30Z","type":"item","id":"Q5210798","labels":{"en":{"language":"en","value":"Representing proof transformations for program optimization"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7154575"}},"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":"Q5210798$FCA25F26-B87B-43F7-AA65-4D77AFD83420","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5abfbd7a935da17a1849cb19b4f28f0fbad705bf","datavalue":{"value":{"text":"Representing proof transformations for program optimization","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5210798$06CD88A0-2F97-4C44-BFF7-8A0FB5A591FD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0a3ab03b75a64418a091a39e4a1031f0d51c692b","datavalue":{"value":"1433.68091","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5210798$3AA553CB-FA0F-40EA-B300-73091626FAA6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6e8efd19321447f8745088b4e6e1527bff73486c","datavalue":{"value":"10.1007/3-540-58156-1_42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5210798$4AD0AD0D-D6B2-48C5-BC1F-3683B04DB02C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8048c3871502f652ed6c03a9143c62d672ad3b17","datavalue":{"value":{"entity-type":"item","numeric-id":1583852,"id":"Q1583852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5210798$3C28C104-F3B1-4523-954A-A5F16429568F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"5ce55bffd503afc59f0668cb8e4536460b24d029","datavalue":{"value":{"entity-type":"item","numeric-id":5210757,"id":"Q5210757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5210798$8300329B-C069-4298-BC6C-630D151EB4FD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3a33e9289a41a440ea82601c0f5c7fc7756e3797","datavalue":{"value":{"time":"+2020-01-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5210798$BC9B7B04-FEC6-41EA-A54B-23E87F503578","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0f504a25963d69395ba8ee27edee8a13420dc666","datavalue":{"value":"https://hal.inria.fr/inria-00074441/file/RR-2229.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q5210798$BFA0F96D-2AA4-4B31-BEC3-A2B9DC3716C0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5210798$7C8AD1D6-FF94-4EA2-8998-C9986288996D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5210798$BE49E25D-3937-4308-A5DC-B0C87F3F8491","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5210798$711D3FC9-3A15-4D60-9684-CED894176887","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cb12c67f86aeeb05ac0e532b58c7a53c284e3285","datavalue":{"value":"7154575","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5210798$727E919E-0FC1-46BE-A810-1B1003C9EF09","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"666b9a47dc68ef552d799234146196fb61f3c743","datavalue":{"value":{"entity-type":"item","numeric-id":33169,"id":"Q33169"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5210798$7781F16D-D60B-49A9-BA0B-B595F8578D2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"27b6ae20da44d6f09b655d9481cc0df08a8ffcdf","datavalue":{"value":{"entity-type":"item","numeric-id":18826,"id":"Q18826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5210798$054A581E-DBE2-4782-BAFA-FDAC5A15A60A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5210798$7E66E02B-E6D3-489C-A3B6-869BAA09EB13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2b02b46847f3d7e3a5825b9484a88607b98dbd14","datavalue":{"value":{"entity-type":"item","numeric-id":13958,"id":"Q13958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5210798$AC920A8F-EFC5-430C-BAF8-FB887A9E5B2E","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":"Q5210798$9A4E0A40-55AD-449D-A7BA-86FC6651EB55","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"14bdf38095ea2746706417acbdeac7e1dd7cdeec","datavalue":{"value":"W2075909731","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5210798$25128784-5434-4693-851E-CA12D2118AEB","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0238b319e350b5acb73d6863e5a0cbee7c02a3bf","datavalue":{"value":{"entity-type":"item","numeric-id":5210798,"id":"Q5210798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5210798$481A40CB-5C26-40F6-8C31-3E06DF324C28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d63e1d2c1097bf56f38b3464089e43c611b33ec4","datavalue":{"value":{"entity-type":"item","numeric-id":4939697,"id":"Q4939697"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5210798$8D4965F4-B364-4450-8BFC-CE33F4C74670","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cde7f40e5a1f7e9dca73d242f651e960f1419fbe","datavalue":{"value":{"entity-type":"item","numeric-id":3330483,"id":"Q3330483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5210798$338672AD-21BB-4BA7-9FC1-7692E195FFE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c5ae7e408b1d1201c271e00762d47096e39a012","datavalue":{"value":{"entity-type":"item","numeric-id":4111080,"id":"Q4111080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5210798$CEC94B70-51BF-467E-95BF-EA519248EB5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d5e2b13fd5a27d330f592699f5bb5ff339813ded","datavalue":{"value":{"entity-type":"item","numeric-id":3789101,"id":"Q3789101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5210798$37711E14-51BD-4312-B81E-9C5F3C2CE513","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c94a2fe58e64b528f4d29cb8a45205f6ae980a02","datavalue":{"value":{"entity-type":"item","numeric-id":1311396,"id":"Q1311396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5210798$4CF91C10-AC62-4165-ACFA-18E094A2BEAE","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":"Q5210798$7D46B7AE-3532-4800-BDD1-E0407DFAE713","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"021e6e2184fd3d7f831680d56b426b95217eac7a","datavalue":{"value":{"entity-type":"item","numeric-id":4033837,"id":"Q4033837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5210798$90AF0710-3432-4324-8734-7D6942817BBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9d0de0ba52048b2594da38e4815945e3a42363a","datavalue":{"value":{"entity-type":"item","numeric-id":1251063,"id":"Q1251063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5210798$58BE83A3-5ADA-4E4A-B67A-6D3D319BB1B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59d8b44f05217c526aa12a6be320ec9c8d40564a","datavalue":{"value":{"entity-type":"item","numeric-id":5053011,"id":"Q5053011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5210798$EB6794FF-0149-44DE-8557-51C5978CA9C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6d6f89901bb1264c7e9f22a16224fb694fab3c0","datavalue":{"value":{"entity-type":"item","numeric-id":3943982,"id":"Q3943982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5210798$1EFC9E0C-16C4-4D48-88BC-09AA8D28A10B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f6b02137e0e0f3bcbd9479de3a9aade3456a918","datavalue":{"value":{"entity-type":"item","numeric-id":3034803,"id":"Q3034803"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5210798$9E9BEB28-4C0D-40F4-ABDD-5F894146F507","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5333f404cb1c5a483ee97a9aa8db2143fb09170b","datavalue":{"value":{"entity-type":"item","numeric-id":4012879,"id":"Q4012879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5210798$7FE469C6-EB63-49E5-8E99-92A6796DA7E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ad2cd4cf713ccf989480cb5c49a18cb39965ac5","datavalue":{"value":{"entity-type":"item","numeric-id":4264727,"id":"Q4264727"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5210798$09B4A861-9BA3-4AE5-B8F0-996CC3B54707","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e64c926e651bbdb25de00c6d58c77157d15009d","datavalue":{"value":{"entity-type":"item","numeric-id":3322097,"id":"Q3322097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5210798$F903C7D8-1CA0-45BA-8203-A5A3AE7548A5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b63f5027884db90b3b56d66c308be753437c9d64","datavalue":{"value":{"entity-type":"item","numeric-id":4525292,"id":"Q4525292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bcb60e1c410c16871bc79f9f4129d4eb313438f4","datavalue":{"value":{"amount":"+0.776375412940979","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":"Q5210798$87D7A585-5AE0-42B4-81C5-E7D3E7DBA489","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1c4591180b2d02b40e176873238da259d4069d29","datavalue":{"value":{"entity-type":"item","numeric-id":4842542,"id":"Q4842542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6cbeeee69e8ddcfb4bc1afd5231e019e2884e1e1","datavalue":{"value":{"amount":"+0.7619838714599609","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":"Q5210798$47449928-4404-4875-AAA2-6B3DD5DD5DF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d4fa5450fecbfcc4d3cd742175641c37289cf694","datavalue":{"value":{"entity-type":"item","numeric-id":3024824,"id":"Q3024824"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9751d2f8b2dfc27769abf238f5f8426b0e1b37be","datavalue":{"value":{"amount":"+0.7524498105049133","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":"Q5210798$8026FA3C-A272-4C6D-8551-703BE14AA435","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"31e06b4fe6c983bb3ab4de626b40fdcb19de88e0","datavalue":{"value":{"entity-type":"item","numeric-id":1823656,"id":"Q1823656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d550c876efa586c67b4cd84cdfb78afa20871024","datavalue":{"value":{"amount":"+0.7510051131248474","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":"Q5210798$72EB8383-D7F3-440F-9CA1-70A0005A035E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fe38b243283fc6821c4f28d3effddb01c571fd4b","datavalue":{"value":{"entity-type":"item","numeric-id":3166530,"id":"Q3166530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8f7774e6e47972c8df47b60a05cb3e3b06fd565f","datavalue":{"value":{"amount":"+0.7488320469856262","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":"Q5210798$B70E020F-3663-45B2-BDF1-D04FBCEB2A42","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5210798","badges":[]}}}}}