{"entities":{"Q1098623":{"pageid":1109375,"ns":120,"title":"Item:Q1098623","lastrevid":66127113,"modified":"2026-04-12T07:43:49Z","type":"item","id":"Q1098623","labels":{"en":{"language":"en","value":"A note on a canonical theory with undecidable unification and matching problem"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4039277"}},"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":"Q1098623$559C37D6-7858-47C5-9DBC-604686B781BD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9a5a3b09122b0520d9308067ee8f0f0783a6f704","datavalue":{"value":{"text":"A note on a canonical theory with undecidable unification and matching problem","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1098623$0EBEAC72-C4B1-440C-9706-AC8A332216B3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a961b669a08b67e9a4a1fa7e9fcbfd466a6ae948","datavalue":{"value":"0637.68034","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1098623$A37585C3-12C1-46B0-B8FF-B44494CCA9D4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fd107aa93a97b40141bee147cfa77927dac78507","datavalue":{"value":"10.1007/BF00247435","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1098623$365851E4-6EE5-4CD2-81FD-516D830B3294","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cb983a75c53f5ef94897cdcc89934c85316ff78a","datavalue":{"value":{"entity-type":"item","numeric-id":371980,"id":"Q371980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1098623$EDA02974-B285-417C-9D48-2A7E12F5C0C9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b84cc8b5923f45dc86ae69f67f68bf56d7ecfce9","datavalue":{"value":{"entity-type":"item","numeric-id":174771,"id":"Q174771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1098623$F72A0D97-320F-40AE-8F17-2C692611FAC5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5ae48c61eed19d1e1e1f33f9255d5b329362d064","datavalue":{"value":{"time":"+1987-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":"Q1098623$4E883B1A-D4D9-4667-9B79-BB08AFF4E532","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"c0a7cadca975a5a6205639d74f5d937d4ac320ea","datavalue":{"value":"This research note gives a simple proof of the fact that the unification and matching problem is undecidable in the class of equational theories that can be embedded into a canonical term rewriting system.    We present a canonical term rewriting system for integer arithmetic and show that the unification and matching problem in the corresponding equational theory is equivalent to Hilbert's tenth problem which is well known to be undecidable.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1098623$96931C6E-135D-4F1B-BAE5-C97198B31E64","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1098623$B1901B56-5734-4F16-B31C-F35764D8BA42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1098623$55439048-57B6-41D4-8497-45E274DCC2FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a27f9f06d965be24ec50f61065e06d2029a566a7","datavalue":{"value":"03D35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1098623$13248F92-E519-4E97-A37B-FA2232E0FD31","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"966fc6e3b87baec6a49a5de4763d4002a998e518","datavalue":{"value":"4039277","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1098623$081D9F3B-8AD3-46C2-9DB4-603388B7BA68","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a813fd0e4aef1fda5e8e7d4b77b02104337d96e6","datavalue":{"value":"undecidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1098623$08314CAE-A905-42F1-8AF9-2E2630D8DC6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c3922eb0b8235fb2b824bcb3eaa0c8d395dbd512","datavalue":{"value":"unification","type":"string"},"datatype":"string"},"type":"statement","id":"Q1098623$CDE0BEF2-4DB8-4F6C-8DB3-4AA78D259823","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bcc771f9c4cbb132a4fb9368403bb895cba44b70","datavalue":{"value":"matching","type":"string"},"datatype":"string"},"type":"statement","id":"Q1098623$64C65F73-81ED-4247-AB4E-3CB6B94A17EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8ac708066b077a4cbf2f59c943781969d75d6d03","datavalue":{"value":"equational theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q1098623$39191223-A49B-4CD6-803F-CAE8F30B9563","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"29b59546d849fda1ee4aa8930353d81ac9394306","datavalue":{"value":"canonical term rewriting system","type":"string"},"datatype":"string"},"type":"statement","id":"Q1098623$B5A6BE6A-169F-473C-AA76-A5CA6648D1F2","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":"Q1098623$0961132D-DFA3-44AF-8734-10A58069CC76","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d2740d500bb047d1ba331e65c2287c092703eb64","datavalue":{"value":"https://doi.org/10.1007/bf00247435","type":"string"},"datatype":"url"},"type":"statement","id":"Q1098623$C1E073D1-AACE-46F4-837B-BBAEC365E3CD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"00041c38c9e6a93d8ad142cae5f67d68b931e88a","datavalue":{"value":"W1993563396","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1098623$6355ACA4-FE1E-4CAC-A60C-0A5F135E31A9","rank":"normal"}],"P1643":[{"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":"2efc1c30028568548b7802d6ed716933b9d6774e","datavalue":{"value":{"amount":"+0.9693712","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":"Q1098623$BBCFEF2F-54F6-4478-AF3B-4BF0F557F4E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f32d6b9d650b40bb4f5a90f869f721fb7569426d","datavalue":{"value":{"entity-type":"item","numeric-id":1825184,"id":"Q1825184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"02c8835f88f36ca1e36d88ea3a9a8fd9332a714d","datavalue":{"value":{"amount":"+0.88050175","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":"Q1098623$8E71EB8C-CAD4-4460-A1CB-E1BEC693883D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"79d87a6748a7d0eb77aaaa71becfaea221c5b5ef","datavalue":{"value":{"entity-type":"item","numeric-id":3478395,"id":"Q3478395"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"537d745389a17179a85360ba6c673458bb3e57e6","datavalue":{"value":{"amount":"+0.87932736","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":"Q1098623$306E00A9-A1EF-4135-9A49-D00694EB679E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f891d19f81da48f3edd8bc961fe56e79eb3c2723","datavalue":{"value":{"entity-type":"item","numeric-id":2563693,"id":"Q2563693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"adbebe2bd2486a8ad9c553d8f4ed1dff1241cb23","datavalue":{"value":{"amount":"+0.86673707","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":"Q1098623$FEC91A3E-2BB8-450C-8B3B-3DD2F069C3CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ba898bea6155fcee2418be216d03006af9eab268","datavalue":{"value":{"entity-type":"item","numeric-id":1825190,"id":"Q1825190"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a0be750499740ef49107f25dc89aff4c3346a011","datavalue":{"value":{"amount":"+0.8655968","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":"Q1098623$41E72447-5320-48CA-8814-5CDBDA04BD9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f05555a6148d4605be5593a25aa174e0c87a0e3a","datavalue":{"value":{"entity-type":"item","numeric-id":1094131,"id":"Q1094131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"08376f9284c81221bf02bd7813d0780d138e1bf7","datavalue":{"value":{"amount":"+0.86557126","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":"Q1098623$5C03286E-DBF5-40F3-AB78-0B1CFFFB4916","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5b636f4e8f1fa0aee790a7d6b8190c5680ec0a7d","datavalue":{"value":{"entity-type":"item","numeric-id":3779785,"id":"Q3779785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4c965212eaa48fd895943d8e92829ca3171f6e56","datavalue":{"value":{"amount":"+0.86504817","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":"Q1098623$9A331AAF-1AA6-4276-9AC4-D78DFCCB589A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"345a23c3869bfafb8eed5d17b432ae196016e837","datavalue":{"value":{"entity-type":"item","numeric-id":1207950,"id":"Q1207950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"013b988095969fdf47aa1299af448bdae6da95ca","datavalue":{"value":{"amount":"+0.8609945","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":"Q1098623$643EF9B3-B8D7-4681-B821-DB2C6BC01F15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5e615eb6edee083ce5481080ffa3237893c7ceb6","datavalue":{"value":{"entity-type":"item","numeric-id":1280985,"id":"Q1280985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"53e8dd16fdf4c8d9edf9e9b3582de40fb1e5b5f4","datavalue":{"value":{"amount":"+0.8549553","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":"Q1098623$074E646B-9F81-4D07-8FA0-F400016F403D","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":"b7cea509a3e2dfa8c2edc753967622ef0656d471","datavalue":{"value":{"amount":"+0.8510143","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":"Q1098623$AF3AF638-ED48-4B84-BB47-135FB7E1C730","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A note on a canonical theory with undecidable unification and matching problem","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_note_on_a_canonical_theory_with_undecidable_unification_and_matching_problem"}}}}}