{"entities":{"Q5405040":{"pageid":7434614,"ns":120,"title":"Item:Q5405040","lastrevid":75663934,"modified":"2026-04-20T13:24:09Z","type":"item","id":"Q5405040","labels":{"en":{"language":"en","value":"On the computability of relations on \\(\\lambda \\)-terms and Rice's theorem -- the case of the expansion problem for explicit substitutions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6276008"}},"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":"Q5405040$CF9313BD-D293-499E-B19B-E229A398B3B2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c3918f0dcc36838035bd379163e60abde0ff1090","datavalue":{"value":{"text":"On the Computability of Relations on \u03bb-Terms and Rice\u2019s Theorem - The Case of the Expansion Problem for Explicit Substitutions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5405040$4635A8CC-8B01-4130-8A66-2B4A82AFB197","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9dfdcb5ae00c44c858e4148f362fc3f224d3d590","datavalue":{"value":"1406.03040","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5405040$B052AD7C-5A8C-4276-AE69-A5F1163E100C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8c1776c8c5e4e6e5ed7d83a7938b8e7992cb286f","datavalue":{"value":"10.1007/978-3-642-54423-1_18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5405040$61ADA758-F494-4613-9A9F-042D4698B586","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"523eb1c9f92e29e52a82edbd2df5947e22806cd3","datavalue":{"value":{"entity-type":"item","numeric-id":281153,"id":"Q281153"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5405040$4444C4C7-FCA8-46E6-9999-4F3566B4D67D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fb39c66b74dd471ce57c28215b275dfb915aaaa4","datavalue":{"value":{"entity-type":"item","numeric-id":529653,"id":"Q529653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5405040$3430E9A9-5714-4208-B6CA-0A0A0E8DE29E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"00d9a1e7fb6ba7e10b2e6daf871f6619ce454c63","datavalue":{"value":{"entity-type":"item","numeric-id":5405022,"id":"Q5405022"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5405040$845564CF-5254-4F9C-BE6B-C5083205D3DC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e689efeed0c46be7915f5b012baebda52ae8ac8e","datavalue":{"value":{"time":"+2014-03-31T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5405040$A87E86C6-8BFA-420F-A81A-F0733AD91BD2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5405040$E1C43D2E-1E70-4C93-8E2C-09DE75DE9F24","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e0e46f57604ce035266dfb01f60fa86e5b24032e","datavalue":{"value":"6276008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5405040$4AC23DC0-8CE7-47C6-87D8-13B0076A706A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48eea116bddf8a4aa136f21923c9bdf061e63c53","datavalue":{"value":"explicit substitution","type":"string"},"datatype":"string"},"type":"statement","id":"Q5405040$A942DE8D-F53E-4758-8451-DDD8E2E55A47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"96125518bbd73c679654439d2a0c9178b4d2695c","datavalue":{"value":"\\(\\lambda\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q5405040$307EA1FE-69FF-4B28-9528-25CBB9470C38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4d74016b3171ed5f255980a6a82049735c83eeee","datavalue":{"value":"Rice's theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q5405040$96125A1B-1E2E-441F-8272-823E0BF293ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eeebae77ea07e8c4bf5f54e457504e3e5535c155","datavalue":{"value":"Scott's theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q5405040$E074FD31-F8CE-4C0F-8C5F-AE4CD000C0A5","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"a5874c25372b0f4f5f91ed615867e11e9cdd30ff","datavalue":{"value":"Q58001392","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5405040$013A5B9F-EE3C-4602-8735-5AD2AD802A21","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":"Q5405040$D55B2B9F-C02C-4141-BF1A-67EE98A85F1B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5dd2756605e9a041cfc2ed6112d619590551409b","datavalue":{"value":"https://doi.org/10.1007/978-3-642-54423-1_18","type":"string"},"datatype":"url"},"type":"statement","id":"Q5405040$56F3BF49-744E-4274-9A4E-6D6AE431D927","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9b6ae2374cd8fb83675fa10d1ce79b64e1b02012","datavalue":{"value":"W216691121","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5405040$3608BE1B-D4DC-4187-8020-67806F76A5F3","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"bd80626c9feaca305e853f34a5627d130a7143ac","datavalue":{"value":"conf/latin/HaeuslerA14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5405040$B68AE0A5-A67B-4F52-A021-C026FB517209","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"adbe669894f98a9299bba8fbdc77ab412c6bb1e6","datavalue":{"value":{"entity-type":"item","numeric-id":3549313,"id":"Q3549313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9e25858cae7719862b3d832f1453b5cc33090f95","datavalue":{"value":{"amount":"+0.8567125797271729","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":"Q5405040$D78092B5-AC96-41FF-B451-1834410DDB03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5aaf29c179a999a4f06873cdeda74204a8c79ec9","datavalue":{"value":{"entity-type":"item","numeric-id":3653146,"id":"Q3653146"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1d55291102ad824a823a008d4f4b7750d865a92c","datavalue":{"value":{"amount":"+0.766634464263916","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":"Q5405040$D575C417-EEEC-4887-B8F4-528E53BD4582","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4c2a415488d66ffe9ba3c5b4d7f76d539e00af2c","datavalue":{"value":{"entity-type":"item","numeric-id":5748888,"id":"Q5748888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2b41ead9271d50dbd031055f18bffc137f2b3b96","datavalue":{"value":{"amount":"+0.7557625770568848","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":"Q5405040$7438C299-E5CF-41ED-BCD8-449488770D5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"326608c52a7f9ddd7af16aef468eb4ea6c3e7685","datavalue":{"value":{"entity-type":"item","numeric-id":4916203,"id":"Q4916203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8337c1a4ccf55c15ec3b403785266e1785fb3f9d","datavalue":{"value":{"amount":"+0.7541496753692627","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":"Q5405040$85BC5FDC-F821-449E-B6F2-202A17F5F09C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"610063cb2d5d625d23d1434e89afaca2aaf608c4","datavalue":{"value":{"entity-type":"item","numeric-id":4939690,"id":"Q4939690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"50be3e51a1f0ad7a8f1c82f615d67696d6ede196","datavalue":{"value":{"amount":"+0.7530395984649658","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":"Q5405040$08F7B33C-5079-43B0-B62D-E81198F26FA6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On the computability of relations on \\(\\lambda \\)-terms and Rice's theorem -- the case of the expansion problem for explicit substitutions","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_the_computability_of_relations_on_%5C(%5Clambda_%5C)-terms_and_Rice%27s_theorem_--_the_case_of_the_expansion_problem_for_explicit_substitutions"}}}}}