{"entities":{"Q1077931":{"pageid":1088683,"ns":120,"title":"Item:Q1077931","lastrevid":66828345,"modified":"2026-04-12T13:08:07Z","type":"item","id":"Q1077931","labels":{"en":{"language":"en","value":"The undecidability of the unification and matching problem for canonical theories"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3958719"}},"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":"Q1077931$5854B29C-262C-4A45-97A4-0B729D2A78C8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"50c24bbabefe3d0f0f9ad377e4fe0c9061e23674","datavalue":{"value":{"text":"The undecidability of the unification and matching problem for canonical theories","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1077931$B6290AFF-5EFD-49BA-A88F-6A7AF10D77C6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"af75d5fd2f4a2062051cdad524b1a631b4b8ceec","datavalue":{"value":"0595.68031","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1077931$949D501F-F3AF-445D-8844-B92184E921E7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5daa2aa513c694a061c2dc0f6216e03e09665d74","datavalue":{"value":"10.1007/BF00264362","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1077931$37E05ACC-1446-4220-9852-EB2A45563354","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"bf95eb14a4ebf171fed78b9375bc92a218886427","datavalue":{"value":{"entity-type":"item","numeric-id":802878,"id":"Q802878"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1077931$692780B9-F5A9-47C7-BBA0-7D31418EF3A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d64bfbdd62224172c0dd77b653dc5558f40927f0","datavalue":{"value":{"entity-type":"item","numeric-id":918540,"id":"Q918540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1077931$F7047750-1524-437E-92D8-44679EA5AB3F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7d0f02e85530cd06ceb2c58a40dc9c2e0258e194","datavalue":{"value":{"entity-type":"item","numeric-id":161641,"id":"Q161641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1077931$4C404EC4-AC8A-4F65-8E77-79CF81225AEC","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":"Q1077931$BAD3A171-D8F2-413E-9737-B2F18C0923EF","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"8ebdbec55101e1dec930c0a6fbd7cbb4b6435b18","datavalue":{"value":"The problem whether there exists a unifying substitution for two terms is considered in the class of theories which can be embedded into canonical term rewriting systems. The problem is shown to be undecidable, even if we restrict the substitutions to matching ones. This implies that the class of admissible canonical theories is a proper subset of the class of canonical theories.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1077931$984E7D4B-7342-4909-994D-596A148E8EDE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1077931$3E8F9628-B771-4DBC-B2B3-6886471C68D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1077931$04D706DF-7389-4E54-BE62-2418FBD132AF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"39bca3de91770c4056a86e21aa0e41dd6fe2948d","datavalue":{"value":"3958719","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1077931$C96A8278-294E-466F-87F8-B61C55B543AB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"58acf4952d5f9adc27bc95a2037859c88d48f9a6","datavalue":{"value":"term rewriting systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1077931$D2F9F745-2D4F-4458-BE0E-7C6588D41A15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9adf4870007a56ad4e55325e2438b1134704b5e0","datavalue":{"value":"admissible canonical theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q1077931$51FEC128-9692-409F-A862-7845617BBDA4","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":"Q1077931$D2F643B8-A459-47D7-BDAA-328AF265A10C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"cd982a1046d951c23db37dd7141d1f90f88f03f0","datavalue":{"value":"https://doi.org/10.1007/bf00264362","type":"string"},"datatype":"url"},"type":"statement","id":"Q1077931$F80874B5-A1A7-4262-BF19-C4887B734911","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c58c654f21703428d45be1ef1ec7b832c1535f50","datavalue":{"value":"W2008100839","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1077931$D35984D3-5BE3-4E21-99B6-49CBBC617236","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a62f6241c37db4741bc8cd0f1bf56924d96172f8","datavalue":{"value":{"entity-type":"item","numeric-id":1098623,"id":"Q1098623"},"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":"Q1077931$1E1867E7-01A1-4B67-8886-C07C7824EA9A","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":"ebd2189f45e32aebc7e1676af81b4c2312ed8ed2","datavalue":{"value":{"amount":"+0.91814953","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":"Q1077931$EDB250A9-855A-401C-AA76-EC25403A6235","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":"ecbb3757d1dc75fd86d5535c770a9875ce8ad721","datavalue":{"value":{"amount":"+0.909467","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":"Q1077931$6243E7E4-81CB-4013-813B-B1856B76C293","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":"6327fbaf46336acb75998213ba6169cbd41b42a7","datavalue":{"value":{"amount":"+0.89160705","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":"Q1077931$1355A701-1ACA-4236-8061-C50928D2A1FA","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":"0937174032203af30ee0dd54c528979e6f5a50fc","datavalue":{"value":{"amount":"+0.89067817","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":"Q1077931$4B53780B-2529-4344-B3C3-A2DB60FCD437","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":"26aba76242e27e0c5cd6f64d5265926d657ddd1d","datavalue":{"value":{"amount":"+0.8793336","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":"Q1077931$97D7C04E-0EAD-4B48-9577-599843A8D5FA","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":"b790569c3b3a5526bb814fbb9a3bc468f98a3679","datavalue":{"value":{"amount":"+0.8790939","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":"Q1077931$0EBD1AD4-2DA0-476E-8B44-55C5CE8C064E","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":"6688c18f634f65a8925a5e7d0f198eb8416f6cc9","datavalue":{"value":{"amount":"+0.87839556","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":"Q1077931$5A2AE1F5-511A-48AE-9F29-CBABD7C64601","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"da2b6846de4fed4ad457da4792188d08e352b183","datavalue":{"value":{"entity-type":"item","numeric-id":671659,"id":"Q671659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"36803a2a894a2790d11905b09204efa3c1cc9d75","datavalue":{"value":{"amount":"+0.8772304","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":"Q1077931$83F3269D-0559-4333-9CCD-88452C2DEBDE","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":"759a6c362fa067743f2e4f25de5b270b4cc54649","datavalue":{"value":{"amount":"+0.8711468","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":"Q1077931$5DB342E4-E726-40CD-8AB3-9D7CA34E575E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The undecidability of the unification and matching problem for canonical theories","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_undecidability_of_the_unification_and_matching_problem_for_canonical_theories"}}}}}