{"entities":{"Q6065510":{"pageid":13199813,"ns":120,"title":"Item:Q6065510","lastrevid":57221445,"modified":"2026-03-27T12:45:25Z","type":"item","id":"Q6065510","labels":{"en":{"language":"en","value":"Contract lenses: Reasoning about bidirectional programs via calculation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7775449"}},"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":"Q6065510$74418D95-BD9C-43E0-A31D-4CA3A49F8FD4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2222d7c7c53e7373d5a3008c397c38019b872edc","datavalue":{"value":{"text":"Contract lenses: Reasoning about bidirectional programs via calculation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6065510$AEF2CD8A-C21D-4A0C-968D-F2379927E98F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d3535d7e69041beac635b632b59201962d70ac7d","datavalue":{"value":{"entity-type":"item","numeric-id":6065509,"id":"Q6065509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6065510$72D5D3A0-BB2A-4EB3-A3A1-DCECC098C2D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cdf0ccf627c3c62e7fe26d45212801e9c1834b58","datavalue":{"value":{"entity-type":"item","numeric-id":1720459,"id":"Q1720459"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6065510$BA657F71-B2EF-4A4C-BDD4-B7AAA40EE0EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b757a998e1515d90ca6c8714dbee4bb15ce8684d","datavalue":{"value":{"entity-type":"item","numeric-id":2123054,"id":"Q2123054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6065510$E07CC361-BCA4-4908-AF63-DA16CEAA89C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fe5bb4fdbe4ccb73556763ce707b17ae4b26732a","datavalue":{"value":{"entity-type":"item","numeric-id":988190,"id":"Q988190"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6065510$5D8971E8-9D1D-46F1-A4E4-F5FAC03994D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"20262fd99a0096946ca41e5051e1c5352b288570","datavalue":{"value":{"entity-type":"item","numeric-id":702008,"id":"Q702008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6065510$9B05F782-D663-4F27-A7FF-0535AB52C30E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c0cefd96801130048cf3f8ae21032b5cf52d744d","datavalue":{"value":{"entity-type":"item","numeric-id":2713363,"id":"Q2713363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6065510$98C49844-AE1E-4CE9-ABA9-0D27CCD19A1B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9d25675609e749ba7fb06159ff55f4a5f61fb207","datavalue":{"value":{"time":"+2023-12-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6065510$B21DC211-68C3-482F-8671-61A158239918","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6065510$0FE62ED3-3E5C-4BC4-8C9B-46ABED996816","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6710022b804c294e5e812c427d5dbafb9c874999","datavalue":{"value":"7775449","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6065510$AE5FF059-88DF-42D8-933D-EB29C76EF1E5","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":"Q6065510$2D699672-F1D3-4AFD-9AF8-80A1D9077621","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a0d20d6d145ec7122775becd8970c2c6308ab500","datavalue":{"value":"https://doi.org/10.1017/s0956796823000059","type":"string"},"datatype":"url"},"type":"statement","id":"Q6065510$C0CF5AA0-C39B-4932-B09A-604C14B93B1B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a5a2a0d1498009f5c0c7b714a2575a149ac221e5","datavalue":{"value":"W4388429102","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6065510$094465FE-FE08-419E-9B31-D2B7F9F98D39","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"aacccf7456d8058ecce1321410e2443bcaf47c74","datavalue":{"value":{"entity-type":"item","numeric-id":1725926,"id":"Q1725926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6065510$948A3A04-B15E-4FA1-B647-2B3B7D999E2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"948ee72dfb42e2ffc1454ffd9bb23bca2c64af87","datavalue":{"value":{"entity-type":"item","numeric-id":3917520,"id":"Q3917520"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6065510$37B6BE4B-488B-4E47-BC38-6D0527AC9F30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b40e6e7fca863501671c1883f0eb1d7652b5f3eb","datavalue":{"value":{"entity-type":"item","numeric-id":5176940,"id":"Q5176940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6065510$2CBE446B-5905-45F7-94DA-0FC7C78A070E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5be3c2894702680b0f29da42da706f8851ed4358","datavalue":{"value":{"entity-type":"item","numeric-id":3189860,"id":"Q3189860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6065510$B22294D3-BFAB-42CF-8BB2-3F55FCFC6DCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ab1894ba86f4a0bfc6950aa633dc13cd4683f3c5","datavalue":{"value":{"entity-type":"item","numeric-id":5276149,"id":"Q5276149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6065510$B0BFF776-34F5-4C1D-BCD3-679B503C7C5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ff5dac3a7e106779353b95ae20f87da9089a9c5","datavalue":{"value":{"entity-type":"item","numeric-id":5178774,"id":"Q5178774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6065510$D85A16A3-E75B-4B11-BD6C-01C571C1B766","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"79cc78eee4241c63b7c8b1ec5c7302bcdb9872c5","datavalue":{"value":{"entity-type":"item","numeric-id":4738113,"id":"Q4738113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6065510$A7AA8CEA-3BFC-4C8D-AE23-A09D7E97E7E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b35c71ea544048215cc5ba3564c68bbfc0a79234","datavalue":{"value":{"entity-type":"item","numeric-id":5176941,"id":"Q5176941"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6065510$A4DD157B-B773-4FF3-A758-DAA7DB6340C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b87b4ed7731028b5ed63e9b6b85380602669d8ad","datavalue":{"value":{"entity-type":"item","numeric-id":5408557,"id":"Q5408557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6065510$5C953EE2-F475-4593-B3EE-569D516E9CEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc4fee9be7bf3ed279fea03d86f7104947574770","datavalue":{"value":{"entity-type":"item","numeric-id":2942897,"id":"Q2942897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6065510$1FDDC683-EC85-438D-A0E6-35404DD60B30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f037bcbd5d14838c768fd7c10985fbf1163f3c0e","datavalue":{"value":{"entity-type":"item","numeric-id":2817685,"id":"Q2817685"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6065510$677EDBA1-76AD-41C6-AB84-B2E08B0F5573","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a53d1b5dbabfa4a05e9cbd66d4a8f6f09652433d","datavalue":{"value":{"entity-type":"item","numeric-id":5168924,"id":"Q5168924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6065510$E6A7B3F4-8383-4CC5-84C2-A72EFD383178","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cfcf48843f5b730f4edf2631bb1b538cf77aedae","datavalue":{"value":{"entity-type":"item","numeric-id":2981943,"id":"Q2981943"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6065510$0206FA97-DE0A-46C7-9803-F00ECFA7667F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"688982e4aff111d509d08f1631ddb3e68d67baa9","datavalue":{"value":{"entity-type":"item","numeric-id":3575279,"id":"Q3575279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6065510$643431BC-C8C9-406C-8433-9572791B377B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ff9ed74bfc734a0735a31103b9d379dc0b6c57a","datavalue":{"value":{"entity-type":"item","numeric-id":5261515,"id":"Q5261515"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6065510$895A89CA-C1AA-4271-BBD2-3FA1E4E42147","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"482ed5e476fb0bb09574ad367858e7015bf35910","datavalue":{"value":{"entity-type":"item","numeric-id":5176938,"id":"Q5176938"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6065510$E4784915-E01B-49B3-B892-2E53B5E00B66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b5ded37c1794fc78d0a602dc922f7644fc734d1c","datavalue":{"value":{"entity-type":"item","numeric-id":6091302,"id":"Q6091302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6065510$E0B50AE7-E5C9-4130-AFCB-661AB770343F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d4f99a33c3f9bd10c0b22466ad1cf9190afab2ae","datavalue":{"value":"10.1017/S0956796823000059","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6065510$A2272E55-9922-47F7-BB29-B67CBFF22254","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d4a4841cbd91fad18a3443c16cb27b975d599133","datavalue":{"value":{"entity-type":"item","numeric-id":5902410,"id":"Q5902410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3b071fe64020735c38344682533552dc78376265","datavalue":{"value":{"amount":"+0.8527583","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6065510$250EFC42-8BC0-430F-B671-15E917D845F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6063fd0576edc553c73fcbbf2d1ca2c868ab0d41","datavalue":{"value":{"entity-type":"item","numeric-id":2981943,"id":"Q2981943"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3966e6162ed424ab6619c7a2839ad1c5a05da0c0","datavalue":{"value":{"amount":"+0.84850144","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6065510$4FC3A0E1-0BD8-4F2C-BE1B-2FF84F06ED41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5d46cff0eae9932fe04467af9e864d6701d5d0be","datavalue":{"value":{"entity-type":"item","numeric-id":3614835,"id":"Q3614835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d7548ed2b7fd6fdc43530f3c2abcabf3ddb95a93","datavalue":{"value":{"amount":"+0.8375913","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6065510$6F70302F-BEEE-4CBD-8509-FC014111135A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0d83f355a39bad1a41fd205089ab9576891a5854","datavalue":{"value":{"entity-type":"item","numeric-id":2044183,"id":"Q2044183"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"768dbfbc0a09d6443c31baddf211d9ee0301e6d1","datavalue":{"value":{"amount":"+0.83300227","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6065510$9EC49ADD-7EB9-437B-BCBE-02D8C2559C92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"92839d41dedbd0185b71170cf641b8ae7af57f80","datavalue":{"value":{"entity-type":"item","numeric-id":2409736,"id":"Q2409736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4f417c2c255f132d0458c5c3b3b1b8962d8081ab","datavalue":{"value":{"amount":"+0.8245686","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6065510$D9EC4E0A-F3CC-48DA-97A3-CDB4C6C16236","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d937d1fbc55d037059de14ceeafd3c9dd5b4b41c","datavalue":{"value":{"entity-type":"item","numeric-id":750160,"id":"Q750160"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"93e4e5e68c785f04fab8cb3a643c81cd8b77d1bb","datavalue":{"value":{"amount":"+0.8241011","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6065510$B59896FA-A3EB-413A-AC73-7FF9B9AA41D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"714e15e5a2ba4fff06e9121fed38d3236869a4fd","datavalue":{"value":{"entity-type":"item","numeric-id":1267035,"id":"Q1267035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5f93326ec244b0735ff6224a824478b6b0f369cd","datavalue":{"value":{"amount":"+0.82342505","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6065510$B57E51A0-2D3F-4D17-B32A-D612EA0B2EFD","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6065510$584F372A-BDA2-4F23-9D77-4F7544D12124","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6065510","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6065510"}}}}}