{"entities":{"Q5043598":{"pageid":7073175,"ns":120,"title":"Item:Q5043598","lastrevid":98346227,"modified":"2026-06-05T17:17:02Z","type":"item","id":"Q5043598","labels":{"en":{"language":"en","value":"A lower bound of the number of rewrite rules obtained by homological methods"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7596584"}},"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":"Q5043598$B9AB7061-C678-49CF-8B50-C443C4AA66F7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0804b65181ce4fff8687a8db52bd7da0fb68f97b","datavalue":{"value":{"text":"A Lower Bound of the Number of Rewrite Rules Obtained by Homological Methods","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5043598$74BDA801-51F7-4FAD-AF23-5C65BA20D1DB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"759428a8d055d1a830482f2cd2725fc8995964ac","datavalue":{"value":{"entity-type":"item","numeric-id":4993346,"id":"Q4993346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5043598$C9814478-C3BF-4729-ACC9-F073D2D93C0E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"da58c52dc46c86e7440f2499c9e1bef3537c5562","datavalue":{"value":{"entity-type":"item","numeric-id":2786118,"id":"Q2786118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5043598$87DFCE4A-0C7F-4217-BF27-0E947F8EA1F8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9c4b8c625cce62e7d70a9b6e0084c4288e777869","datavalue":{"value":{"time":"+2022-10-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5043598$77D2ACDC-E5EE-41F3-BA2E-D6B647FB540C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9109b171095f5e9a90ed52c9acf2ee1719538ae5","datavalue":{"value":"https://arxiv.org/abs/2002.11942","type":"string"},"datatype":"url"},"type":"statement","id":"Q5043598$F18003BA-C124-4CEF-AC72-5EFC6ABC3BC1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"60572561c94bb0a5de4329d3c7bf8a47080901dd","datavalue":{"value":"18G15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5043598$B8E06C29-99FD-4211-AA53-40851DCA5F81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5043598$F5215CB9-51B0-4386-AD8B-789AB7C71F22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f91eac69ea2ec731b458b8ff3fee2957166ec86c","datavalue":{"value":"20J05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5043598$561CB5D6-BB6B-48E4-AFEF-C27897EFD791","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c0ff99b74494eec60c60cf5530159d9b4feaac28","datavalue":{"value":"7596584","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5043598$170B565A-09E1-4C99-A315-0DA3A97A0F6B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"58acf4952d5f9adc27bc95a2037859c88d48f9a6","datavalue":{"value":"term rewriting systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q5043598$B88FC219-E6A7-4B61-8AA8-1137084DF2E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bf2b88efe8773921309f55a0f9141b74ab78ee06","datavalue":{"value":"algebraic theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q5043598$B3AF52B0-609C-4BAE-A08C-F4C5BCC1A468","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e85250b0f5793fddfbfacbacf1a198f152b6c2ef","datavalue":{"value":"homological algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q5043598$E3CA2205-F8DE-415D-8571-B446ACBDDDA0","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"494b99103b726cb47c99c8135159c2c7da286a71","datavalue":{"value":{"entity-type":"item","numeric-id":21993,"id":"Q21993"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5043598$46248042-E83E-4F29-A565-909365EA3C73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"4c5e63746f1155fa9146a08988f7e26222436fba","datavalue":{"value":{"entity-type":"item","numeric-id":21994,"id":"Q21994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5043598$8CE928A9-BFFE-4FA2-8580-A2478D63A76F","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":"Q5043598$6CC29963-E6A6-48C8-894E-57E78AD0C472","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b85aba2943fd1563c34fe194c3fd8dd8be79af7f","datavalue":{"value":"W3007940027","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5043598$80678703-0C66-4C60-AF0C-ED5FB1D4729A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f37f085b7a9beafb4a4c46af1ed41888dc503dc2","datavalue":{"value":{"entity-type":"item","numeric-id":5848908,"id":"Q5848908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5043598$C7779FFC-8224-4532-B49D-AF1BEE40F30C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c525319ed7a0622a258a9434358c0414c7f08540","datavalue":{"value":{"entity-type":"item","numeric-id":4846257,"id":"Q4846257"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5043598$D1403F2F-7896-4D79-9B2B-E52D69CE8B7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0ef9dd50be05075d9a6884c99d01f178372f4879","datavalue":{"value":{"entity-type":"item","numeric-id":5639012,"id":"Q5639012"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5043598$CE183385-B9BE-4F90-8094-892E746AA59A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2097df8ab7b084e00f36c006345d9ffd8e84713","datavalue":{"value":{"entity-type":"item","numeric-id":5818498,"id":"Q5818498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5043598$77D3CB8D-401C-41B6-81A7-F2AA0CB94E36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a60759639915f213cf6f47415adfbdbc33f70fa2","datavalue":{"value":{"entity-type":"item","numeric-id":3527302,"id":"Q3527302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5043598$C93677A3-0BE7-459B-8C9F-9681F3E7F9C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f1a00e564510c152430ba9f59c7b7c4f0c9042fc","datavalue":{"value":{"entity-type":"item","numeric-id":1106657,"id":"Q1106657"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5043598$556B1234-1413-4DAD-9273-E35E1291AE2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9923efe65d7520df8384f3fd0d5837e98a751443","datavalue":{"value":{"entity-type":"item","numeric-id":688567,"id":"Q688567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5043598$8A281F5D-315B-4489-9841-E8EBC28D070F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"280ade1b32e8c60a5983b1b9f0f1049f9968f47e","datavalue":{"value":{"entity-type":"item","numeric-id":1593473,"id":"Q1593473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5043598$9D036CE6-6DE0-4CA8-9379-CB06F74D61F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"096d8e99c18ee17948ebd371cdedc864bfe9aa92","datavalue":{"value":{"entity-type":"item","numeric-id":2550772,"id":"Q2550772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5043598$35EE0D81-2D7A-4E52-926E-B7774BFB648B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5857c70f19d72e10bfd8ee10961e7dd1400de21c","datavalue":{"value":{"entity-type":"item","numeric-id":5369492,"id":"Q5369492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5043598$3C43707B-4162-40F0-B51E-CCE7F8E46D9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5fc07b7c5ce1e3b53482f506d849425f31851f9","datavalue":{"value":{"entity-type":"item","numeric-id":3704061,"id":"Q3704061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5043598$423EC6CB-053C-4EC2-BB0E-1B914336DA1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"414a8da8e3f49dd259f5319eb52852cbcc99d052","datavalue":{"value":{"entity-type":"item","numeric-id":768811,"id":"Q768811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5043598$09DEE511-613B-47C7-9C43-45B147A125BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2925d8c42c06d168799f69a288cb72700e58f36","datavalue":{"value":{"entity-type":"item","numeric-id":934575,"id":"Q934575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5043598$33D682DF-48EE-462D-BBED-D42D5C9EC299","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"343124d81cdb376116d683a17fab24940a988660","datavalue":{"value":{"entity-type":"item","numeric-id":3407081,"id":"Q3407081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5043598$456CED9E-E300-4912-9833-9A28606874EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"176b878b32dd9698208225bb09fc4b5ae95cc597","datavalue":{"value":{"entity-type":"item","numeric-id":1105040,"id":"Q1105040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5043598$974B878B-3A3A-4BA4-9A3B-FDA053FAA79F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"efa1e7c29984512e27de37bf681864ffab12e1eb","datavalue":{"value":{"entity-type":"item","numeric-id":2524079,"id":"Q2524079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5043598$E7D05046-0340-4063-8448-BF1FD7E081CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"befdadb9152073aebc8beca946e5638f2e3c3387","datavalue":{"value":{"entity-type":"item","numeric-id":3541711,"id":"Q3541711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5043598$93A07340-21C9-4A1B-A3B6-6D66ED9CC713","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bed2969dcdbfabc761b716bc5b090a1d4d5c71b3","datavalue":{"value":{"entity-type":"item","numeric-id":5609363,"id":"Q5609363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5043598$703EB667-A256-4ED2-9E3E-8F96BCC8DD3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c78758589b9e138f155b9b13eeae184db8fa243a","datavalue":{"value":{"entity-type":"item","numeric-id":4853962,"id":"Q4853962"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5043598$604C94BD-891A-4BEA-ACA3-A35A7970219C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed71badcabbd9aca7562ad8aef8df440f50790f2","datavalue":{"value":{"entity-type":"item","numeric-id":2848691,"id":"Q2848691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5043598$10759701-5807-4D82-A1E3-A6B4C1C74546","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"252cfd2eb8e0a6ce03bd6ab4855fe9591ba41da9","datavalue":{"value":"10.46298/LMCS-18(3:36)2022","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5043598$CD940524-4432-45C5-B45C-3109EF30CDCE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a372f1fc6e50a7319918bdb374bec71cc618f698","datavalue":{"value":{"entity-type":"item","numeric-id":5369492,"id":"Q5369492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"efcbe00fc87a7ca6184069a741c62cb3c437e127","datavalue":{"value":{"amount":"+0.8211551904678345","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":"Q5043598$5087B0BA-41B6-448A-A768-0F35C3ED0984","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"18affb28efa8ec67c98153f6172b0cde70bd0e02","datavalue":{"value":{"entity-type":"item","numeric-id":3545275,"id":"Q3545275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e019c7f2bd5ff5212a33fb8ff87b70eaac1440e3","datavalue":{"value":{"amount":"+0.7559832334518433","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":"Q5043598$DF8345EC-E88E-4FB0-AF03-2FF76A4AD7C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d56db8958653826d9380fbb413bd99652ac0f241","datavalue":{"value":{"entity-type":"item","numeric-id":5096205,"id":"Q5096205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"11be52aa107ceeee084724fa87b1a5cf407e5de6","datavalue":{"value":{"amount":"+0.7414712309837341","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":"Q5043598$3DEDEDF2-32D1-4EA3-8B72-AA3158962BB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e67477a05e38e3c9d04ebf53ec423b314caf4f9a","datavalue":{"value":{"entity-type":"item","numeric-id":923133,"id":"Q923133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6674a7794b07a7b3ccd8edefb1b316738fc8e696","datavalue":{"value":{"amount":"+0.7371212840080261","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":"Q5043598$FE44BFFC-41B6-43A4-AA27-7E4C4A0BA758","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"476fe3f0e8e43d5b254436da221b1a949a215665","datavalue":{"value":{"entity-type":"item","numeric-id":3336738,"id":"Q3336738"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7bf1825ab76898bd0719e4acdf9993a646c3146e","datavalue":{"value":{"amount":"+0.7254259586334229","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":"Q5043598$9573BCFB-11C3-47AB-84FD-41BBDCC392E8","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5043598$DC4CEF71-E58B-4298-BB65-0EAF4EE59F5C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A lower bound of the number of rewrite rules obtained by homological methods","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_lower_bound_of_the_number_of_rewrite_rules_obtained_by_homological_methods"}}}}}