{"entities":{"Q3557097":{"pageid":5587001,"ns":120,"title":"Item:Q3557097","lastrevid":49559389,"modified":"2026-01-07T19:18:08Z","type":"item","id":"Q3557097","labels":{"en":{"language":"en","value":"Type Checking and Inference Are Equivalent in Lambda Calculi with Existential Types"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5702271"}},"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":"Q3557097$88894CD6-22EF-4C88-AD06-9CDEAA83D6F0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"869f84fb6f1a03d22d20983665ad05f64e70036b","datavalue":{"value":{"text":"Type Checking and Inference Are Equivalent in Lambda Calculi with Existential Types","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3557097$C26A6BE6-6BEC-4CA4-B024-94D6660BD20B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3864ac0753cf32a1992642c2ebf00a7b8c2f46d9","datavalue":{"value":"1274.03027","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3557097$3D45E4E2-3872-4C49-9A50-ABA59194AAB3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a565861e9dd4d57716c82bf316cb4e915805db9d","datavalue":{"value":"10.1007/978-3-642-11999-6_7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3557097$B422EA59-995B-4D3C-85BD-1349D1F4BC80","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"409753ceaf000a5f1378ead2017bee48216a2e13","datavalue":{"value":{"entity-type":"item","numeric-id":1013372,"id":"Q1013372"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3557097$3991BEE1-29E7-4D56-A6F1-19D4048B7277","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d3bbd3187d950ecd141481b362fa15a71f8566a6","datavalue":{"value":{"entity-type":"item","numeric-id":514510,"id":"Q514510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3557097$27B4AE2B-A23A-4970-BCCD-6379EBCBC792","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2be33655de324dde0358c2fdcfaa54a9a81e5777","datavalue":{"value":{"entity-type":"item","numeric-id":3003510,"id":"Q3003510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3557097$10177FAD-9514-460D-AFBF-76ECE7671108","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fc4613cbd941f153622dd8128368d394277367d6","datavalue":{"value":{"time":"+2010-04-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3557097$BDD31943-0A74-447B-ADA0-C6EEF547B99B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3557097$94963F8B-B6E4-494B-9129-F850149FC3AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3557097$B4D04766-C157-4BDD-A0BC-88A3E715057B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"49c10f4e30d8559b8a3633075d385695709f5f4d","datavalue":{"value":"5702271","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3557097$9E5DCEEC-9758-43E6-925E-6F9DB3969D02","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a813fd0e4aef1fda5e8e7d4b77b02104337d96e6","datavalue":{"value":"undecidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q3557097$172BF44D-B55B-4690-937A-05C773135ECE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"190c936f4bc71182a572b06a8d49aac384808549","datavalue":{"value":"existential type","type":"string"},"datatype":"string"},"type":"statement","id":"Q3557097$3CDD6A04-B100-4888-A155-3FA5DD6F0BFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ba5620c65b3b1616ab8ae31e5468b0e08272974","datavalue":{"value":"type checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q3557097$F9D9B618-C9EA-447B-BE4C-C341C14FA95E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"07672cd9efb7a614e96dc9a58bd5b5685cbf3a1d","datavalue":{"value":"type inference","type":"string"},"datatype":"string"},"type":"statement","id":"Q3557097$9C0193CC-BD1C-48BF-BDBB-DA832AD7D8D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"65585613f104b6550dac87d6db7756a9f0d410ec","datavalue":{"value":"domain-free type system","type":"string"},"datatype":"string"},"type":"statement","id":"Q3557097$F2C65957-97F1-45AE-820B-DDBE778D1955","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":"Q3557097$BFB1799E-CFCA-49E1-AA5F-1B4C63251217","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3990924f96d9ab2a4638f89d6826ad2fe2f2fa66","datavalue":{"value":"https://doi.org/10.1007/978-3-642-11999-6_7","type":"string"},"datatype":"url"},"type":"statement","id":"Q3557097$E8A0AB27-5E2E-4A2D-9EC8-22E5BA9177D7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"52d4c808e2027bcd2e64bd6820b97036126a971f","datavalue":{"value":"W1488396215","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3557097$E92ED13C-F78E-4A11-9EC1-781478CE8658","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e459fcce0891d3f978d9a97ead5e1d9d881edd5d","datavalue":{"value":{"entity-type":"item","numeric-id":655411,"id":"Q655411"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"39b965f52afbbf98bb812f539e8f0f98b757a5b3","datavalue":{"value":{"amount":"+0.92787266","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3557097$A73E4BED-2333-4676-9F7B-8EA62047AA0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9440e44c0bc991151a1ad77ef1bfcfc962a16bd0","datavalue":{"value":{"entity-type":"item","numeric-id":3540198,"id":"Q3540198"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b3af54007152e7693b2b78bba87598f8063e457a","datavalue":{"value":{"amount":"+0.9019078","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3557097$99BE693B-F986-460A-8A78-E49D34DC10EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cd4f90f05733de76327741fe2bb8f9e36f8b05a9","datavalue":{"value":{"entity-type":"item","numeric-id":5414586,"id":"Q5414586"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"06da90a1f7c6cc30935b0b8e098078ef87325986","datavalue":{"value":{"amount":"+0.89453197","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3557097$199A578C-E0F5-4D4F-B04A-7A6B2D57EF8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b4ddf68208fec3d1423a51d071151463ca40b4ae","datavalue":{"value":{"entity-type":"item","numeric-id":4764610,"id":"Q4764610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7537f78d23d3cd75ed1bbeb96400a54bbd1f6a8d","datavalue":{"value":{"amount":"+0.8870251","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3557097$9DF89D54-D37A-4074-8C83-660C7D11D8C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6540165b5355a6544b12e088ff6fec1dcfe300c6","datavalue":{"value":{"entity-type":"item","numeric-id":1893725,"id":"Q1893725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"30ddcb20feef24d582072c0750d6dbed3972573d","datavalue":{"value":{"amount":"+0.88645697","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3557097$24229ECE-99FB-42C8-9EF7-190D7281EE31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d47c81d5d895c6268fdbf094a460d0fcf408f7af","datavalue":{"value":{"entity-type":"item","numeric-id":3142162,"id":"Q3142162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9823fa37a4442f38c2ee1ea16c8279e975d0cace","datavalue":{"value":{"amount":"+0.8858693","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3557097$6E552B5F-009D-473D-9DFA-A1DDA0D045EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a16a5f952fe65580ad3102001ed35bf577f03a9a","datavalue":{"value":{"entity-type":"item","numeric-id":5028472,"id":"Q5028472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"77e7c6251c5bf90081aa771bf7ddcc2911c8598e","datavalue":{"value":{"amount":"+0.8824326","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3557097$9DDB81B6-5C0F-4013-92B0-32A71FBE3347","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4e3bdcc336d3cbaf72159e278f1acc8157aa3b24","datavalue":{"value":{"entity-type":"item","numeric-id":2883111,"id":"Q2883111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"779e50fee73d85b915026e5a7b5a92d89b059b9c","datavalue":{"value":{"amount":"+0.8823397","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3557097$973EAA66-1E41-4DB0-9248-3E51DCBDC395","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9139f6ceedbc79a8c36ce64cb3447ce439e96552","datavalue":{"value":{"entity-type":"item","numeric-id":5394604,"id":"Q5394604"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d9d0058af1ff4e36e640fcd160baaec398ab4eee","datavalue":{"value":{"amount":"+0.8786162","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3557097$65E2505C-00F4-4A8E-8630-C5A4774C287C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4bf9b23cbce427d5113fd50005e86a2535ab2b30","datavalue":{"value":{"entity-type":"item","numeric-id":3024919,"id":"Q3024919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"129e6e06aa11310e3c383c75c4c11d3c7e3f07ce","datavalue":{"value":{"amount":"+0.8784929","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3557097$1EE04C4C-A741-4D49-901E-22ED86C5DF72","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3557097","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3557097"}}}}}