{"entities":{"Q4764266":{"pageid":6793846,"ns":120,"title":"Item:Q4764266","lastrevid":40803555,"modified":"2025-04-04T19:19:44Z","type":"item","id":"Q4764266","labels":{"en":{"language":"en","value":"A-translation and looping combinators in pure type systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 750652"}},"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":"Q4764266$4340E4CA-6581-4487-86D3-62195C73B73C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9c1f20b7b3de05e59a8c57fb484a9878269d1a2e","datavalue":{"value":{"text":"A-translation and looping combinators in pure type systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4764266$E03FE8FB-1B00-4DED-B58C-3567B08F25B4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c0e45f868daeeb67cd0b85bee39a1fec98173c60","datavalue":{"value":"0817.03007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4764266$B97200E6-A7B2-44FC-B33E-1D9E6F98F323","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"559e9ccbce5981ac15958a20b9bb12c28c9fd7e8","datavalue":{"value":"10.1017/S0956796800000952","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4764266$417CD03B-E2F4-4B07-BBC7-32E2C31DB242","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5aad179d365c253d181fa8115a831f46e7923370","datavalue":{"value":{"entity-type":"item","numeric-id":375196,"id":"Q375196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4764266$3ECA2519-387A-4257-8ACB-53E850738D33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"efed21e9824a359c8d3282e3ffda49b99e5e2e03","datavalue":{"value":{"entity-type":"item","numeric-id":636370,"id":"Q636370"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4764266$50D5632D-77CA-4818-9825-1047C2B343A0","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":"Q4764266$3127A1BC-AA6B-4946-98D8-412BA1A89378","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"409ba1216875b3d2fe2760f521e9b8d4dc80e88e","datavalue":{"value":{"time":"+1995-06-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":"Q4764266$6232A811-1E22-4E47-8962-3BA19431E2BD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4764266$5FE06850-DD00-4610-974C-7A60397B9EF7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6865345da6942ea5f2adebcfb7e81b144dcf591d","datavalue":{"value":"750652","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4764266$EF9E5A46-DD91-400F-8216-50D6DD8CB2B2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1d821ae66f6931ade93d14728e0c4e5c30f1da75","datavalue":{"value":"generalization of \\(A\\)-translation to a class of pure type systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4764266$DCA2B7B6-74CB-4A2A-A004-CD20AB566F76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3f93225ffef7140d7fab1a39dd9254984c041b2b","datavalue":{"value":"looping combinator","type":"string"},"datatype":"string"},"type":"statement","id":"Q4764266$84C537E7-761F-4E3F-A95C-4FFA4DBB0294","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"47a58c9a8960fca4ff3a4a3585a3d1fa25e3e05d","datavalue":{"value":"inconsistent type systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4764266$99515632-10F4-4D44-8A36-963046E83BFF","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":"Q4764266$7F648CC9-99F1-4FBE-8627-4E7B50961117","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4622804a4a5864d5bd07b0d1d16a6f64d614c609","datavalue":{"value":{"entity-type":"item","numeric-id":3722497,"id":"Q3722497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4764266$2FA0B5BA-C702-4316-808E-82E04775CE23","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c78adfebdfe6da3f12207e6367824ff5b4bb8037","datavalue":{"value":{"entity-type":"item","numeric-id":4924545,"id":"Q4924545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"524183ecc604d29a2917680f2524f2d5e680a474","datavalue":{"value":{"amount":"+0.88493145","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":"Q4764266$6C59A4B3-54AD-41DF-9002-64C90810A783","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8e63968eb3680f1e5453af52986bdc1b38147093","datavalue":{"value":{"entity-type":"item","numeric-id":4703134,"id":"Q4703134"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"80c5c54744e293f6ce09dff8dfb491605ad15cd6","datavalue":{"value":{"amount":"+0.8760772","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":"Q4764266$C36A04A4-6359-42F0-BD5F-4E58BE41801D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e72d244fde1fd2a771168d3e8f31e83e8d9cd6de","datavalue":{"value":{"entity-type":"item","numeric-id":3006158,"id":"Q3006158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"867c519ad2ab9acf1b47e8b1743c7dc379b44f11","datavalue":{"value":{"amount":"+0.87588465","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":"Q4764266$1801E4CA-1DD8-4F0B-855A-9B19926BFE8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"380fe67206fa9f7f0a415ba641a43eb156d4dc86","datavalue":{"value":{"entity-type":"item","numeric-id":5390279,"id":"Q5390279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a823d9ae81dd7a401592b135eba29a4fd4c8f397","datavalue":{"value":{"amount":"+0.8757268","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":"Q4764266$186DA6F6-C2AE-4A1B-85E7-F7B3576B524A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1cd34f784ebf777742449a1a890f3271c0fbdbe5","datavalue":{"value":{"entity-type":"item","numeric-id":2565990,"id":"Q2565990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8047a1cc68ace448143f7dcd13c8935e8d6e0081","datavalue":{"value":{"amount":"+0.8754683","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":"Q4764266$1CACDB8D-EC6B-447A-8704-85F068E0CBE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6bd2a7c5ae41bbaf82e6faeb8738632585b8325c","datavalue":{"value":{"entity-type":"item","numeric-id":2176677,"id":"Q2176677"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a439560b051dffe6dfc5e17136fd279104252bb2","datavalue":{"value":{"amount":"+0.87355864","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":"Q4764266$216F31AD-F469-47FB-8D20-953C972C5E2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c8139ef8a91aaf6018642a73755c3a644f2cfcb1","datavalue":{"value":{"entity-type":"item","numeric-id":3612625,"id":"Q3612625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bbf1dee8d67cb09634e3ff9443f5dc327fb79c78","datavalue":{"value":{"amount":"+0.8729427","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":"Q4764266$82A09075-1ADA-4F1F-A1CB-9718E2216533","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f80a3e32ebe364d58e4e5d4c46f29bd927707e6e","datavalue":{"value":{"entity-type":"item","numeric-id":4325622,"id":"Q4325622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"85b3dbabc77dc4f8c91da0d994b66dfd3653ae2a","datavalue":{"value":{"amount":"+0.8726621","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":"Q4764266$C653418E-7CBA-4B56-8F4F-97095DAB417C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8a40b525022ec1dccaba201ae6fd7476bf823c4c","datavalue":{"value":{"entity-type":"item","numeric-id":4856946,"id":"Q4856946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"da9ecd6a58821f3d02735a2e37228e50f95b3393","datavalue":{"value":{"amount":"+0.8704581","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":"Q4764266$3E26B493-1515-486E-86EA-E2E6BECD7568","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"54cd3b23082880a3a13f1ce9c96afdaf3c7adeae","datavalue":{"value":{"entity-type":"item","numeric-id":4202948,"id":"Q4202948"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e3dcf3b03ea415664849fa43a7a71f05278fa1e7","datavalue":{"value":{"amount":"+0.870114","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":"Q4764266$EAE0523E-E9EA-4CFF-BC96-7F9500F40BF7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4764266","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4764266"}}}}}