{"entities":{"Q4675766":{"pageid":6705347,"ns":120,"title":"Item:Q4675766","lastrevid":89939660,"modified":"2026-06-04T18:40:10Z","type":"item","id":"Q4675766","labels":{"en":{"language":"en","value":"On proving the correctness of program transformations based on free theorems for higher-order polymorphic calculi"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2165870"}},"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":"Q4675766$92DC5A90-01B5-45F5-AC47-40769878483B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"519ddf3aeef4ef93c51638b1635652921af50701","datavalue":{"value":{"text":"On proving the correctness of program transformations based on free theorems for higher-order polymorphic calculi","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4675766$F3A2414B-B7FA-4094-A867-321491361675","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3282976d6d23f14a8622c4561a558fd6d30c8601","datavalue":{"value":"1063.68033","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4675766$0B9391D5-0CE8-46FF-8782-678B2E67192A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"dccac74ee44eb39db86757c42bedcbd44d74bd47","datavalue":{"value":"10.1017/S0960129504004578","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4675766$137F6015-DDFD-4AF4-80A9-81EB3122945E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"429bcf00dd5802aaa66006839bf4f8c2320a00f8","datavalue":{"value":{"entity-type":"item","numeric-id":673970,"id":"Q673970"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4675766$D27E8C3E-ED55-43AC-A315-901C49EA2E93","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a53527e88e2413966f3c8ce14c92b878c452756d","datavalue":{"value":{"entity-type":"item","numeric-id":2709784,"id":"Q2709784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4675766$2525A5F2-4250-456F-A5DC-8A91F9C90C03","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"de645e2948eadff22b7addacb81589fb1ed3091c","datavalue":{"value":{"time":"+2005-05-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4675766$5A5055D5-9FA4-483A-A6CB-45E15E48A23D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4675766$2602A5B1-CDF7-4BBF-9C7D-58B37E27425D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4675766$8B5EB55A-1195-4A2D-A9B5-A728B3DA796B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4675766$C8BB00D4-1956-40DA-95AF-6B635B061056","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"683f7cb5392b62ad2cd73e895d3e8cbdc16abc3e","datavalue":{"value":"2165870","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4675766$0F96B9C0-AB4F-4C8F-AD80-EEE510B99BB0","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":"Q4675766$FCE67C59-4B2D-465E-B0B0-CE5AD851ECCA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"18c888b7a2e9d1d70152d3e3e4fdc64992298915","datavalue":{"value":"https://doi.org/10.1017/s0960129504004578","type":"string"},"datatype":"url"},"type":"statement","id":"Q4675766$921CA7AE-7A0C-4540-BDAA-360348379B85","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"84cd0b55c76d67f0938501fef926aa8b92209610","datavalue":{"value":"W2112122837","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4675766$352E8757-0233-4652-B9B4-5450FB256B43","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"30c6407bd166397d7230c433ce203b5500c8c930","datavalue":{"value":{"entity-type":"item","numeric-id":5714452,"id":"Q5714452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"96c78527c6b192059d1e935230fa82b3b665f133","datavalue":{"value":{"amount":"+0.7829324007034302","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":"Q4675766$C2667BD4-5190-4CD6-860E-4772C5648CCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"043864543ceb1e5c98187ddd1ab12fe09a6286df","datavalue":{"value":{"entity-type":"item","numeric-id":5096758,"id":"Q5096758"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"85f78ece1a00c6824aa6fc686bf69be33664e889","datavalue":{"value":{"amount":"+0.7801320552825928","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":"Q4675766$55D7BE88-AECE-465F-8124-419A81A64D35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"09f3ad7d15f021414a3a31a7fe2a336e2f6f1431","datavalue":{"value":{"entity-type":"item","numeric-id":671683,"id":"Q671683"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"62e67cb3ec22b4d9bb78a85c1b040879b9bec0b9","datavalue":{"value":{"amount":"+0.7794684767723083","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":"Q4675766$B5D1959F-9736-4197-B659-8CE7E2CAD893","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9960b81d61bb1d5fe3d576871eee82835b3e901a","datavalue":{"value":{"entity-type":"item","numeric-id":1870296,"id":"Q1870296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"de8e0d3a373bf155028b88f42006e4633211182c","datavalue":{"value":{"amount":"+0.7776777744293213","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":"Q4675766$B9A0E764-A1EC-43E6-AFDE-15E780DE7E2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4a0a42ecf1bc9954dfca100d60def37db47fe49f","datavalue":{"value":{"entity-type":"item","numeric-id":5472909,"id":"Q5472909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7518810f59c44e04a0e888809aee70d843a98204","datavalue":{"value":{"amount":"+0.7765231728553772","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":"Q4675766$199797DC-025D-4AF8-8B7F-76ADEF754C81","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On proving the correctness of program transformations based on free theorems for higher-order polymorphic calculi","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_proving_the_correctness_of_program_transformations_based_on_free_theorems_for_higher-order_polymorphic_calculi"}}}}}