{"entities":{"Q5277873":{"pageid":7307448,"ns":120,"title":"Item:Q5277873","lastrevid":41131354,"modified":"2025-04-18T10:27:17Z","type":"item","id":"Q5277873","labels":{"en":{"language":"en","value":"Presenting a Category Modulo a Rewriting System"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6744193"}},"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":"Q5277873$1392B5D2-2B75-459B-AF06-83C1015F88B3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d0585f7caed0dde4299ae4546e7bde094c423d18","datavalue":{"value":"1366.68110","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5277873$FEE7C60F-2B81-472D-89E0-AEB0B99125A5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0a93168cfc778be78da79e5d8aadc1e1c5251087","datavalue":{"value":{"entity-type":"item","numeric-id":2133162,"id":"Q2133162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5277873$B9285760-F5E9-4193-9C86-E79608F7B468","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":"Q5277873$CB63E44B-EB8A-4C39-B48F-3BDDC42A5CBB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"da4ed36bae8b600bf66a15aabe0c472becc2ce16","datavalue":{"value":{"time":"+2017-07-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5277873$C9377070-D30F-4EF4-AC79-4B13923FAF30","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5277873$A19578D6-E48C-4329-BF36-E2889A5C5E41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"396e0fd7e3b723e770d62f37cd362b49808d08c1","datavalue":{"value":"18C05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5277873$C054D96B-12F8-45A8-AA74-CF35076AB276","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d35289bedc80b1085d64d820313e4cb71e428c91","datavalue":{"value":"18C35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5277873$F07ED93F-9749-48A8-BCA6-9E8D914FEF11","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6d089ba932e6c19ade954dd7d3ccc550508b283c","datavalue":{"value":"6744193","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5277873$8AD6094A-1BE0-46D0-85B8-9F7BBA9A5007","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"96079492089e0343bd65443753c9dc00528e6aea","datavalue":{"value":"presentation of a category","type":"string"},"datatype":"string"},"type":"statement","id":"Q5277873$419EA898-6D4C-488A-868C-C3C82E19C281","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"af377070e293daa17d5ee2a7195648879ee3285a","datavalue":{"value":"quotient category","type":"string"},"datatype":"string"},"type":"statement","id":"Q5277873$879190A0-5154-4223-AEB6-ADBA58C08AAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ce7111f635fc1f126061feb0ad03a7e2d9afa13e","datavalue":{"value":"localization","type":"string"},"datatype":"string"},"type":"statement","id":"Q5277873$21116A92-7E1D-4D05-8835-C12CECC1751C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f98a6d23e6dedf247d44051611978feaaec2e022","datavalue":{"value":"residuation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5277873$21F7F21E-19C0-4A7A-B657-C244F5F3C4FD","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":"Q5277873$CA48F4C0-FF4E-4EFC-874E-58E23D0F7C30","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e0d2bd72d8f6907966071a9eb95bf777fd10f4d5","datavalue":{"value":"http://dblp.uni-trier.de/db/conf/rta/rta2015.html#ClercM15","type":"string"},"datatype":"url"},"type":"statement","id":"Q5277873$FB19BE8F-0A3B-49FF-BCCF-97C8DFDB3EED","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4c493af66b7e1464fce78134904092c1a2533411","datavalue":{"value":"W2286622877","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5277873$5B8ADB93-084E-4D33-BE40-4D280AA00DF3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"08820cb730c7819e1eeeb58405f5494e0d5df78e","datavalue":{"value":{"text":"Presenting a Category Modulo a Rewriting System","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5277873$CF2EE8F7-7E66-4439-9FF9-D282C5F96555","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"74f06d6980ee5acdc0c6b7ded57ef43093bdf4c7","datavalue":{"value":"10.4230/LIPICS.RTA.2015.89","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5277873$82A92DB7-8482-4640-8388-97E4113EA8D4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c92795a1fe9fbe0a349e69943f03d03200d1cd7","datavalue":{"value":{"entity-type":"item","numeric-id":6487309,"id":"Q6487309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f5a5cfe2aa9a58fcf38db3a0feba6efacae5e4af","datavalue":{"value":{"amount":"+0.8973106","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5277873$B2197A86-4DED-4902-838B-ED589F5F87E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8f99c906313986de5368ad8b0e240c871d9b817a","datavalue":{"value":{"entity-type":"item","numeric-id":6113023,"id":"Q6113023"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f5a5cfe2aa9a58fcf38db3a0feba6efacae5e4af","datavalue":{"value":{"amount":"+0.8973106","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5277873$4A358F04-D38F-49B4-A9EC-90E34AE9560C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d8fdf7e03a639ca2765d4739fc0781e028f15a04","datavalue":{"value":{"entity-type":"item","numeric-id":4923533,"id":"Q4923533"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b01871d77d26dc8d770b5db45aceb72f3575b89f","datavalue":{"value":{"amount":"+0.8881029","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5277873$57381B69-B8C6-499E-89CB-1D68934265B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"55c784b61e3a799414a2916ab0c2628cadc9273d","datavalue":{"value":{"entity-type":"item","numeric-id":626714,"id":"Q626714"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f3b331f328b30ea836befceb2f3d644a39da3b8d","datavalue":{"value":{"amount":"+0.8870651","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5277873$F04FBFA6-842A-4033-8090-58B774602D82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e8ca76787caafbbd6eb743b3d43531583f05c942","datavalue":{"value":{"entity-type":"item","numeric-id":5055833,"id":"Q5055833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"828f701622d4a488d9c0821998d2a2a7386a730d","datavalue":{"value":{"amount":"+0.8857738","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5277873$54E59CA9-5A9A-4D2D-8414-21CB7DED277C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"524f9716c9ea354754b7582b2fcfaa4966c88236","datavalue":{"value":{"entity-type":"item","numeric-id":3474271,"id":"Q3474271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"654df9ada8cabd86f8f74d15ac175a2d86218d89","datavalue":{"value":{"amount":"+0.88228834","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5277873$973BC0F7-13BD-4BF5-9374-97961C5F1E0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fbea79183b8631d4756a64e6eba235aaad3c166f","datavalue":{"value":{"entity-type":"item","numeric-id":4713399,"id":"Q4713399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"127a1ce39e0fc0adcc30510eb7d3aebd94d2d029","datavalue":{"value":{"amount":"+0.87277704","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5277873$462AF790-D992-47C3-87B6-CD1D4364722F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e5baaa8bcfe06ea65363cacf85808ab7870676e8","datavalue":{"value":{"entity-type":"item","numeric-id":5096254,"id":"Q5096254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"127a1ce39e0fc0adcc30510eb7d3aebd94d2d029","datavalue":{"value":{"amount":"+0.87277704","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5277873$A73B399E-B546-4081-9F07-12081012E531","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"be1913b0f1778011ea016f74a5c89f595d54626d","datavalue":{"value":{"entity-type":"item","numeric-id":4222849,"id":"Q4222849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"07f651468052713bbb10c3ae5f20814d60fdb67a","datavalue":{"value":{"amount":"+0.86912704","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5277873$46B49F04-1EBF-4271-8631-6E8FA7E58586","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b2fbfb83d3e8408fa54849faffb5f2878692a3cc","datavalue":{"value":{"entity-type":"item","numeric-id":3782744,"id":"Q3782744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cc4b0ce5ddd79cf49b503861a199290fa179b87e","datavalue":{"value":{"amount":"+0.8687171","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5277873$9C2DFDC5-23B4-46C0-B34C-962925C51ECD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5277873","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5277873"}}}}}