{"entities":{"Q752684":{"pageid":754533,"ns":120,"title":"Item:Q752684","lastrevid":64111803,"modified":"2026-04-11T17:43:28Z","type":"item","id":"Q752684","labels":{"en":{"language":"en","value":"About systems of equations, X-separability, and left-invertibility in the \\(\\lambda\\)-calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4179329"}},"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":"Q752684$E64C88E1-1702-4701-BC33-D66610C27797","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bc8f4a2fc6f76136db07918c099a2cf0ecb09f76","datavalue":{"value":{"text":"About systems of equations, X-separability, and left-invertibility in the \\(\\lambda\\)-calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q752684$F6A7F864-5DC3-4EED-A4B9-2204DC438474","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b60208a8313a47b6b2816ec0b5d11f289980da06","datavalue":{"value":"0716.03003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q752684$9B4F60F8-6228-4BD2-BC7C-338F45628F95","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7c2b0dac5181c5bc0a67e1a13e46febf7afaff5c","datavalue":{"value":"10.1016/0890-5401(91)90057-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q752684$98B340AF-627E-4180-AF78-CCC9D59072F3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2a357fda3647bc7bd0bed1134727ddfa0047069d","datavalue":{"value":{"entity-type":"item","numeric-id":397406,"id":"Q397406"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q752684$A2D6AF86-79F2-4C1C-B696-E44BF0551D7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3348006dd4c039634399729cde3f47a728910fce","datavalue":{"value":{"entity-type":"item","numeric-id":6481522,"id":"Q6481522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q752684$B461F983-FAA7-403F-AD92-9CAE3E87EBEF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fa2d1ad91af9619c8dd37ab889fe279a84c4057e","datavalue":{"value":{"entity-type":"item","numeric-id":259032,"id":"Q259032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q752684$92D79C46-5898-4335-BB70-C7E14B2604EB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"391107ffc7a24346d69c573e292e4ff4587e3aaa","datavalue":{"value":{"time":"+1991-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q752684$2EAF13D8-9C0F-4E67-8D6B-55F8E131F995","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"5433abe58facc92648d3090a4fb5b9e8fed94a5f","datavalue":{"value":"A system S of equations in \\(\\lambda\\)-calculus is said to be solvable in the theory T iff there exists a suitable simultaneous substitution of the unknown that makes the equations of S theorems of T. For any finite system and within any semi-sensible T (e.g., \\(\\beta\\), \\(\\beta\\eta\\), \\(H^*)\\) a necessary condition for T-solvability is given. A class of systems for which this condition becomes also sufficient is shown. A typical result is the constructive characterization of T-solvability of systems having the shape \\(\\{xx=N_ 0\\), \\(xM_ 1=N_ 1\\),..., \\(xM_ n=N_ n\\}\\) where the \\(M_ i\\) are closed \\(\\lambda\\)-terms and the \\(N_ i\\) are x-free \\(\\beta\\eta\\)-normal forms.","type":"string"},"datatype":"string"},"type":"statement","id":"Q752684$5FBDB0D0-D8D3-42B3-8252-1217BBA697D8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q752684$EDBD9E28-A94F-47C9-A0D2-AD722BF77CB8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9e65a98fd77e24bbe0b4f7b152519bd46ab059a7","datavalue":{"value":"4179329","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q752684$19DAC9E4-933E-4D65-8B72-2C75CC1763F7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3955292ed5ac9be9080db7b011fe29f7992d4896","datavalue":{"value":"solvability of systems of equations in lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q752684$3E54B491-9B7E-4B44-A9B4-7B3A74EC6E98","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"cfea56292579072863c42a6e983fef653b45e536","datavalue":{"value":{"entity-type":"item","numeric-id":1391738,"id":"Q1391738"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q752684$9087C79A-5AB4-4AC8-8AEA-56E8F13ACB76","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":"Q752684$C3C5EC4A-0C1E-4913-ABF8-43543AA9FE79","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d0361f7156a3cc7991828796ee166f31a01d8c9c","datavalue":{"value":"https://doi.org/10.1016/0890-5401(91)90057-9","type":"string"},"datatype":"url"},"type":"statement","id":"Q752684$675DFA20-DE4F-4816-8413-30D3A5F13838","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2cb34b3f47f7ca15621bc9c23349e4131d48cad2","datavalue":{"value":"W2031304364","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q752684$144827D6-00EE-437F-B89F-B73F61F1FB4C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"98f21a4a0099d31e158836c7dcfba6aa43c852ab","datavalue":{"value":{"entity-type":"item","numeric-id":3342534,"id":"Q3342534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q752684$AAC846A8-6E7D-4173-A991-254945B6B089","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"43c7c5658ecd10d5bb7858b9d366315dedd456f1","datavalue":{"value":{"entity-type":"item","numeric-id":4068081,"id":"Q4068081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q752684$336E5292-8191-41D4-986E-BE095E118F0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"acb25dd7f01109043db25ec1276aefa0a257d9f3","datavalue":{"value":{"entity-type":"item","numeric-id":1257009,"id":"Q1257009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q752684$D63383E6-B103-4363-BAC7-0B1DB3AAC1E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"41abc01380146a8a62ea564a743f08ab2942f79f","datavalue":{"value":{"entity-type":"item","numeric-id":1145689,"id":"Q1145689"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q752684$7EBEC343-1C74-42E0-8C0F-3D642DD8F830","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c04c3e42677a4aef96ab10c2b48078e10e92cde9","datavalue":{"value":{"entity-type":"item","numeric-id":3815284,"id":"Q3815284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q752684$128C45C1-4A53-4341-9BD8-16DE25D215CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"abf8f59cc1b038d12c22ab3708ce592e8e055a5a","datavalue":{"value":{"entity-type":"item","numeric-id":4175261,"id":"Q4175261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q752684$A9A4621F-6F5A-4207-A8D8-F78E24F57C9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ae542aa49195da2f0564220c3e6d6c6c5762344","datavalue":{"value":{"entity-type":"item","numeric-id":769601,"id":"Q769601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q752684$32622DE3-9B17-42F2-86F2-524570342185","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91d200aa475432d92cf0a3f614d470d87c0e4c91","datavalue":{"value":{"entity-type":"item","numeric-id":1242896,"id":"Q1242896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q752684$F620F1DA-7D55-409B-AAE5-CDE857B5E767","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"92e12c7630e715c700404ed39275ba726d44bcce","datavalue":{"value":{"entity-type":"item","numeric-id":3674617,"id":"Q3674617"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q752684$3D9D127F-8DAF-4E96-A232-5D69AF9DEEDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e1427fe2cc4f762fdeff53d2b88ac222c2ec52d","datavalue":{"value":{"entity-type":"item","numeric-id":3776590,"id":"Q3776590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q752684$3D0EBFF7-ABE4-472E-961F-352F30A035F6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0556a8df04e94717a827b0b48acb533b060bb467","datavalue":{"value":{"entity-type":"item","numeric-id":4204131,"id":"Q4204131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"752ea4b900c38f7310d0826aa53a1bc814707cd8","datavalue":{"value":{"amount":"+0.8894627690315247","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":"Q752684$C1F9437E-E93C-4CBF-9F41-10521535BB72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b045d8cb724ea5c50169abaea653bb5975386127","datavalue":{"value":{"entity-type":"item","numeric-id":1350516,"id":"Q1350516"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a46700742f3ca45f965cffaf4aafafc6bef18c0b","datavalue":{"value":{"amount":"+0.8337074518203735","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":"Q752684$A83FF173-116F-414B-985B-5831453533BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3d940ba90f1f135502b439fef17c3b100c2329b3","datavalue":{"value":{"entity-type":"item","numeric-id":1350518,"id":"Q1350518"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"74bf2f99270cced0af558b96209587af4bef153d","datavalue":{"value":{"amount":"+0.8082382082939148","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":"Q752684$F7108C48-E31B-4AC6-9BAE-69B42EC7808A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5adc8eafa7a3bbe5a7460e3b0695f80c4969d9bf","datavalue":{"value":{"entity-type":"item","numeric-id":3978457,"id":"Q3978457"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3b4b73fdfe9dcf178f5a8973186e90dc7af292c7","datavalue":{"value":{"amount":"+0.7794344425201416","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":"Q752684$13C81711-18DE-4BE4-925F-16DDADF54D9A","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":"4540c4fa8f9e25407d09266a117cdb45740c6715","datavalue":{"value":{"amount":"+0.7415015697479248","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":"Q752684$218D3DC2-3B33-43AF-BC1E-E4A5D8B4DC7E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"About systems of equations, X-separability, and left-invertibility in the \\(\\lambda\\)-calculus","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/About_systems_of_equations,_X-separability,_and_left-invertibility_in_the_%5C(%5Clambda%5C)-calculus"}}}}}