{"entities":{"Q5369492":{"pageid":7399066,"ns":120,"title":"Item:Q5369492","lastrevid":52930466,"modified":"2026-01-23T20:20:33Z","type":"item","id":"Q5369492","labels":{"en":{"language":"en","value":"Homological computations for term rewriting systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6792360"}},"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":"Q5369492$5959481D-EB75-44E3-8D86-E5B932AE5A03","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f497ebfe0b9410a8d78efad3102a09f7aa940242","datavalue":{"value":"1387.68146","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5369492$676F614A-036A-4955-A593-E202D634D5E6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5ae4b969fbc1559ba70a4d3e9cf79030bab6ebc1","datavalue":{"value":{"entity-type":"item","numeric-id":456806,"id":"Q456806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5369492$1343424E-0A58-4670-95D6-EAABCBDA930C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a43cf0a9bf485d009abdf07da36233316c201547","datavalue":{"value":{"entity-type":"item","numeric-id":265806,"id":"Q265806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5369492$0FED6F93-9810-48DD-B44A-0A229B03B688","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"eae4cdb5001296cfa1d627ad5453506a5832f064","datavalue":{"value":{"time":"+2017-10-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5369492$2CFCC30D-CAED-4B2F-A319-BC7AB6E134AF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5369492$AEF6547D-0B95-40F0-B233-4A7E34F382EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"20bb5571a1bc4300de51d23c463eb631840cb343","datavalue":{"value":"08A70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5369492$57D44BD8-C6B4-481F-A1B6-D0BCD9A8789B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d9999005018a5f663d942576865981f299f2781f","datavalue":{"value":"18C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5369492$D410C649-37B1-4108-911F-6F5B65313B30","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5e2ddd2a1048a9ce0f800b131c9b978ae3a7a51e","datavalue":{"value":"6792360","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5369492$EBC6C3EA-1B5C-4077-A1CC-D3AE76E062D0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bbe8c41fe8d2ca7331310962aa17e31f8465478f","datavalue":{"value":"term rewriting system","type":"string"},"datatype":"string"},"type":"statement","id":"Q5369492$75C40CF4-2674-4AB9-994F-EF35641335FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"19cc64979cfc2aadbaa844676a29d200f8dbf743","datavalue":{"value":"Lawvere theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5369492$88255FFF-89E8-458F-AA4F-6D41F9AB70A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"860feed30b620b53736f20cba5e28527604ceeb4","datavalue":{"value":"Tietze equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q5369492$F2AA1772-FC20-4672-90FD-C3DF3F72DA0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cfac5eb6431ec88e2a6e9bafbfcf7b49dda794fc","datavalue":{"value":"resolution","type":"string"},"datatype":"string"},"type":"statement","id":"Q5369492$667ACC09-9723-4DAB-8007-E1687B1BF747","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d317d712471535cc86cf9605447e5d2912d60de1","datavalue":{"value":"homology","type":"string"},"datatype":"string"},"type":"statement","id":"Q5369492$2412425F-8968-447B-B657-A509CA33CE0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7602a87692a09a1ee59fb262945a579f0dbf91d3","datavalue":{"value":"convergent presentation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5369492$2D282E42-0D18-4DB9-B457-C52D91EC2736","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83ab3c5e042da95153aaca70bf627012a5acca1c","datavalue":{"value":"coherent presentation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5369492$1EE3A621-A0D1-4C96-826F-A1B7B2218149","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":"Q5369492$2AB825E2-55C9-4BA6-B18C-B1B87C4BDA1C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"98747b82e5e39902d59b1fa1759e3963042e2c5e","datavalue":{"value":"10.4230/LIPICS.FSCD.2016.27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5369492$F90DC17E-151E-471B-BF88-654FBEB25E7F","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":"ed2b7977cb0bda74b346f3bf73c86a5835d902fb","datavalue":{"value":{"amount":"+0.824052631855011","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":"Q5369492$50E2373B-32C6-4485-BB8E-DAC1E719CC53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"76bd3b0078b1c4125b68216239a1e9c63aa4aa50","datavalue":{"value":{"entity-type":"item","numeric-id":5277873,"id":"Q5277873"},"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":"Q5369492$051E9012-E8DC-4CC1-A425-3A5C3441DB60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"43d8aac7f7682564360a5a6ded66908de1c9c85c","datavalue":{"value":{"entity-type":"item","numeric-id":2463397,"id":"Q2463397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"17f43773ca8cfeb293db7cffbcf89e7c1c343b99","datavalue":{"value":{"amount":"+0.7728522419929504","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":"Q5369492$27B58366-2C4E-48E2-A7E8-E2D26035A8DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9bc87480bee05a56006668a62df389fafacf7017","datavalue":{"value":{"entity-type":"item","numeric-id":2843715,"id":"Q2843715"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2c537626b6d34a60811a3ef728ef9f9b4c803b89","datavalue":{"value":{"amount":"+0.7351588010787964","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":"Q5369492$8FC5CA67-1400-4369-9D60-BE156D3C5E3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e1652312b2637c13d9e5af894edbdb5454af87d2","datavalue":{"value":{"entity-type":"item","numeric-id":2958386,"id":"Q2958386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"086aefe246f3772cc8020b04a208d2e32f23f94d","datavalue":{"value":{"amount":"+0.7301362156867981","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":"Q5369492$41553816-F50E-4313-8DE3-B49B19357004","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5369492","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5369492"}}}}}