{"entities":{"Q2277244":{"pageid":2287987,"ns":120,"title":"Item:Q2277244","lastrevid":49483033,"modified":"2026-01-07T06:09:05Z","type":"item","id":"Q2277244","labels":{"en":{"language":"en","value":"The undecidability of the second order predicate unification problem"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4195901"}},"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":"Q2277244$45FC4031-EFD8-4001-8C93-CD01CD5A02EA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a7e8df2cab833df3d337d0c06b46a8baff6905e1","datavalue":{"value":{"text":"The undecidability of the second order predicate unification problem","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2277244$45E8208C-249D-47E6-B477-297768A1E58B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3f9677147ca3bd213defad5385b47176bb0e1eef","datavalue":{"value":"0725.03002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2277244$F2D31DC2-9CBF-4B37-99D7-1E277375E933","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fa3a9bb9c37ca2e1261f3881ea7af35d2dee8dae","datavalue":{"value":"10.1007/BF01621471","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2277244$3CE144AB-E309-4156-AED5-F2E6D9BAD9B9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4de988615c328752c12771f7daa250c04b188dc5","datavalue":{"value":{"entity-type":"item","numeric-id":2277243,"id":"Q2277243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2277244$CC40C426-F1B3-4B42-93FD-C95B98129141","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a0a7cd28a9f85b9c6ad57bd5bb1ae477bfe37846","datavalue":{"value":{"entity-type":"item","numeric-id":114337,"id":"Q114337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2277244$BC4273D4-C0FA-430E-AC2F-D3F0575482A4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"70d2fbf8bcd48a5ca1ac752985098b379d0dbb65","datavalue":{"value":{"time":"+1990-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":"Q2277244$E79039C4-2BF6-4677-9A25-C921F61EA24F","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"f404e0c38a83d43defb5f54724c3bf963e17595c","datavalue":{"value":"In diesem Artikel betrachtet der Verf. zwei Sprachen: \\(L_ t\\)- die Sprache von Termen, die Individuenvariable, einstellige Funktionenvariable und Konstanten enthalten -, und \\(L_ p\\)- die Sprache atomarer Formeln, die Individuenvariable, einstellige Pr\u00e4dikatvariable und Konstanten enthalten.    Das Unifikationsproblem ist das Problem, f\u00fcr eine endliche Menge von Termen bzw. Formeln \\(\\{<t_ i,u_ i>:\\) \\(1\\leq i\\leq n\\}\\) eine Substitution \\(\\sigma\\) zu finden, so da\u00df f\u00fcr jedes i, \\(\\sigma t_ i=\\sigma u_ i\\) gilt.    Es wird bewiesen, da\u00df es f\u00fcr jede solche Menge in \\(L_ t\\) eine Menge in \\(L_ p\\) gibt, deren Unifikationsm\u00f6glichkeit mit der von der ersten Menge gleichwertig ist. Weil das Unifikationsproblem in \\(L_ t\\) unentscheidbar ist, wenn die Sprache eine Funktionenkonstante mit Stellenzahl \\(\\geq 2\\) enth\u00e4lt, folgt aus dem bewiesenen Resultat, da\u00df das Unifikationsproblem f\u00fcr \\(L_ p\\) unter derselben Bedingung unentscheidbar ist.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2277244$92B998F5-02DF-4889-880D-DDB750F8B705","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2277244$BFFB3967-CA9B-4B31-B89F-F198F9B80B8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2277244$BCA861A8-CC77-45E4-96AA-64A6C0341499","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ce98f5ee5c82517550dd8a18406d57a8b612e18c","datavalue":{"value":"4195901","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2277244$6697751F-DE70-46F2-A2F0-6C90DDBE97FE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c3922eb0b8235fb2b824bcb3eaa0c8d395dbd512","datavalue":{"value":"unification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2277244$571081CE-B27C-4F41-9AA4-5D1EA6C1F118","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2277244$275EEE3F-DD24-406B-A2EC-8CBE95574D9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1dc42953b735c7726839912620ed94add7039ad9","datavalue":{"value":"one-place predicates","type":"string"},"datatype":"string"},"type":"statement","id":"Q2277244$31E84B4D-9D63-4445-8536-5D91BE0425C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e5e7deeef6a78b5c1fe056ee320a76dce764b20a","datavalue":{"value":"function variables","type":"string"},"datatype":"string"},"type":"statement","id":"Q2277244$71FCA8C4-EBFB-4401-8E87-152F50001B40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cfc1c912dbc1f534d35dfe4c7b828346e80b5fd8","datavalue":{"value":"reduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q2277244$DD6B1EB9-8FB8-4138-BA55-AFE17E9C1CDF","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"7b41e5f7ea0ddf008e18157715fbe05e096bdc98","datavalue":{"value":{"entity-type":"item","numeric-id":749524,"id":"Q749524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2277244$5574480F-B947-4CC0-917C-66429BB5B880","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":"Q2277244$4E7C923C-F7F9-4199-BCF3-1BF79EE25E37","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6faeb4dcb0a1808d000c26dadfc2438cb19d85f2","datavalue":{"value":{"entity-type":"item","numeric-id":3697944,"id":"Q3697944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2277244$F4AFF0DC-B3D3-4516-891F-EA6560B5A953","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":"Q2277244$EE707E5A-3FB0-44D8-9303-8F040B9A8A0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"092348088466a9288a4b352c8d624aae9ff71ffb","datavalue":{"value":{"entity-type":"item","numeric-id":4159542,"id":"Q4159542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2277244$41EBF675-F06D-4B0A-9C13-550914396642","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":"Q2277244$88875C96-1C5A-4EC7-95F0-000CD337BAF2","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":"1ffaadc6c9919f7e4482090aed67788e60bd8205","datavalue":{"value":{"amount":"+0.8434589505195618","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":"Q2277244$A4FE01E0-1C99-4CC4-8DB9-5052A5F72EDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5fdb8073091664946083763324b0df1304a6fd6c","datavalue":{"value":{"entity-type":"item","numeric-id":807609,"id":"Q807609"},"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":"Q2277244$3E976A14-3413-4FE1-A614-D33ACC43C676","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":"555ac41de9eace9eb25f76b3d6793b9aad9cf132","datavalue":{"value":{"amount":"+0.8013001680374146","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":"Q2277244$F06287E3-5F7D-448F-B2F4-204AF1530E67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a4c9cefb47efbb70d91db974839f9e5b97d14f9f","datavalue":{"value":{"entity-type":"item","numeric-id":1077931,"id":"Q1077931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3a9595ac776a42bd0e103dd3233cd9486d634e36","datavalue":{"value":{"amount":"+0.8007197380065918","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":"Q2277244$8835DDA6-C064-4E08-ACA1-D5495440B07C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7d7461aedad43fc189edc0c1952fcf4a60d1569a","datavalue":{"value":{"entity-type":"item","numeric-id":5210802,"id":"Q5210802"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e544d15e07ecab2045c01b0c4b9bd7696af7d85b","datavalue":{"value":{"amount":"+0.777633547782898","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":"Q2277244$09EA4AD1-DF67-4E9C-9674-0E2AB3A440E9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2277244","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2277244"}}}}}