{"entities":{"Q807609":{"pageid":809457,"ns":120,"title":"Item:Q807609","lastrevid":64484010,"modified":"2026-04-11T20:11:11Z","type":"item","id":"Q807609","labels":{"en":{"language":"en","value":"Simple second-order languages for which unification is undecidable"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4208048"}},"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":"Q807609$AE6806CA-37C2-45B4-9604-0D51DA4948A2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b056448585c9b088cb47e906ef54a065cd73dce8","datavalue":{"value":{"text":"Simple second-order languages for which unification is undecidable","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q807609$58DDD1DE-CAE7-4BEA-BD48-5E4CBB4FBD1A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"674c50913350006bdc6c5bf07d5389122ca3df2f","datavalue":{"value":"0731.03005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q807609$FEF78CF4-0F8F-433F-BB9A-F220C398CBB5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"92d072c128f47b8b714e023f8a661dc7fd651f6d","datavalue":{"value":"10.1016/S0304-3975(06)80003-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q807609$D5FA20EE-FACF-4AB4-AB09-B7CCD60D650C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"596956d13d65318c3063740527340bc624646ab6","datavalue":{"value":{"entity-type":"item","numeric-id":174773,"id":"Q174773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q807609$AB6A75AF-E194-4C8D-9F91-724C27DC09E0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q807609$F2718569-7601-4B70-B35E-8767D5B96A9F","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":"Q807609$EC572380-B610-4B40-8851-FA851E382318","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"3048df503a183799a5f3b72b7e8b4dc370b5c5ab","datavalue":{"value":"Second-order substitutions are applied to terms constructed from individual and function constants and variables. Such a substitution \\(\\sigma\\) assigns terms to individual variables and \\(\\lambda\\)-expressions of the form \\(\\lambda x_ 1...\\lambda x_ n t\\) to n-place function variables. \\(\\sigma\\) unifies terms s, u if \\(s\\sigma\\) and \\(u\\sigma\\) are equal after \\(\\lambda\\)-conversion is performed. The author proved earlier [Ann. Pure Appl. Logic 39, No.2, 131-174 (1988; Zbl 0655.03004)] that the second-order unification problem is decidable when all function constants are monadic. Goldfarb proved that there is a language for which the second-order unification problem is undecidable. In the paper under review the author proves that for certain n this problem is undecidable for any language which has a nonmonadic constant and at least n function variables.","type":"string"},"datatype":"string"},"type":"statement","id":"Q807609$24E36495-2EA9-43ED-9FB0-AF44B570559A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q807609$0ABA5F6A-15CD-45A1-A320-C40CE234A676","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q807609$FD9F5722-8A14-493E-A855-2611921AF099","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q807609$07059757-DE8D-4F2F-AF0B-543DC671EFF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q807609$A141DC60-A078-49E5-83A5-FF8B5D82D0CD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b4b8abe737d3d79ea8baa63c41d5c26cc20615df","datavalue":{"value":"4208048","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q807609$4AED3DBF-7B7A-43BD-B400-69C27D213CE9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a813fd0e4aef1fda5e8e7d4b77b02104337d96e6","datavalue":{"value":"undecidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q807609$6D34510C-C011-4F57-A362-5E477DACE646","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"02c2e46beed5ba96220d06926ed1c2376b067793","datavalue":{"value":"second-order unification","type":"string"},"datatype":"string"},"type":"statement","id":"Q807609$39C993FD-C660-4A45-A9DE-942263A21B7A","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"8f432bccb81d11b6d0c5be5373ba82abf19c1967","datavalue":{"value":{"entity-type":"item","numeric-id":454365,"id":"Q454365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q807609$7AE8E03F-768C-4D94-B70D-8EB11FCAEF40","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":"Q807609$D79C7362-41EB-4B3E-8939-62107C0AFAB6","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c9f2843640e7eabb53dcf6b38d2e418915c6350","datavalue":{"value":{"entity-type":"item","numeric-id":3343471,"id":"Q3343471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q807609$328FA85E-0C57-4C59-8995-9AC93DC4165F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"175c1c6339231426570e05a46d3193da46e70701","datavalue":{"value":{"entity-type":"item","numeric-id":4401926,"id":"Q4401926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q807609$09C8D4C3-9E4F-4B55-AE54-EB5C0AAEBC28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c9b757d362e566e6bb8567869560a0af0408a0e3","datavalue":{"value":{"entity-type":"item","numeric-id":1109019,"id":"Q1109019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q807609$C613392F-A912-4C52-9624-4105975C2A64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84b9673b38489b259e94536cc8cb8767d5873dd9","datavalue":{"value":{"entity-type":"item","numeric-id":1814133,"id":"Q1814133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q807609$875EF7B9-5011-4578-8288-833E0C8F971D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7021c91f6a866e16b579f74b23aa54446a0c8938","datavalue":{"value":{"entity-type":"item","numeric-id":1150586,"id":"Q1150586"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q807609$D350928C-B820-4192-B84B-0215C8E35B78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b46bb376c314f83419411954235d6e359ad5cbf4","datavalue":{"value":{"entity-type":"item","numeric-id":5672888,"id":"Q5672888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q807609$C969A162-7E74-4943-9169-A6015E4F76D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"599c5dbf52817fbbe5f2f15e33a96dc6ac97514e","datavalue":{"value":{"entity-type":"item","numeric-id":3908463,"id":"Q3908463"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q807609$0BE3BB2D-B458-48E4-9965-30B52FE22C2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9d0de0ba52048b2594da38e4815945e3a42363a","datavalue":{"value":{"entity-type":"item","numeric-id":1251063,"id":"Q1251063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q807609$5E69A26E-00A5-4A71-A3BF-366B46240CB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"065ea4604210f6f33929664cd3c1938f56d2a34a","datavalue":{"value":{"entity-type":"item","numeric-id":4179180,"id":"Q4179180"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q807609$04A15D03-3EE1-4008-88C0-1CE17CE0F815","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c9465d6417bb77bd19e652eaf6c381784d12e8b","datavalue":{"value":{"entity-type":"item","numeric-id":3936229,"id":"Q3936229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q807609$7E576F86-667F-4672-9E73-33411EF48CA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4413667b942f6f696a49dd6b29a6b1aae331dd9f","datavalue":{"value":{"entity-type":"item","numeric-id":3751042,"id":"Q3751042"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q807609$3654B781-629B-4BA5-9603-A9316A804369","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f70c7f0070211df81086d4c25b73a9ca61d45c1","datavalue":{"value":{"entity-type":"item","numeric-id":5686023,"id":"Q5686023"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q807609$28854241-F632-479D-A2D5-CFD5DF87BB42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d9887b9b79e33b21dbc3558d55c26558304b5187","datavalue":{"value":{"entity-type":"item","numeric-id":1243575,"id":"Q1243575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q807609$8E077BA7-9248-4A68-806D-669347F50075","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ab8d7dcc337f0f7083d889ef5fbd195dbcbfcdc2","datavalue":{"value":{"entity-type":"item","numeric-id":4720797,"id":"Q4720797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q807609$05035FB3-3B87-4C4F-935A-C687DCEEC78B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f62ebef9379ad97d2bdc3c2e7f5717f221d056cb","datavalue":{"value":{"entity-type":"item","numeric-id":5514129,"id":"Q5514129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q807609$555531B3-1C06-4DD1-AFE9-59B8442980FA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"76521ef0b9a9547a8f59938bbd29b120175a7950","datavalue":{"value":{"entity-type":"item","numeric-id":1150586,"id":"Q1150586"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3fdbd04182c0f3992f7f469a12635c9cf559b303","datavalue":{"value":{"amount":"+0.8530778884887695","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":"Q807609$9BB3573D-F044-46E7-9186-C630786CE546","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"08600648451cbff75dccd1f590a9db05d1a31563","datavalue":{"value":{"entity-type":"item","numeric-id":1854349,"id":"Q1854349"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"42414f851d38b3d9fa5f4e874752363535f8ba5f","datavalue":{"value":{"amount":"+0.8379913568496704","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":"Q807609$8C60F96F-AA59-4BE3-BF14-B9C3CFDBFF30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d1c1be456b23f2df1bfd9df54e80d62240ea2df","datavalue":{"value":{"entity-type":"item","numeric-id":1109019,"id":"Q1109019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"37a93a6530cd3d587c1769e39464f1cd524a3aea","datavalue":{"value":{"amount":"+0.8367068767547607","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":"Q807609$070A5675-D80C-4066-92D1-39C59A6B96C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3f007a07ed807fcdb7e509c5c3ed234cefdf0ca4","datavalue":{"value":{"entity-type":"item","numeric-id":2277244,"id":"Q2277244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8ad55d5fad8ebf48b39aef0f3b65833e8c7fce0c","datavalue":{"value":{"amount":"+0.834437906742096","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":"Q807609$CB2AD495-928A-4A59-A16D-9657BAF1CF53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0435d9ddb93d857a8324bf0f10a26ee35d76875d","datavalue":{"value":{"entity-type":"item","numeric-id":843951,"id":"Q843951"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8625fbe1063031913eef2c4bece58a57810dce12","datavalue":{"value":{"amount":"+0.8109993934631348","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":"Q807609$C173B351-B463-43B0-84F4-0040C681CBD0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Simple second-order languages for which unification is undecidable","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Simple_second-order_languages_for_which_unification_is_undecidable"}}}}}