{"entities":{"Q2563692":{"pageid":2574435,"ns":120,"title":"Item:Q2563692","lastrevid":46873914,"modified":"2025-12-25T18:33:05Z","type":"item","id":"Q2563692","labels":{"en":{"language":"en","value":"Normalized rewriting: An alternative to rewriting modulo a set of equations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 958327"}},"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":"Q2563692$83A1BE86-8985-4F58-8BCA-7FB2C9FACB84","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"18b593466e3b7d2e19f0148f14be51340116bc1b","datavalue":{"value":{"text":"Normalized rewriting: An alternative to rewriting modulo a set of equations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2563692$9FCC1D6C-1A51-4A4B-AF7A-C975F5E9627A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f4fcf14fd4daaf9394f26297eb3eb423407f08d0","datavalue":{"value":"0859.68050","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2563692$4686A414-2606-4966-B567-9F973F26C85B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ea72303f92787da89554ee5fa15621068821a762","datavalue":{"value":{"entity-type":"item","numeric-id":99061,"id":"Q99061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2563692$99077169-E58F-405B-9411-63606251AFD2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8e96aecd7dd8e559b36f8cbd9f530cc892606bc1","datavalue":{"value":{"time":"+1997-01-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2563692$3B59A850-1DB9-4145-9A3C-47F2C01F92DF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2563692$25B35F6B-33AA-4BED-B39B-783087918A17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"173b0c3afec7c4f9f987722665cc7bdb6b8f5813","datavalue":{"value":"13P10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2563692$889DD652-65D7-42FF-A4AA-036899BBEA9A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ad1fbab55fea11d8c1a389d0fc6ced9f32f888ab","datavalue":{"value":"958327","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2563692$8C10E101-6208-47F9-BF5C-D993FC8A0131","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3249bf3d051a901548150ffa98ed1cb927fde2c","datavalue":{"value":"normalized rewriting","type":"string"},"datatype":"string"},"type":"statement","id":"Q2563692$94D306B3-1DBC-487B-9DD3-F0F6BDF7B77F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0617f24fea4f074a9cd621dbb70d27a3f78cdd60","datavalue":{"value":"Buchberger algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q2563692$376BB74D-8F63-4D5A-937A-6B239FB64EC8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a94b145bad45cfe6e90ce99cf046bd3d7039d44f","datavalue":{"value":{"entity-type":"item","numeric-id":604391,"id":"Q604391"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2563692$2E88E1EF-54FD-4176-B826-79F5FA72787C","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":"Q2563692$7FA98558-5E37-448F-A57F-9AEC800FE0C6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"73486446288dc6e451a903ad1f8c691c2a76038c","datavalue":{"value":"https://doi.org/10.1006/jsco.1996.0011","type":"string"},"datatype":"url"},"type":"statement","id":"Q2563692$22135CC4-DB3A-4C0F-A73C-D9539D7EA2EB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"756533a3dadcc459b4603b28125f7e9b9c56a41b","datavalue":{"value":"W2128937477","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2563692$4410CDA9-74E1-47BA-B5AA-4FD0C42B8692","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8081fc67d8fcfc4ffc9cdec88dda90571e701194","datavalue":{"value":"10.1006/JSCO.1996.0011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2563692$630729D9-BCEF-4338-A48C-3060B7198650","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3b257311812b72e4519b2298a56d68b508f6e715","datavalue":{"value":{"entity-type":"item","numeric-id":2958393,"id":"Q2958393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e32c0ff7782dbafc0ee86f291ec1db5ae102b21c","datavalue":{"value":{"amount":"+0.8473551273345947","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":"Q2563692$8E328136-626A-4568-A52A-60C6329F6792","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1e8c4a6d820dea0acfef1faa71b7e0ee3b084699","datavalue":{"value":{"entity-type":"item","numeric-id":4225064,"id":"Q4225064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"43a32cff411c471deca762e38ef9dae2fb725252","datavalue":{"value":{"amount":"+0.8394363522529602","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":"Q2563692$FA9BC2A1-883C-4C5E-BE5A-0DB0792F963E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bfd92e0fc7174e4ffaf184a88aa12a99beee1a1b","datavalue":{"value":{"entity-type":"item","numeric-id":1199927,"id":"Q1199927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"53825e9e5d5733382d0acde61a0ba4a47688b717","datavalue":{"value":{"amount":"+0.7869206666946411","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":"Q2563692$450F0C7D-F8F8-48C4-9CEF-BD17D848CFEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"26beb7d978a000922c3b45bfc5d117e96e06d354","datavalue":{"value":{"entity-type":"item","numeric-id":4033833,"id":"Q4033833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8c0b8a372006eefe84a629f121c4a6909f9b3959","datavalue":{"value":{"amount":"+0.7854213118553162","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":"Q2563692$E3A8C587-E9CE-49D3-AE2C-F14DD889693B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2563692","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2563692"}}}}}