{"entities":{"Q5089026":{"pageid":7118602,"ns":120,"title":"Item:Q5089026","lastrevid":91338755,"modified":"2026-06-04T22:55:07Z","type":"item","id":"Q5089026","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 7559290"}},"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":"Q5089026$8FD573E4-0F65-44A7-AF7A-B5C39C010510","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":"Q5089026$5E94D68D-0DB9-42EB-923A-A575388CB3AB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6793430fc5b4ace9180691774574e339423361ba","datavalue":{"value":{"time":"+2022-07-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5089026$8E350E63-CB80-47C7-BCD1-BCE68FBF5CAA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5089026$6EA517E5-F025-407D-A857-CC25E54D0F1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5089026$439CAAEC-35E2-4EA2-9859-4135BF3B9B2A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e1cd9941d03ba9d650950fc1dc49b913fb7d5d4d","datavalue":{"value":"7559290","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5089026$01971BED-66C5-4199-9499-BD818B750971","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"58acf4952d5f9adc27bc95a2037859c88d48f9a6","datavalue":{"value":"term rewriting systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q5089026$64BEAF3B-7321-44B8-A37C-5DEF035C171E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"744fd5f6b592344bd2a87ac1816bb7847861172e","datavalue":{"value":"equational logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5089026$A63317AA-B65A-435C-A2C9-2EE18B952927","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e85250b0f5793fddfbfacbacf1a198f152b6c2ef","datavalue":{"value":"homological algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q5089026$C7FDB52C-431B-4BDA-A0B5-D259EE50AC59","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":"Q5089026$88ED2680-5AC7-42C6-8818-40BF0A9A9FCE","rank":"normal"}],"P223":[{"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":"Q5089026$B12CEC63-7451-46AC-BBB8-839708D5360B","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":"Q5089026$FF4567DC-B8E0-4CA8-AE36-9F3BF854A5BF","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":"Q5089026$520A6E95-1D57-4F3D-8C09-EF7E8D375C66","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":"Q5089026$87A9F3AD-8CD8-497C-A9B4-4A14B4338A9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"553983a89cbe20cd8ce35b80e67e6e72daa0bce9","datavalue":{"value":{"entity-type":"item","numeric-id":1068187,"id":"Q1068187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089026$D47E132E-F1CE-4DE1-8D0D-DF863F4CF625","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":"Q5089026$6EDA6A48-751B-4A8C-A9D6-B15E99D67643","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":"Q5089026$99BED578-6742-4518-82CE-C33F3E95B077","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":"Q5089026$22CA20C1-1D93-47A7-9BC8-5E64C846CF02","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"27b28e7c5874103179eb682c81d49a2de808eeec","datavalue":{"value":"https://drops.dagstuhl.de/opus/volltexte/2019/10531/pdf/LIPIcs-FSCD-2019-24.pdf/","type":"string"},"datatype":"url"},"type":"statement","id":"Q5089026$97C1D39D-E7F5-4A75-868A-F31D1A8F66BF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"77768c73ade63d5415adf45a53dca042bafd454a","datavalue":{"value":"W2954049028","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5089026$EA2C7704-D02D-47B1-9E3E-D4F47D4CBBD2","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":"Q5089026$49603CB7-7A84-43DC-9E3F-15D8D263B513","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"83dcdbb5b363178c7dcf2c1d807a9fa34032d22b","datavalue":{"value":"10.4230/LIPICS.FSCD.2019.24","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5089026$4F497A27-8864-41C2-ABF8-D1CEDF845558","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"50a2105969a51e6c4352a3f106bff31b69de73a9","datavalue":{"value":{"entity-type":"item","numeric-id":5043598,"id":"Q5043598"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b6467f1d36f0b0cc665dca2748d6dbc946b055db","datavalue":{"value":{"amount":"+0.9919782876968384","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":"Q5089026$4AEA1323-7AE4-40E9-A12C-F45661DE41E3","rank":"normal"},{"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":"6c6567df21423106e708a2f5e1e95e83133c1190","datavalue":{"value":{"amount":"+0.8248642683029175","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":"Q5089026$CE91D25C-0BA9-4DDC-84ED-975652E2CAF8","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":"b4655ee3f3877c44f3fe6511f34edfde122666d9","datavalue":{"value":{"amount":"+0.7225539088249207","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":"Q5089026$15951A2E-6D3E-4590-B0AE-BC34FF5CF12A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f72d4116d823a59d64e156820479bb3d14da773d","datavalue":{"value":{"entity-type":"item","numeric-id":3484358,"id":"Q3484358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bef21c9597795c68b2898f5fd1a4d102c79df7fd","datavalue":{"value":{"amount":"+0.7101577520370483","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":"Q5089026$2AFA1CEA-5745-4CAA-9A7C-0A2F923B0F1A","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":"1bde4ab83c35ac5f3acf36b163024d72b10536e0","datavalue":{"value":{"amount":"+0.7023674249649048","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":"Q5089026$A155EF8B-832F-4207-8146-9F4DC8B0F258","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A Lower Bound of the Number of Rewrite Rules Obtained by Homological Methods","badges":[]}}}}}