{"entities":{"Q1850959":{"pageid":1861701,"ns":120,"title":"Item:Q1850959","lastrevid":70994016,"modified":"2026-04-13T18:46:05Z","type":"item","id":"Q1850959","labels":{"en":{"language":"en","value":"A formalised proof of the soundness and completeness of a simply typed lambda-calculus with explicit substitutions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1845373"}},"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":"Q1850959$317834A2-57DF-4B05-9660-2B1EED46C18D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5f199f122b003f28977227ab9eddf7475f6705a5","datavalue":{"value":{"text":"A formalised proof of the soundness and completeness of a simply typed lambda-calculus with explicit substitutions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1850959$B16A93EA-FC46-4AF6-96BA-1E67A6AECBA3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c1d0abbbe194e25c62f62162ba0609fb149c7fa3","datavalue":{"value":"1041.68016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1850959$BBB115CB-A779-4118-9A82-FAC2D1F33AA7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"73e6e732c82c1efe679c90d5655dd60b69578653","datavalue":{"value":"10.1023/A:1019964114625","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1850959$AAEA92CB-31EE-4DCB-9FFB-B16CB628709B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"37750207d9a7aeb205ff8c33cdf4809298219612","datavalue":{"value":{"entity-type":"item","numeric-id":1850958,"id":"Q1850958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1850959$74CF6685-DA63-4FD5-B225-745A052D5358","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"64a3a07e604cd8e480c16efc452d3568f025ae86","datavalue":{"value":{"entity-type":"item","numeric-id":162338,"id":"Q162338"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1850959$EF882421-119D-4D5E-A1A9-F464503C88CC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b32daaf1d1d23d14c238646cd1461a574f35b82a","datavalue":{"value":{"time":"+2002-12-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1850959$EE44F61C-3EC3-4FFC-AB5D-F15E9216FCB3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1850959$EF664A86-E100-49F0-955F-7C3999E326D4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"829c0b9d002a1e4943cfd7e5f189f99b535dda43","datavalue":{"value":"1845373","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1850959$3B108647-C756-4E6C-8B60-71C338C1826E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f02f4db7bd17ba3fbae1be6bcee13dc9e5aa86bc","datavalue":{"value":"formal methods","type":"string"},"datatype":"string"},"type":"statement","id":"Q1850959$C25CB67F-FBD5-45FC-BA49-E7994D0C3F73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ea0e35eece84bed33461e424b92d07e45bd0c24","datavalue":{"value":"type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1850959$FA2E62A5-0674-4637-B007-56183803D615","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"466c42c02ddf75f7f67e6990514dda7f81e85cd7","datavalue":{"value":"explicit substitutions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1850959$641FDAE3-7547-49B6-AC23-A089D17AAC37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"00134f94fae617052450fe78ce4e8e7c792fddd5","datavalue":{"value":"normalisation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1850959$5AFEBBAC-F325-47A9-8BC3-A20630580693","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"05e19126d9e9907924a4600d0a5598afdc2c5f70","datavalue":{"value":{"entity-type":"item","numeric-id":20609,"id":"Q20609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1850959$047906BF-6AC3-4273-BF96-E6FCF35ED3F0","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":"Q1850959$91342726-740E-4233-81EB-4B17C6093A81","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9c593efd14d0ae4e98f48163854732e8dab5d4b6","datavalue":{"value":"https://doi.org/10.1023/a:1019964114625","type":"string"},"datatype":"url"},"type":"statement","id":"Q1850959$A8C82DCB-573E-45BD-B803-6281FDDAD6EA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"49356ebd3dcb9605220426ccdb908f5dc1051de3","datavalue":{"value":"W1566183855","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1850959$E90B8F4B-97F3-45A5-A395-1C9DA2E19BB4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b361ca1aa5526764549f3d95137afb2aca29dcf6","datavalue":{"value":{"entity-type":"item","numeric-id":6061881,"id":"Q6061881"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0734425b827e60401629423d3037dbaa67896297","datavalue":{"value":{"amount":"+0.9167073","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":"Q1850959$BE1109BB-E3AD-4CC9-9012-452D1F205AD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0897f2bfb12099cb1bbec7eb650bd13e6d20c35e","datavalue":{"value":{"entity-type":"item","numeric-id":732057,"id":"Q732057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"392b9e0ae57427c0991cdea608da0feb53686610","datavalue":{"value":{"amount":"+0.91305214","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":"Q1850959$6A0CF6B6-7B1F-4938-9C7B-6356A6284147","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"84552983a22f6f68b1aaacfe13c4e7ca7480ba50","datavalue":{"value":{"entity-type":"item","numeric-id":530864,"id":"Q530864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6043ed436a4f4c5245bad302cd45251c4387439b","datavalue":{"value":{"amount":"+0.9088497","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":"Q1850959$9392E322-58F9-4BB8-82D0-CA02F83B2ED3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1e32f7a0c56fbd935f12d906c40b6b3cb7d6fbd2","datavalue":{"value":{"entity-type":"item","numeric-id":4323124,"id":"Q4323124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3bef6c2311ebd3f14dbab67a441fc7172691585f","datavalue":{"value":{"amount":"+0.90656525","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":"Q1850959$DC0E86BA-4938-4D57-9E03-5EAA787C6F43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ae33ec0cec722ae39db812bfd7fd70874e418f99","datavalue":{"value":{"entity-type":"item","numeric-id":2713357,"id":"Q2713357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fc4d10f7cf6be9be7b64231dcd0b1bddc0e8753a","datavalue":{"value":{"amount":"+0.9046934","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":"Q1850959$112286B4-7A3F-4A1B-9D7E-581EC23AB4E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fa694853817545dee15f2096bd9dffe286d84e1f","datavalue":{"value":{"entity-type":"item","numeric-id":672060,"id":"Q672060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ba0f82ab63d2d8ada064d11e057e369c3ecd6d41","datavalue":{"value":{"amount":"+0.9019482","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":"Q1850959$1DDB33F7-4E58-4AA1-AD32-B83A6892A054","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7d48502666b5a445a0d014ddbd94b0a459ed4fc4","datavalue":{"value":{"entity-type":"item","numeric-id":1208735,"id":"Q1208735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b993a7d1ef9d4654e9f10c1c90c9efdd19a0ba4b","datavalue":{"value":{"amount":"+0.8993265","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":"Q1850959$D95BF289-354E-4C57-A690-74B1B1E0B2D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cdb04cffa79c10b94b46f43c3aaf14e7c6a69a84","datavalue":{"value":{"entity-type":"item","numeric-id":3024853,"id":"Q3024853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"49d11b7f977ed9a2be3a7cd2d7780beeec7d3c80","datavalue":{"value":{"amount":"+0.89489317","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":"Q1850959$46011646-913F-47DF-94DA-C7B2A3CC5D71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"69b619d7a02452061cd1444c6772f5ce919c3e9d","datavalue":{"value":{"entity-type":"item","numeric-id":3024846,"id":"Q3024846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fc0962b6ab45064b29c830961728baf47b0f8de7","datavalue":{"value":{"amount":"+0.8943095","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":"Q1850959$2E29DC89-8D8F-4B41-872F-38C8AB0AFEAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"84d370cb7a5808a18e52a6a7ca186bdf3791cc9b","datavalue":{"value":{"entity-type":"item","numeric-id":5367052,"id":"Q5367052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8519ff74923c8ca4ce3685c7ea49c3a18f39d8b0","datavalue":{"value":{"amount":"+0.8938621","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":"Q1850959$C96C6310-33FD-41CF-9665-C6D2EC84E962","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A formalised proof of the soundness and completeness of a simply typed lambda-calculus with explicit substitutions","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_formalised_proof_of_the_soundness_and_completeness_of_a_simply_typed_lambda-calculus_with_explicit_substitutions"}}}}}