{"entities":{"Q5739897":{"pageid":7769449,"ns":120,"title":"Item:Q5739897","lastrevid":58591728,"modified":"2026-04-05T21:57:38Z","type":"item","id":"Q5739897","labels":{"en":{"language":"en","value":"No solvable lambda-value term left behind"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6601115"}},"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":"Q5739897$76C335DA-2A0E-4D6F-8252-23952DB8C24D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1bbaad70b452803482de61b7bf99831d8e19085e","datavalue":{"value":{"text":"No solvable lambda-value term left behind","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5739897$26C045D5-A883-4499-8460-189CED36F6C3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"04a2ca42c3f8e947f52816663299bffc20cd1da5","datavalue":{"value":"1448.68209","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5739897$22E42561-31DC-45E8-91E8-228B1706A4B0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7dbc0a92985372ae58b0930c220a81341aa9ffaa","datavalue":{"value":"10.2168/LMCS-12(2:12)2016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5739897$98A9B737-280F-41CF-BA1D-9476B8CB97BB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"bf92b4e79c7eaa30ddc32c92911f5771e68e7e0e","datavalue":{"value":{"entity-type":"item","numeric-id":2889574,"id":"Q2889574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5739897$786DD3FE-88F6-4F9C-8458-6AC7CADFBE68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"eca54fe392e745d9898202aa45be4e90bc1ba592","datavalue":{"value":{"entity-type":"item","numeric-id":2324014,"id":"Q2324014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5739897$56BF4EE0-C02D-4A13-8CD0-FA90350CE0A2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"da58c52dc46c86e7440f2499c9e1bef3537c5562","datavalue":{"value":{"entity-type":"item","numeric-id":2786118,"id":"Q2786118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5739897$3D616CC6-B6AA-4F6D-BFCA-B24F7EFEBBEA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"aa0c76dadf16d518dc4d05a67d37c73c921d6123","datavalue":{"value":{"time":"+2016-07-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":"Q5739897$19E7EAEE-95A2-4BCC-8A9E-2DDA6F404CD9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c83800458e4ec11f7fa8605b89bb648ac41fdcb8","datavalue":{"value":"https://arxiv.org/abs/1604.08383","type":"string"},"datatype":"url"},"type":"statement","id":"Q5739897$92BDEB73-B5A9-4A60-9EC7-1F0EB4EB5D3B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5739897$1697537A-4A50-4662-A4C8-F6E9F5148856","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5739897$A6AD4F8D-D15D-4ADD-8DFB-1856597F1EC7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4b6d6a9510fa406862d04497507e293cc3d79ad9","datavalue":{"value":"6601115","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5739897$270B1460-E5C1-431F-97F7-BDB0770E1CB2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e416e805cf3d050e6302750e960945fa3e1f43af","datavalue":{"value":"lambda-value calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q5739897$4F1B7F53-C24D-4D28-A976-C3E970487729","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d08be6f7ad8da62ec6e1cfb385e8cc060cd14529","datavalue":{"value":"solvability","type":"string"},"datatype":"string"},"type":"statement","id":"Q5739897$ADB95A21-CF72-4A13-92A0-0E73CDF8CAF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d3ac1fcbd54de57334388a9ffa22fcc05ea2876c","datavalue":{"value":"operational relevance","type":"string"},"datatype":"string"},"type":"statement","id":"Q5739897$3517D29C-C7AB-4264-B8E8-B2D56D040734","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"06ae0917bc4b207cf78273997769425208dfd895","datavalue":{"value":"effective use","type":"string"},"datatype":"string"},"type":"statement","id":"Q5739897$886F0BDB-2EF8-4EC4-AE1E-37631EA8BCBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"69516a0736364716ba87b437ebdcaa95ec83ddc2","datavalue":{"value":"consistent lambda-theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q5739897$C27714F6-9B4F-44F8-9C12-479B5030D0E4","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":"Q5739897$EAF67E42-2CBB-40CE-8350-7B5F0E842FCE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"77f0bc4abac6e6eca87f55c58402d22b364bd43a","datavalue":{"value":"W2473749697","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5739897$9F3CDF73-4167-43C7-B37F-53D8B47B306B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"592660828abe383ed54e6cdce2f3554612c8ed18","datavalue":{"value":{"entity-type":"item","numeric-id":4884240,"id":"Q4884240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"606e5199b13c079bdb927a4dd5e677e7163dfcdf","datavalue":{"value":{"amount":"+0.79679716","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":"Q5739897$08DF258F-24B8-4415-8250-3553EE7860EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"01f8cffcc11af1de75e52a12977ff977c01d00b8","datavalue":{"value":{"entity-type":"item","numeric-id":2889181,"id":"Q2889181"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"657baec5ddd3ac8624ab796ca23928340ff0a29b","datavalue":{"value":{"amount":"+0.7670493","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":"Q5739897$8B662126-6A25-4C9C-8CC7-6C2CE39D3729","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a5618ea20cc1ebae074e6d153aa88c7b05400d5a","datavalue":{"value":{"entity-type":"item","numeric-id":4211939,"id":"Q4211939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c7e79f1ea411884d4cd91111dadc8568e3ccda01","datavalue":{"value":{"amount":"+0.75320286","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":"Q5739897$9BD59048-95ED-4C8A-BE14-30632C917CBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3539e86c314860ac117cec6d25423e75abf17963","datavalue":{"value":{"entity-type":"item","numeric-id":2973253,"id":"Q2973253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8c45d084dec0728838837a28bb3314f82652d4a9","datavalue":{"value":{"amount":"+0.74748707","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":"Q5739897$FF74056D-0370-48D3-A31A-15C680D204F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"157d02423c92ce9243a3dbd4e00a4572e2c58bb7","datavalue":{"value":{"entity-type":"item","numeric-id":3714754,"id":"Q3714754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"27ea36a26c501d4ada5987af1066f98cbff8d056","datavalue":{"value":{"amount":"+0.7469071","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":"Q5739897$58CCC36C-B257-4FEA-A2C9-2011E46CE122","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1d3b49f42d3457d295154718a9f613c4b34e863a","datavalue":{"value":{"entity-type":"item","numeric-id":3675751,"id":"Q3675751"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d8b887b0ebed4db5f32f6b998dfb735f6a66ea9e","datavalue":{"value":{"amount":"+0.746907","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":"Q5739897$E6462E0D-2AC8-466D-8027-AF3E79AB6431","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"68ed9176404c7635b9b8cea747995f2aaf059201","datavalue":{"value":{"entity-type":"item","numeric-id":1420831,"id":"Q1420831"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cbc65962ee02fa12061971be162b05d4704dbb4b","datavalue":{"value":{"amount":"+0.7440009","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":"Q5739897$CAEF04ED-559B-4EED-95EA-56C8186B458F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"825dad58807155219556cbafdb1e037cecb12e15","datavalue":{"value":{"entity-type":"item","numeric-id":3702504,"id":"Q3702504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d4b024d2c21d8d473f21388ec8f4bfb957640c65","datavalue":{"value":{"amount":"+0.7423804","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":"Q5739897$30ED9552-5D70-45C2-9B25-9559D05E82F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ecee79a01492049c4bc5850f14f67d698ddf3d62","datavalue":{"value":{"entity-type":"item","numeric-id":1840817,"id":"Q1840817"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3bddf55995c236d8943ea0a61b5fc7c5996a74fa","datavalue":{"value":{"amount":"+0.7419688","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":"Q5739897$0B629668-81DE-441B-9576-F6008F0E9B49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3ba20905c47d1134e723dbee257b264e7e19afd3","datavalue":{"value":{"entity-type":"item","numeric-id":1645265,"id":"Q1645265"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"056a38a0483284ed07d8864de2684f9b688f76fd","datavalue":{"value":{"amount":"+0.73859555","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":"Q5739897$540F130E-4237-45BB-872F-29B82CC20AF3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5739897","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5739897"}}}}}