{"entities":{"Q5276136":{"pageid":7305711,"ns":120,"title":"Item:Q5276136","lastrevid":52853852,"modified":"2026-01-23T15:49:20Z","type":"item","id":"Q5276136","labels":{"en":{"language":"en","value":"A syntactic approach to eta equality in type theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6745845"}},"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":"Q5276136$1D7682BB-4BBD-4F25-AF56-84EDC596950B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"76e7a5fa823f9de103def0bffad33f0b580a54e7","datavalue":{"value":{"text":"A syntactic approach to eta equality in type theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5276136$C9BED981-9B29-4AE2-941A-2AB4149357DB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"adc567ec41fa74674000377a5a288fd7d62e0b91","datavalue":{"value":"1369.68137","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5276136$DB17DE8E-0A29-4759-9583-B06E560E155E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"87f0b38ac5769b51972fe0ba6a76b4f4121cdaea","datavalue":{"value":"10.1145/1040305.1040312","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5276136$D3EF12E3-992A-4675-8126-97996ECC3D7A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"bf9b9433afdaa3bce08573cd7c29109f6ce51eb4","datavalue":{"value":{"entity-type":"item","numeric-id":1401949,"id":"Q1401949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5276136$1E7C3684-25B1-4B8A-A188-12988007DD75","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"79790bc80339a734780920be2bb22fbbfdf8fdc7","datavalue":{"value":{"entity-type":"item","numeric-id":5276127,"id":"Q5276127"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5276136$73386821-1D38-49E9-A852-8992D438D1B8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4e17da29f5e1bcb78c64e7bb3fa49945fe60982e","datavalue":{"value":{"time":"+2017-07-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":"Q5276136$07BA666B-5405-46A7-85A5-62EFDC21B493","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5276136$3776347C-C557-46ED-B60F-480DF3E6A6D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5276136$19AF85FA-1553-41C2-95AB-B91CA32C02FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5276136$41ABDC39-8D56-4C7E-9225-025952CE3CAE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"80c858722ff8743691db6598b93efad45ce42cab","datavalue":{"value":"6745845","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5276136$A68684FD-C359-42E7-AD1D-22B76DDB6354","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5dc42da0d24d220cf37dc94fb142337c3c717f6c","datavalue":{"value":"beta-eta equality","type":"string"},"datatype":"string"},"type":"statement","id":"Q5276136$B726B51D-D9C3-41AF-9722-CCE413D26D87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q5276136$AF8DEA3C-4A2E-4C94-B4DF-4F4366AC07BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66040eec798fa7d182443c16b59531175d83cf5e","datavalue":{"value":"logical frameworks","type":"string"},"datatype":"string"},"type":"statement","id":"Q5276136$05095B03-F8FB-44B4-ABF1-17987E348657","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ba5620c65b3b1616ab8ae31e5468b0e08272974","datavalue":{"value":"type checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q5276136$B5F4D0B9-5A90-4020-9F9B-D3C3DAFFFA60","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":"Q5276136$F05A316C-AC39-4798-9348-564BD4142093","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"62017e143497ee775c3474006adffb9f39800c24","datavalue":{"value":"https://doi.org/10.1145/1040305.1040312","type":"string"},"datatype":"url"},"type":"statement","id":"Q5276136$1956A5E0-D176-459B-84BC-3913F9EE2153","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c1283561f4bbc6c104135979eb1df19b2bbb5da4","datavalue":{"value":"W2020660597","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5276136$7E02AB4C-5BC3-4BA5-8B1F-2873AFCD5478","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"58e67cdf29232ab448658688d6140fa53c786a36","datavalue":{"value":{"entity-type":"item","numeric-id":4263801,"id":"Q4263801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a9230e369225fa6e29878bb38260bde100ef1da1","datavalue":{"value":{"amount":"+0.7446866035461426","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":"Q5276136$CA239D67-550C-4A0F-B3BD-9199A1B7C599","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6cbb3792c7294973628dc4cec02b7076e8db03e8","datavalue":{"value":{"entity-type":"item","numeric-id":2771055,"id":"Q2771055"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a9230e369225fa6e29878bb38260bde100ef1da1","datavalue":{"value":{"amount":"+0.7446866035461426","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":"Q5276136$9E48168C-FDD1-428D-987C-5814BC3D27F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"23060c9dc1628bd92e9ce02531ff52f85143df1d","datavalue":{"value":{"entity-type":"item","numeric-id":3024834,"id":"Q3024834"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0412ff4334bf9d9c34a3c888be42418445c52765","datavalue":{"value":{"amount":"+0.7408254742622375","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":"Q5276136$6F18163E-F7AC-42D0-A302-C259229870C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e5a0473919ea6c5017bb146da85656b42d602fe2","datavalue":{"value":{"entity-type":"item","numeric-id":3024906,"id":"Q3024906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"58460444262194aa5fabcde5efa5a3c8de23a310","datavalue":{"value":{"amount":"+0.7399482131004333","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":"Q5276136$0A74803D-4EAE-4097-9705-29965493DC21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f2d809c196c39f2e163ea8fcf30b346cc6e52b3f","datavalue":{"value":{"entity-type":"item","numeric-id":4855295,"id":"Q4855295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7dbe18212b62097ced2556f057f0301a6e8ad3d8","datavalue":{"value":{"amount":"+0.7385463714599609","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":"Q5276136$A2063B33-3DF7-4ED8-833E-41BD0EA85996","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5276136","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5276136"}}}}}