{"entities":{"Q2875221":{"pageid":2885941,"ns":120,"title":"Item:Q2875221","lastrevid":83962571,"modified":"2026-05-07T15:10:41Z","type":"item","id":"Q2875221","labels":{"en":{"language":"en","value":"Contextual equivalence for inductive definitions with binders in higher order typed functional programming"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6330148"}},"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":"Q2875221$940E429A-4C76-486D-A0B9-43812E4B9730","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b92c372d2bf378694b16b9c30dcf4c87cb546db0","datavalue":{"value":{"text":"Contextual equivalence for inductive definitions with binders in higher order typed functional programming","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2875221$6C869A1E-876D-4355-85D3-8F72268F9C69","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ecc5bef986f703f33f2d746f5457739d16f4f226","datavalue":{"value":"1300.68017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2875221$DB578C43-7206-4644-8E66-F0263720A3EB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cc14a6b7d76ca6a65492a1d80fb8a3b386aec49e","datavalue":{"value":"10.1017/S0956796813000245","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2875221$8DC0A743-FF2D-4128-A62A-966371AE674C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"eb8b4e778c280d6d8cb813f4d61e1c839d2cd798","datavalue":{"value":{"entity-type":"item","numeric-id":288809,"id":"Q288809"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2875221$71F093F4-BAC0-436C-9CC6-4A05D8D7BBDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fde72a2d81cbfd58c1a2329aed776df473214803","datavalue":{"value":{"entity-type":"item","numeric-id":530842,"id":"Q530842"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2875221$B0481CD0-4B95-4693-8289-35521CA8EDDD","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":"Q2875221$C8E050CB-E0BD-4A8F-96BF-CF1DF4E2062C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"014386d1e7349618004d8e2aa9650d7520cb60bd","datavalue":{"value":{"time":"+2014-08-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2875221$7F124D85-0C7B-4B0D-BFD7-E3F9E23EE5ED","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2875221$C6FB0369-D7FC-4EC8-A704-2A032FEC5FB3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f076d42b9eadf4785219cf68332ce47339540abe","datavalue":{"value":"6330148","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2875221$16ACC2F2-A509-4403-AADE-DE0DCF062EB1","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":"Q2875221$4FC73209-BBE9-4010-998D-13D21780659C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"242d0bcefc8537fabd0f6215bfcd685ef643b539","datavalue":{"value":{"entity-type":"item","numeric-id":616849,"id":"Q616849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2875221$988DAE5B-CB91-46CA-B996-CFBAB235D570","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"486b3db15310f7b4419a518b9731479317d56d77","datavalue":{"value":{"entity-type":"item","numeric-id":1961921,"id":"Q1961921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2875221$E1F81B92-A39D-47D1-BE88-A160CFC96996","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c012672e7c126ba7b33abdf4d0ab516498fc775","datavalue":{"value":{"entity-type":"item","numeric-id":2392482,"id":"Q2392482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2875221$027A4957-89FF-43EF-8087-7D7BE53033D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c17c1ce7d634f64c79c1c213a0f38f502e107d96","datavalue":{"value":{"entity-type":"item","numeric-id":2704321,"id":"Q2704321"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2875221$404F02C3-CC56-4283-A081-9CF154B83F38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7021c91f6a866e16b579f74b23aa54446a0c8938","datavalue":{"value":{"entity-type":"item","numeric-id":1150586,"id":"Q1150586"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2875221$DEF8E2FB-71D5-4369-AC64-911C0EFE5865","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98edad3dda6c3e0d16bb29f0b88b1d7d3ea29372","datavalue":{"value":{"entity-type":"item","numeric-id":5411983,"id":"Q5411983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2875221$EB0AFDF6-691E-4232-803A-34E7B230B1BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1851616a00610aaeabd4291b4d22573878184fd4","datavalue":{"value":{"entity-type":"item","numeric-id":3546313,"id":"Q3546313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2875221$956B5358-3487-4D97-A93B-52694DA84854","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c2cfd9276b29fad8afcdadbaa91529b52a92d469","datavalue":{"value":{"entity-type":"item","numeric-id":4939702,"id":"Q4939702"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2875221$542D5487-61E6-42CB-B10F-D30682E83875","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47ac815097af4ecf8cf4ea7c398fa9b58547d11a","datavalue":{"value":{"entity-type":"item","numeric-id":5746410,"id":"Q5746410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2875221$D8E8FA73-BA73-4030-8AB2-09D9308CD803","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ab98f9144c6732b53f94131308e4bb8bf4b801b","datavalue":{"value":{"entity-type":"item","numeric-id":2704324,"id":"Q2704324"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2875221$9B79122E-F928-44F2-8A30-8E5865EF79B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ade402c8643377c95736cc4de881776c386a1875","datavalue":{"value":{"entity-type":"item","numeric-id":1882909,"id":"Q1882909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2875221$0A3F1E0D-B0FA-4C3F-B18D-DA6E5F9AF488","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5845b8e1db5076126f2127b478495e9f2a1b0348","datavalue":{"value":{"entity-type":"item","numeric-id":2392477,"id":"Q2392477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2875221$368ECFAA-8C66-4419-AA48-48AC9816EA3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e320d5ab20d9378e83c08a862b63bf2725892d4a","datavalue":{"value":{"entity-type":"item","numeric-id":2653567,"id":"Q2653567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2875221$20CCFA32-522B-4843-A9A8-8CD23C30CE19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a87eb4cdd0fe9ceaf462410bfeb005fa5d0358f","datavalue":{"value":{"entity-type":"item","numeric-id":3457756,"id":"Q3457756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2875221$B27182A1-1BA5-48E5-B262-4AEB6B54843A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a1a24b9f5efb2d348aef77a6d216dca7a0db135","datavalue":{"value":{"entity-type":"item","numeric-id":5746217,"id":"Q5746217"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2875221$8F857137-857B-4B1F-851A-43DD50468CD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f1cb571752706c0bf4628a52352a1a7f232000b9","datavalue":{"value":{"entity-type":"item","numeric-id":2566026,"id":"Q2566026"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2875221$3C1A4053-64F9-4742-AA8D-CA06C6B6EF1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"471abb3e7f4ab1ef1a7fc449604429dc98060673","datavalue":{"value":{"entity-type":"item","numeric-id":4245932,"id":"Q4245932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2875221$2C5A9EAA-51FE-401B-B452-6E9AE7588702","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef8e8a1bd6a36d7048ab6f3cc2d1559d18184388","datavalue":{"value":{"entity-type":"item","numeric-id":1917068,"id":"Q1917068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2875221$EAF87CC1-C87A-4217-8564-F982DA7FFF01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d310ccd504f3a2ce71f014fcff7b00862c9de37","datavalue":{"value":{"entity-type":"item","numeric-id":5746272,"id":"Q5746272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2875221$5994C357-CFBE-43B4-AA1C-F791085E0EB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"afff082a6dc69faf74ce9d16730e700193201fbd","datavalue":{"value":{"entity-type":"item","numeric-id":968531,"id":"Q968531"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2875221$9DD7A2D3-FCCF-47ED-B652-0E64AC3306B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"882e318ac9b6bbd79e82dcc1ce3fe340042f5778","datavalue":{"value":{"entity-type":"item","numeric-id":699761,"id":"Q699761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2875221$D4352314-7A4D-4B8F-80C9-07830F95EC02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47b8c3a63f5113f0209622b58f18640a08a06fa7","datavalue":{"value":{"entity-type":"item","numeric-id":1887151,"id":"Q1887151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2875221$12491B44-BEE8-4206-96D7-FBF88E3E5F7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"762b43d948cd82d9f4af52f22f8fa8112e0ca064","datavalue":{"value":{"entity-type":"item","numeric-id":939160,"id":"Q939160"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2875221$E3F2D882-D080-4706-8FB1-EED952E0971B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b27d44a0e50fda314668a36654efb04ab5135cb3","datavalue":{"value":{"entity-type":"item","numeric-id":3868730,"id":"Q3868730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2875221$45D1C611-FC3E-4C52-B3AB-F2F6698A209D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"67caddff74de93a85f137a1b38d6dfa9396f5eac","datavalue":{"value":{"entity-type":"item","numeric-id":1349886,"id":"Q1349886"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2875221$10A75A63-7EA3-4810-9900-C062583C372C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d06ce65b366ea27e58c7fffc25863f35a8053f5c","datavalue":{"value":{"entity-type":"item","numeric-id":5277739,"id":"Q5277739"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2875221$EA0AC8AE-CCBB-4286-84E7-BD384EE58909","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4e12a81eacd6b45bc4b4689eee451512cadf31d","datavalue":{"value":{"entity-type":"item","numeric-id":3985547,"id":"Q3985547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2875221$A132DCD9-A10D-46B4-AC04-0D6BAACFA510","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b937ede029a6b6ef407e0ee2cf19d54a834a908b","datavalue":{"value":"https://doi.org/10.1017/s0956796813000245","type":"string"},"datatype":"url"},"type":"statement","id":"Q2875221$727E76B2-CE31-4D2A-BFBC-676381FC01FB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"eb897093022f351ba3c2190a77cc17773e1e7090","datavalue":{"value":"W2093321451","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2875221$AA591B79-6942-4BD2-A682-22BA671CF30E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dae8efe4941aa2f81cd79b5e4c24541088d0d17d","datavalue":{"value":{"entity-type":"item","numeric-id":3617690,"id":"Q3617690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e969ab5b159e55d53906047ba36468215964252c","datavalue":{"value":{"amount":"+0.8367940187454224","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":"Q2875221$20029CFF-CEB8-4D91-94C4-7C21462C123B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"364d34b5c20c3387548006e3f3a375974c348dd4","datavalue":{"value":{"entity-type":"item","numeric-id":5313189,"id":"Q5313189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7f11f5c333ba3ed0e7d1884e6fb198245f07e229","datavalue":{"value":{"amount":"+0.747186541557312","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":"Q2875221$55625B43-9179-4D6B-BCE1-72BBD0D2A899","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0d4860b634ef9e7f83c65900866b46c3a261573e","datavalue":{"value":{"entity-type":"item","numeric-id":3189787,"id":"Q3189787"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6ff0a2847430f207f025809749671d602a967eee","datavalue":{"value":{"amount":"+0.7423592209815979","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":"Q2875221$ED97A846-275C-4C0E-BB15-9E5D12892D57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"19a4f7b4855411b08fc0fc722b3b0ac57b5f1abf","datavalue":{"value":{"entity-type":"item","numeric-id":2721104,"id":"Q2721104"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fbae9124406e4bcb255d7fb96aa055675eb60406","datavalue":{"value":{"amount":"+0.7310500741004944","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":"Q2875221$8FD8CC22-3023-4C4D-A505-D17204CAC6FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8543039ca01a7506afcf92d29204e0e1a5448747","datavalue":{"value":{"entity-type":"item","numeric-id":428860,"id":"Q428860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bba2be338516d40a2fb8fa7f127fed955938e87e","datavalue":{"value":{"amount":"+0.7305402755737305","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":"Q2875221$D8689140-7E3F-410A-A54F-C5CE66690A41","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Contextual equivalence for inductive definitions with binders in higher order typed functional programming","badges":[]}}}}}