{"entities":{"Q922713":{"pageid":924561,"ns":120,"title":"Item:Q922713","lastrevid":65405298,"modified":"2026-04-12T02:22:48Z","type":"item","id":"Q922713","labels":{"en":{"language":"en","value":"Overlap closures do not suffice for termination of general term rewriting systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4170112"}},"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":"Q922713$77716616-B200-47EA-97F5-DE4C612940F2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"35493692cb29ef7cc084930b73992e88a6ee3cac","datavalue":{"value":{"text":"Overlap closures do not suffice for termination of general term rewriting systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q922713$37E99B6E-317B-41A2-9994-A1DAC68F05E5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"10883f915a9b5a89e18cae7143fa8fbc43960f57","datavalue":{"value":"0711.68067","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q922713$69916383-6B05-444B-82F7-82038FD258EE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3c9a6ef7ed6c7d088425a714828f94fb2a770ac3","datavalue":{"value":"10.1016/0020-0190(91)90243-B","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q922713$BDE2B4C0-6A0B-41CA-8900-466462A85980","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3f9d23d81c1bfdd3be8e1880f1f6aab38fc79adb","datavalue":{"value":{"entity-type":"item","numeric-id":922712,"id":"Q922712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q922713$63F1281D-7A21-4EE8-AF7D-8F14C8269544","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"52fa7d44b58d0511cb8993765bd916aef86052d8","datavalue":{"value":{"entity-type":"item","numeric-id":63092,"id":"Q63092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q922713$CC444810-0A74-46D0-9EB7-006548A64F20","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":"Q922713$7256C252-AFF8-4998-832C-BFF641179198","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q922713$BDFDCD42-589C-4B89-B6C1-56DDC39730E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"21699a423435669f291d1bd1ba3da28fa1465b3f","datavalue":{"value":"03D03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q922713$1CC331A2-1BB6-46B2-8637-7F22D1F7DDF0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4b09febb1afa1d2cf894a972b73105c72f7d8beb","datavalue":{"value":"4170112","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q922713$5D47174D-DD22-4A33-825D-A9CA83F70F4B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bbe8c41fe8d2ca7331310962aa17e31f8465478f","datavalue":{"value":"term rewriting system","type":"string"},"datatype":"string"},"type":"statement","id":"Q922713$ED00CE1D-1C05-4AF6-9885-75D77F4C20CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0f531bf6bc6c52ac83115b34116175ad413f94b9","datavalue":{"value":"overlap closures","type":"string"},"datatype":"string"},"type":"statement","id":"Q922713$BDB1D70D-7FA9-4027-AECA-8B25D462989D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4befa4ca20f2beabcfa09e8a92ae13c21cb4934a","datavalue":{"value":"termination","type":"string"},"datatype":"string"},"type":"statement","id":"Q922713$68082672-68B8-42AA-8648-8244F41246EE","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":"Q922713$F6AFC580-50D3-46FC-9B6B-A3798DCE4607","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a5a19332cdd7c221673f31522d65352fc9bc422","datavalue":{"value":{"entity-type":"item","numeric-id":3917482,"id":"Q3917482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q922713$68370DDF-80A0-4C19-BE14-E7281F6AECD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6d3f5f0e6d39b0610560c479018fc71a2adcd20","datavalue":{"value":{"entity-type":"item","numeric-id":1098624,"id":"Q1098624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q922713$031EFEC8-97D8-49E4-87D7-28698A399C10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0020c7b0b68c4b1347d280d2677408412103dc8d","datavalue":{"value":{"entity-type":"item","numeric-id":1098625,"id":"Q1098625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q922713$47BA16B9-0FD6-4011-B815-44F0ED98129E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d9d1a825019987eb50d4a73ab4b5db6ef28ea3c","datavalue":{"value":{"entity-type":"item","numeric-id":3040518,"id":"Q3040518"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q922713$3546F089-B92E-4A09-A3F7-75882B3DE96F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe8c39dcf1cd87a28b508e3c9832adf61306c47c","datavalue":{"value":{"entity-type":"item","numeric-id":1108785,"id":"Q1108785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q922713$34A79224-A61A-40B1-B4CD-012D9042203A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"52993d82a0ab7d20a5a52eff1d3b454c784598a7","datavalue":{"value":{"entity-type":"item","numeric-id":1107975,"id":"Q1107975"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q922713$3150AFF6-C232-4893-AC4B-5CDBE6BC359D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7121f07416fb4ad7acc1c8f55fde6f8ae46de3f7","datavalue":{"value":{"entity-type":"item","numeric-id":1328180,"id":"Q1328180"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"36469f184bde911ce5e824313aca457685b0eccb","datavalue":{"value":{"amount":"+0.7960269451141357","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":"Q922713$27DA11D8-6AEF-441F-A8BD-81499EE08E4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8a27774b9897549967fd108552265fa090462b2f","datavalue":{"value":{"entity-type":"item","numeric-id":4846997,"id":"Q4846997"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9203ba294136d27bc7d40a1f5ca6ac3afee40120","datavalue":{"value":{"amount":"+0.7940319180488586","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":"Q922713$618B9232-B541-4E14-8D00-9BB8A56D5D84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9722bd7704edd49a7b67aecb295ea086ac06ff74","datavalue":{"value":{"entity-type":"item","numeric-id":1349693,"id":"Q1349693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ab2f447c26144469bf273f0192b23d4a5d10435b","datavalue":{"value":{"amount":"+0.7848624587059021","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":"Q922713$C95B59F1-5D68-41FD-A81B-39A9FCF3BE64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"217f54b6c3935910f43ccc6f844514028ca0e36c","datavalue":{"value":{"entity-type":"item","numeric-id":5703842,"id":"Q5703842"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"91d221690246bc76fee87dd50891440dbc29fef0","datavalue":{"value":{"amount":"+0.7844001650810242","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":"Q922713$5EB23AD4-537D-4ABD-89CB-3C3E3F545E33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2fd28e9f6f1b05e312aaa7661d4ac616e4f7d9a2","datavalue":{"value":{"entity-type":"item","numeric-id":673622,"id":"Q673622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1efdbeb8661b183c484677e42ce25e09e22544aa","datavalue":{"value":{"amount":"+0.778815746307373","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":"Q922713$2B7AA923-8AF6-4C05-B8A4-85A52CC99C48","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Overlap closures do not suffice for termination of general term rewriting systems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Overlap_closures_do_not_suffice_for_termination_of_general_term_rewriting_systems"}}}}}