{"entities":{"Q2641108":{"pageid":2651851,"ns":120,"title":"Item:Q2641108","lastrevid":49467277,"modified":"2026-01-07T05:15:10Z","type":"item","id":"Q2641108","labels":{"en":{"language":"en","value":"Sufficient-completeness, ground-reducibility and their complexity"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4189192"}},"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":"Q2641108$DB6F1B15-F381-46C3-8A74-6F76CD55049B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5d0865f0a47a160fee7fa98cf8d84e6de451f121","datavalue":{"value":{"text":"Sufficient-completeness, ground-reducibility and their complexity","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2641108$103E0120-96E4-4494-9F9D-008F20F8BF59","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8c4b3b2fd4f0b9fa97400f832422e9b6693223bc","datavalue":{"value":"0721.68032","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2641108$46BD2BE2-BAD3-4872-95D9-E861047A9C98","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"96d93e2bd552ee9840c8ab701000d88320a5362d","datavalue":{"value":"10.1007/BF01893885","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2641108$F21CFCEF-39FD-4EE2-B40D-2BE7D90EC43C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7a60a38320311da18eda10821922742954865726","datavalue":{"value":{"entity-type":"item","numeric-id":394492,"id":"Q394492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2641108$E85C50DB-70A1-4DDC-9270-687180C6D9B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6587fdd31c2d2b6b0dfb7e31f546481ef32f5a93","datavalue":{"value":{"entity-type":"item","numeric-id":171405,"id":"Q171405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2641108$A68D51DC-08D2-45A5-8425-F40D81873C06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c132f21e8ff85d87643618fdfbf26f24121a6ba9","datavalue":{"value":{"entity-type":"item","numeric-id":549707,"id":"Q549707"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2641108$B2C15511-E4AB-4F6B-AA4F-8DE037A90BEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"19b168abea7db04055f6cf4c99009d9572497bb1","datavalue":{"value":{"entity-type":"item","numeric-id":1617008,"id":"Q1617008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2641108$28B386BB-6BC0-49E8-9714-3421C7A969D4","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":"Q2641108$80A6DB96-A22E-4E94-A543-0385215F467F","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":"Q2641108$61BF87A9-290A-47AC-B931-868232CCE936","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"21d31aa4c6bb06d4a889457c87156729e2496af4","datavalue":{"value":"The complexity of checking term rewriting systems for sufficient completeness is considered. Given an equational theory, its function symbols are supposed to be divided into two classes: constructors and non-constructors. Constructors are operations used to construct the values of a data type, and non-constructors are the remaining operations which are defined on ground terms. An equational theory is sufficiently complete iff for every ground term (term without any variables), there is an equivalent ground term built up using only constructors. A number of results about the complexity of this property is analyzed for different classes of term rewriting systems.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2641108$3BBC67BA-1FFE-4325-BDB6-74D53AD38C51","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2641108$75EFEC13-CF80-4C0F-9C4B-6CCF5C7D5775","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2641108$BB2B9BA8-EF86-45A3-BAB3-990E190B4F88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2641108$BAE2CF5B-18D3-4314-B21B-909B11B5260A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7656d1c841701431b0b3d99d23720089a267cbb","datavalue":{"value":"03D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2641108$DB0BA391-9C4F-4DBD-9D1F-F043FEF49BF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"21699a423435669f291d1bd1ba3da28fa1465b3f","datavalue":{"value":"03D03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2641108$AC60024E-0C9B-495B-988C-E0E1FBC21816","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"290bf0b24069d2b02cd23763e78e3e42cdd66a2d","datavalue":{"value":"4189192","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2641108$440EF128-B117-46B4-B051-E91E25AB11A9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e3783d443504b2a8cdbb384b1f68ee25d9972df1","datavalue":{"value":"inductive reducibility","type":"string"},"datatype":"string"},"type":"statement","id":"Q2641108$39845327-7704-4679-872E-0FCF2AB1575D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"20f77172978f8da45d11681f8288dd3fdf1a1985","datavalue":{"value":"sufficient completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q2641108$B96C4533-1FB4-4342-9CF1-23EA7E9451FA","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"1833d190eb6492ca84e0c93a6ff12de5694705d3","datavalue":{"value":{"entity-type":"item","numeric-id":1109753,"id":"Q1109753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2641108$12AD8AA1-2884-42FD-A950-B3CF6E8678EF","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":"Q2641108$8F741A7D-76B7-4400-9DD1-1BCC92CC6A78","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"39f8caa4d24218ecf63bb6d39ed1b79a4c2266ea","datavalue":{"value":{"entity-type":"item","numeric-id":3936184,"id":"Q3936184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2641108$D7BCAF41-4ACE-48C8-A50D-A2640F9310CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8124e2aa86067094dab23bb14b8dadf2e19d522b","datavalue":{"value":{"entity-type":"item","numeric-id":3894958,"id":"Q3894958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2641108$FF49EA9C-4F03-4DFD-9303-F8E1FE10B341","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dcf8150531dd139e92d199e5424737b99d920576","datavalue":{"value":{"entity-type":"item","numeric-id":3785921,"id":"Q3785921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2641108$B35EB967-7D11-45D4-982E-291D847DE458","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d9285a61f3039e7ce640456a9ea2b4d13665dc77","datavalue":{"value":{"entity-type":"item","numeric-id":5626625,"id":"Q5626625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2641108$F4D90143-3AC8-4146-BBEF-0B6E6A4EF7FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ec45a842bd7bf87466a82e7175870b8977fe49b","datavalue":{"value":{"entity-type":"item","numeric-id":3707361,"id":"Q3707361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2641108$970EBD90-72C4-45DE-A1F2-AB819B2C1ADA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"836ad2a04f82225da478ca9f694f5cd99360b315","datavalue":{"value":{"entity-type":"item","numeric-id":4198056,"id":"Q4198056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2641108$E21B05C3-971D-4F18-A5DE-DE95C3C8183C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3006b5dee5bcadfac4b9f65d6860d72f75e2f535","datavalue":{"value":{"entity-type":"item","numeric-id":3880309,"id":"Q3880309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2641108$1EC93233-5F91-40A0-BBE6-7E0FD8CAE9BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fdeb57f4e5d37efa40bca3185df7185c3f2accb6","datavalue":{"value":{"entity-type":"item","numeric-id":789177,"id":"Q789177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2641108$FA98437D-E36C-449D-B90E-B78C9B4D4ABE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce55b471b0181de7bbaf7892603f621b8854910d","datavalue":{"value":{"entity-type":"item","numeric-id":796301,"id":"Q796301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2641108$530042B7-B11F-4956-8B06-7BE40D206141","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b989303c3f01780ec3752ac791fe5233d16a37b4","datavalue":{"value":{"entity-type":"item","numeric-id":1094888,"id":"Q1094888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2641108$C4C7163D-2582-4C99-A2EC-74972114410C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2cfe00f727b087a386cc5c62c253e81e5e8c7c0","datavalue":{"value":{"entity-type":"item","numeric-id":3783519,"id":"Q3783519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2641108$B401059E-E160-4594-B576-8F02FE564EF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b13b7d31e58c7507203cbbccf857b418e8e5f66a","datavalue":{"value":{"entity-type":"item","numeric-id":1077161,"id":"Q1077161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2641108$27BB1C35-44A0-4B18-ADA0-7F4605C1C234","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4030c598d5cee8a66969bf2ea988c353309e2722","datavalue":{"value":{"entity-type":"item","numeric-id":3761697,"id":"Q3761697"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2641108$0C3C7380-7738-47B0-BD05-5A12F6E511F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a1e0b4fc54e8c62a86959e50d4b1b27d9d9a092c","datavalue":{"value":{"entity-type":"item","numeric-id":5581665,"id":"Q5581665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2641108$E7B4AC88-392A-421C-A785-BD1E9A641C1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dbe37ba60d1d38231cb146c0ce87f7bab99a4d36","datavalue":{"value":{"entity-type":"item","numeric-id":3690200,"id":"Q3690200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2641108$0F09731E-31F3-42E3-87A7-404F54F5CE52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7badfee30610a43b034debae14b09b94e4d33bb5","datavalue":{"value":{"entity-type":"item","numeric-id":1100924,"id":"Q1100924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2641108$7A013BB4-33C2-4C16-AC8E-2113AB84483A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d6e5a2ec66a572177ef7c34d7ff9e3c5a3050d5","datavalue":{"value":{"entity-type":"item","numeric-id":1157324,"id":"Q1157324"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2641108$B4CA5DBA-B4CB-4EA3-A4AC-762C0D49AC42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a1b26bdc210a3d291b796088837bddd84cce8b4c","datavalue":{"value":{"entity-type":"item","numeric-id":775202,"id":"Q775202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2641108$5874173F-665E-47D0-B791-DF07156757EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a8b953cb2cd1a42b9069e57d498e21a22c77afbe","datavalue":{"value":{"entity-type":"item","numeric-id":3868738,"id":"Q3868738"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2641108$C5C352E3-BFEC-43C3-A205-1B9B6CDB7342","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"136dca5eaf30010d2d4c0f6c9100d687138b0eac","datavalue":{"value":{"entity-type":"item","numeric-id":3956381,"id":"Q3956381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2641108$3485CB0E-3D5C-4A9B-B8A4-CAFA5FF8E2A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8670a1cb5138f59a7607a06c6c33e9eef7f2c9ea","datavalue":{"value":{"entity-type":"item","numeric-id":3938536,"id":"Q3938536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2641108$D96CECCA-9E55-464A-A95C-D38D2920449B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0081b258510dd8e01215933d88134a958186d290","datavalue":{"value":{"entity-type":"item","numeric-id":1075318,"id":"Q1075318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2641108$668A78FF-B8CD-43FB-AF0C-2A7C95CF270D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9d03a1c424bcaeb63f633ac851296a587c7c9dd","datavalue":{"value":{"entity-type":"item","numeric-id":3732980,"id":"Q3732980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2641108$D5B957BE-077D-4F28-9ECB-315D36A730F7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b844fefd28afa67d47f762ce647aee59ce31061c","datavalue":{"value":{"entity-type":"item","numeric-id":3761697,"id":"Q3761697"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"705b0ce7459efd5e1a68a0993b3871735c537f13","datavalue":{"value":{"amount":"+0.8888232707977295","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":"Q2641108$FC6BE415-B0D2-4781-A9A3-774B6ABD136C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"83cc65cdf2044d1a4d927398a719f7ab76181f0a","datavalue":{"value":{"entity-type":"item","numeric-id":1077161,"id":"Q1077161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6cd2eda05f002927e3763b1727b9fffce7c4770c","datavalue":{"value":{"amount":"+0.8636642098426819","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":"Q2641108$B99BB110-B49C-4310-886F-93A1CD137E37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b9ea5d1901cf02ee947a37f999c52affb876d842","datavalue":{"value":{"entity-type":"item","numeric-id":420848,"id":"Q420848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a551c6df55d647591486ec7c5ab79de83dc5c58d","datavalue":{"value":{"amount":"+0.8194445371627808","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":"Q2641108$04263DC0-7F5D-4F80-8351-E82F98B234CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e7e5b27df636ccbd8435929acf143c7f072f3dfd","datavalue":{"value":{"entity-type":"item","numeric-id":4933334,"id":"Q4933334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1728a3832f64520ac0a199fb2d9fc7508aa0dadc","datavalue":{"value":{"amount":"+0.793707013130188","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":"Q2641108$CFA30DF4-AB66-4911-B881-C1723719EC4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"516dd297a14393600224b343aca8705e81d0953a","datavalue":{"value":{"entity-type":"item","numeric-id":3347284,"id":"Q3347284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"24e55aad2a85881f4ecfc668fa48d9dadec5ed18","datavalue":{"value":{"amount":"+0.7892912030220032","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":"Q2641108$B69F49D5-BA68-41EB-BA17-FE566B9C43BE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2641108","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2641108"}}}}}