{"entities":{"Q1671157":{"pageid":1681898,"ns":120,"title":"Item:Q1671157","lastrevid":68227461,"modified":"2026-04-12T22:16:42Z","type":"item","id":"Q1671157","labels":{"en":{"language":"en","value":"On uniquely closable and uniquely typable skeletons of lambda terms"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6932834"}},"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":"Q1671157$FC9022F0-F0FF-4970-BC85-679609A3C823","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8de852b047a74ccc41c2b92b4826f2928e51e438","datavalue":{"value":{"text":"On uniquely closable and uniquely typable skeletons of lambda terms","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1671157$414EEFDC-73EA-4C50-A651-2A729AE06F82","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6caaa3c6b4dece1af7e7eb59abd5936be8f0f563","datavalue":{"value":"10.1007/978-3-319-94460-9_15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1671157$F086689D-3249-45B2-A4EF-FAD6ED6BB349","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ef3fdaaac0e110cbc4c911ad49e4f3b8502cfbd1","datavalue":{"value":{"entity-type":"item","numeric-id":391392,"id":"Q391392"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1671157$D76227F4-3219-4CB1-BF67-E6011742954D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ec49a6685e47abe38cbcbbcac2d3c6df36399c7e","datavalue":{"value":{"entity-type":"item","numeric-id":461477,"id":"Q461477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1671157$81262B7C-46AA-4DF2-AA6C-CBC25C183516","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"95251e74dfd058313c94d01023632403bcdd7ae4","datavalue":{"value":{"time":"+2018-09-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1671157$E9603A40-B1BF-49E9-8F3D-E4F904CDF4B7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"879e5aa8dafb151936af901a5ef9430363cd1ab9","datavalue":{"value":"https://arxiv.org/abs/1709.04302","type":"string"},"datatype":"url"},"type":"statement","id":"Q1671157$74BD0E87-418A-4722-AF0D-F1264396CD24","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1671157$1D7ED610-0EA4-4D81-956C-8BA478278C76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1671157$DBB27E78-958B-41CA-9AB0-D182B6644507","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1671157$EEA10D19-68D7-453F-8FC9-B200EF4EF58A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"07953185be8cb11106497d76777bef060ae6b71e","datavalue":{"value":"6932834","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1671157$3C542157-44BB-4AC4-8F25-75994310337B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9371cffc10def0beb68120dfefbdb755508a94af","datavalue":{"value":"efficient logic programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q1671157$FB842050-B25E-4EBF-905D-A5BA88465F00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91993be004af1453cf4fd79c07e1ba49b9211805","datavalue":{"value":"logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q1671157$2AAEFF15-F173-4503-9E75-2401AD3C58C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6ce17008ab87357604ac3f15db7ccdd0e641cf40","datavalue":{"value":"computational mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1671157$9F6A997D-C4C4-4E11-B36C-D938AC4CDFD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fbc7bcf47450e06b5e9da1b1689840c261fcd258","datavalue":{"value":"combinatorics of lambda terms","type":"string"},"datatype":"string"},"type":"statement","id":"Q1671157$959F49D2-1BED-4D64-BCA5-3DE27B3F25FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2b97edaf81065f3b066d82775835bd33acf40e20","datavalue":{"value":"inferring simple types","type":"string"},"datatype":"string"},"type":"statement","id":"Q1671157$F8FE670A-0EDE-4393-BDD8-10F2716C1C37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"64f9ca864a78ac616addd2cd510120e0ec43f137","datavalue":{"value":"uniquely closable lambda term skeletons","type":"string"},"datatype":"string"},"type":"statement","id":"Q1671157$A256FC68-6CBD-4882-A08D-A88680D15BC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"345b3081067932bd1fb21798af99d967af142081","datavalue":{"value":"uniquely typable lambda term skeletons","type":"string"},"datatype":"string"},"type":"statement","id":"Q1671157$D8355E8E-AE47-409B-AC97-1F3C8289B3EF","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":"Q1671157$F92157D1-0FE0-4F99-A42A-11FE08BD5784","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a93f1fda77de2ecdbb66c28fb2cd0a3a3018b666","datavalue":{"value":"W2962756481","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1671157$87C48DA0-2CDE-4542-A88B-2EAA6CAE1B86","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1e289fc416153162241f8a464a997cf38eeb87c6","datavalue":{"value":{"entity-type":"item","numeric-id":5398332,"id":"Q5398332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9a6ad8f5b9d8eb9f346cdc7f3890f1d35346b29f","datavalue":{"value":{"amount":"+0.759117066860199","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":"Q1671157$218A808E-E2C1-44B1-8B3F-E0A3D5C0A3FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"43ac80237683eb0b06ca0314c4e5d9c2c12662e7","datavalue":{"value":{"entity-type":"item","numeric-id":2409739,"id":"Q2409739"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9181db5a55eb9bc793f318f40e666200906dac39","datavalue":{"value":{"amount":"+0.7541075944900513","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":"Q1671157$B09A3AC3-1ED8-42BD-AA68-853857864908","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5801feb6c01293161e9f5886428d312de6f98ff9","datavalue":{"value":{"entity-type":"item","numeric-id":4555458,"id":"Q4555458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0491c60fef0d5bed01e689c29829bfda40fda57d","datavalue":{"value":{"amount":"+0.746826708316803","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":"Q1671157$E1058120-D0DF-4386-8769-FEF79138CB88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bff882f4f65980bc003c20f3358de6cd63413929","datavalue":{"value":{"entity-type":"item","numeric-id":4988930,"id":"Q4988930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8f9eec7c4ce49d7533aee771510126661d6e2c05","datavalue":{"value":{"amount":"+0.7269954681396484","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":"Q1671157$09EDB2A2-29BD-4330-A05D-347BD7661149","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cd9ff51abd5c98ea3674940b2983b4e672a93458","datavalue":{"value":{"entity-type":"item","numeric-id":4581460,"id":"Q4581460"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"67472e89fb73b1d71599a621dfb2d715792cbaab","datavalue":{"value":{"amount":"+0.7245190143585205","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":"Q1671157$5AE5BC2C-42D9-4C26-82EF-739E93929C50","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On uniquely closable and uniquely typable skeletons of lambda terms","badges":[]}}}}}