{"entities":{"Q5236550":{"pageid":7266118,"ns":120,"title":"Item:Q5236550","lastrevid":58492377,"modified":"2026-04-05T11:11:14Z","type":"item","id":"Q5236550","labels":{"en":{"language":"en","value":"Inhabitation in simply typed lambda-calculus through a lambda-calculus for proof search"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7114851"}},"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":"Q5236550$D8CB153E-9748-4632-AD49-4CB4BAF44AA7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c418e0640f00e3236748d556ca455f3b3bd703ce","datavalue":{"value":{"text":"Inhabitation in simply typed lambda-calculus through a lambda-calculus for proof search","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5236550$19F89A49-BCD1-4B86-AFAB-ABBF4CA24E83","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"78d8a8ee85acb37edc78aa84f0b6578592808c1a","datavalue":{"value":"1456.03024","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5236550$79E0DCC4-B166-43C5-B656-BE69B69E531C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"89ad924a7374095281a7708e5754f5bef195bcd0","datavalue":{"value":"10.1017/S0960129518000099","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5236550$BFF8685D-9AC9-4E7B-B75B-4B4ED3373525","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"89260965fad54b888baf1a3ae5b1235a01539a4b","datavalue":{"value":{"entity-type":"item","numeric-id":631759,"id":"Q631759"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5236550$B640BEB8-2F89-45CE-BF1B-39BDFB0A3606","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0f31cf0ba649c82a71b5cbd30114eb63bfddbeed","datavalue":{"value":{"entity-type":"item","numeric-id":627203,"id":"Q627203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5236550$883AB9AE-A985-4F8A-A3A0-0B557AB23DEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e2bf00b2fa3a5538b0429f832c8bf0163860a958","datavalue":{"value":{"entity-type":"item","numeric-id":1275624,"id":"Q1275624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5236550$F181771C-E5E2-49C6-8D80-BD76D1D67BC0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a53527e88e2413966f3c8ce14c92b878c452756d","datavalue":{"value":{"entity-type":"item","numeric-id":2709784,"id":"Q2709784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5236550$65A12D73-D05E-4F5C-B3C7-9A6D46E622BC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"69528ab356cbcd2b53ea1b91a6f142ab0edc04fe","datavalue":{"value":{"time":"+2019-10-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5236550$FBD987C0-27A7-4EA7-84B3-C7E622A2B776","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5c1f1579bcec396eab17ec7a0ee253d606c9de1a","datavalue":{"value":"https://arxiv.org/abs/1604.02086","type":"string"},"datatype":"url"},"type":"statement","id":"Q5236550$EC5E22E6-C8FE-4862-8CB4-22781A7036D6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5236550$9C0F821A-0F3C-4272-BFF6-5B93EE31DB6A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fda4e4a2dc447f3e44dc1f3a3c6b3ea767c638a4","datavalue":{"value":"7114851","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5236550$C94A47E9-4222-4995-876B-F40B32611805","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":"Q5236550$692A3AB4-089C-4C14-A4E7-8C5EED49048A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e52cae6148e0f0c23df1633c224b5a6f19ea946","datavalue":{"value":{"entity-type":"item","numeric-id":2353633,"id":"Q2353633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5236550$23078ADA-FB94-4C07-965B-DF58BB0B3C76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"615671703c3ada63e3d401f1637044c0ae4bb38e","datavalue":{"value":{"entity-type":"item","numeric-id":4315299,"id":"Q4315299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5236550$F8BDBF23-A7F2-4C7B-8A7E-8BBB98B3DAD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e1a0744dec9ef7f798033ea055c0df4ae885ff5","datavalue":{"value":{"entity-type":"item","numeric-id":3077958,"id":"Q3077958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5236550$03C5F375-FAFE-4129-A9F1-3407A2CEE418","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d604d2bd9aeb800a9974a1a32f191487a06f67e1","datavalue":{"value":{"entity-type":"item","numeric-id":3007657,"id":"Q3007657"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5236550$8DF3E5DC-A26C-4D6C-B96A-E694BEE75D29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d5d83fb5c1896876351d51b19033684002cdbe8","datavalue":{"value":{"entity-type":"item","numeric-id":3025341,"id":"Q3025341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5236550$7CCAFA48-658B-4B9D-86C3-95E779467987","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"396079bf6c00688a3a618a05bc699938cbbf9c06","datavalue":{"value":{"entity-type":"item","numeric-id":3190172,"id":"Q3190172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5236550$A57FFB3B-1C7C-4886-909A-EF92DA672228","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"505eacab685ee7eca673b649524dec0e4712be7b","datavalue":{"value":{"entity-type":"item","numeric-id":1014285,"id":"Q1014285"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5236550$F8DB786F-3497-4685-ABFC-374D8B57EA33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd43ac4986854b99097e8636775d035d68a195f7","datavalue":{"value":{"entity-type":"item","numeric-id":5370899,"id":"Q5370899"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5236550$02C82727-36C3-4137-9E85-9E18602BAC12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a44eeccc3cbf301bdac3c6c0d51b8f1f05d57e15","datavalue":{"value":{"entity-type":"item","numeric-id":4992896,"id":"Q4992896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5236550$615DD895-F3AF-4E3A-8BCB-7836EE70F136","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd22f0cc6d347d0883b044bb9468db1ab7dd5a3b","datavalue":{"value":{"entity-type":"item","numeric-id":4346206,"id":"Q4346206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5236550$1F80A915-658B-4699-952E-D4887BE449C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1758902a66e2332f9d1d0268ecf38eeeb4d377f","datavalue":{"value":{"entity-type":"item","numeric-id":3862379,"id":"Q3862379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5236550$23362E1A-C5C8-46CC-835F-466B419F8C1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"afd561cdaaa1e209868cdf7103b4a9c2b22003d6","datavalue":{"value":{"entity-type":"item","numeric-id":1035706,"id":"Q1035706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5236550$51E74943-7C5A-48AF-B0F1-B46B7547F4B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d380a2f18f4b02ba06d230258197a946757b5301","datavalue":{"value":{"entity-type":"item","numeric-id":2891520,"id":"Q2891520"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5236550$8C07637D-3538-4A60-A084-13AE41DE63C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"28711599010bca9ffbebf4fe0012f8e3f98c05ed","datavalue":{"value":{"entity-type":"item","numeric-id":3999386,"id":"Q3999386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5236550$0D23B50F-2934-486E-82DC-47801FF01A86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bfb950b174b76cc99bead09bf993e1718e4ded7d","datavalue":{"value":{"entity-type":"item","numeric-id":5351954,"id":"Q5351954"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5236550$7BA259D6-B74B-4446-8257-C743A38B361E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae986ee19008aa7d1adfbf0f48061524c85116e2","datavalue":{"value":{"entity-type":"item","numeric-id":1917086,"id":"Q1917086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5236550$25FEDD7F-7F70-4E4C-90F1-B97118415507","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"753dfe7aa203a67c12bf4601e79383c21a075463","datavalue":{"value":{"entity-type":"item","numeric-id":5458807,"id":"Q5458807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5236550$753EE4E9-E323-49DB-A2E4-3B8218A92636","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8f5ab098a5972c5e76b866de916183e36f16a7f7","datavalue":{"value":"W2964018350","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5236550$1ED6D6B1-6FB5-41CF-9B1E-FA4645D22F94","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"8b92f0db4631bae4400c526db7c70540ea091187","datavalue":{"value":"Q129979679","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5236550$BC22232E-5BAC-4B58-811E-26012715EFDC","rank":"normal"}],"P1643":[{"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":"80458cb9580443249c70f3de2a862ddea3cb4dc3","datavalue":{"value":{"amount":"+0.9409454","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":"Q5236550$6E960139-AFDC-4BC0-A388-4ACB049C0929","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":"df6aff675fc34729b4bf02ecf46c5c1071619299","datavalue":{"value":{"amount":"+0.93602216","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":"Q5236550$70C61D58-CD4A-464B-8E10-6BED9E3D3116","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2c823de346a2b7d736753e957a1d38d0ebc577db","datavalue":{"value":{"entity-type":"item","numeric-id":2231698,"id":"Q2231698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8ff2d3b3e7f6cfb66b5d008cd0416b9b2424b780","datavalue":{"value":{"amount":"+0.8965262","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":"Q5236550$8DA54D7E-C8D2-4390-AEC3-EC9F6EA47069","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8c272fab39923236d7ca2c0f33e274cea9181ff6","datavalue":{"value":{"entity-type":"item","numeric-id":3138540,"id":"Q3138540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f4ecf1dd30471371870189bafa2e8c4f4801725f","datavalue":{"value":{"amount":"+0.8933635","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":"Q5236550$1862D7EB-699B-47B3-A9A9-B9D0719826AA","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":"7d696a2b5d6db08ad905451d7019b352dd590232","datavalue":{"value":{"amount":"+0.8875591","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":"Q5236550$FC0B720F-8540-4070-9F7B-0A9C5EA44EDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b5d85e4f94e218438e309349857cdaff3bd3959d","datavalue":{"value":{"entity-type":"item","numeric-id":4263831,"id":"Q4263831"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"03ca5336c6098e330157447d397ad2a47b68032d","datavalue":{"value":{"amount":"+0.88615113","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":"Q5236550$43E2AD8A-A44C-4313-B271-A2AC98B528EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e5253d63068f0492e8edf6f9c1394dd180fa6fd4","datavalue":{"value":{"entity-type":"item","numeric-id":5327450,"id":"Q5327450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f86f0fdd0ac581a13d03233d234bb38b0ba03c16","datavalue":{"value":{"amount":"+0.8858645","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":"Q5236550$F0A3225B-57AC-45CD-8F73-89E72ADADEBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"452b25f8262b4dc37f73326ee7da67099a47a43d","datavalue":{"value":{"entity-type":"item","numeric-id":4012884,"id":"Q4012884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"114a89a8cf5cc14ba1658dddb08fa2febd1d7ab8","datavalue":{"value":{"amount":"+0.8857261","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":"Q5236550$44419D9D-7128-4766-BD33-433D737384E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"42797fc209eaaddb74c3306a25952bf259efdce8","datavalue":{"value":{"entity-type":"item","numeric-id":1850959,"id":"Q1850959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"704528929640aaee1b6776a065de0e337ea9ddd9","datavalue":{"value":{"amount":"+0.8856363","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":"Q5236550$0B0C02F6-AC62-49C5-BBC9-99762A483F87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e5db6eb8672249f3e4ffa2e823d2ce14f8763746","datavalue":{"value":{"entity-type":"item","numeric-id":1575935,"id":"Q1575935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"98ed72a5a36743055b3b4c40a20f5e0f3e2b62e1","datavalue":{"value":{"amount":"+0.88207","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":"Q5236550$70925C78-1534-41B8-9F46-813826CA9797","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5236550","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5236550"}}}}}