{"entities":{"Q1111012":{"pageid":1121761,"ns":120,"title":"Item:Q1111012","lastrevid":49218529,"modified":"2026-01-06T19:08:47Z","type":"item","id":"Q1111012","labels":{"en":{"language":"en","value":"An algebraic structure for derivations in rewriting systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4074463"}},"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":"Q1111012$35143CA2-C147-4CE2-80A3-5660832EEFC2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9688b548a15378993408f5f6f73b879148e9d577","datavalue":{"value":{"text":"An algebraic structure for derivations in rewriting systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1111012$F0BE990E-6A7E-43DC-8C24-E4215A7BD421","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"402a5f38e05dffeeeb341c4f21148a3e851fc5c4","datavalue":{"value":"0657.68025","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1111012$DCB9BBED-BBF7-4A51-9D63-32DDE806F9B9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"df537e3eb8a1ef221310849d7e4d9bee3a7f2126","datavalue":{"value":"10.1016/0304-3975(88)90039-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1111012$0BCD1691-C4DA-42A9-80DA-E15C8B894091","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"06520734be7376fc878d3ae70365d1558bba890f","datavalue":{"value":{"entity-type":"item","numeric-id":1111011,"id":"Q1111011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1111012$E4E46A4F-0C00-4C5C-8283-311670A87E85","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1111012$07DB686E-C1F5-4068-A364-ACDB93419898","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"31a1937240ca4a323604b4728c31d242b5596d7c","datavalue":{"value":{"time":"+1988-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1111012$0E837A11-516B-4CB2-871E-6CBAD7302472","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"c1e190bd9c0243d21bbcd035c8e920d041872cdf","datavalue":{"value":"A unified description of the algebraic rewriting systems and their syntax and semantics is presented. The basic algebraic structures - polygraphs and polycategories are recalled (2. and 3.). The derivations and the similarity are defined and studied (4., 5., 6.). Some applications are pointed out, especially in the semantics and syntax of formal languages.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1111012$7698D6C6-A48B-4AF1-AC83-B054B45BF5AC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1111012$0FB983F5-2901-4B55-90F4-C1E5B524C4D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1111012$547689A0-54D8-4EF9-99A0-7AF848D0BEA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"aa2d311bfebadfc58292672011b7418c359f6a26","datavalue":{"value":"18A15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1111012$87E7A21C-C9D3-4B85-9805-B3295D8AB63A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"20fb8aa5514a212ae611469d9dcca6ff2c0438af","datavalue":{"value":"4074463","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1111012$A384B29D-9978-4301-B126-2DBFC73FED95","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a1c7ba277256744292ed60f780ecbb68051c0599","datavalue":{"value":"algebraic rewriting systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1111012$C2805BB2-CFFB-4289-AE93-717EEA36D8D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"619bb2f2748d3996456079bf9ca2f2bb477e6039","datavalue":{"value":"polygraphs","type":"string"},"datatype":"string"},"type":"statement","id":"Q1111012$67D16ADA-1BCF-4FC5-AAF8-AB61F59C8F60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fcadbd599a1fc006733e2d453d76e3da2fa5c299","datavalue":{"value":"polycategories","type":"string"},"datatype":"string"},"type":"statement","id":"Q1111012$3CA8042C-E356-4141-B163-56877795F355","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"adb683cf0242ec4de6075b159e4eda87fcc8d67d","datavalue":{"value":"derivations","type":"string"},"datatype":"string"},"type":"statement","id":"Q1111012$6CE55999-1236-4FC3-8399-C6A45EF19DD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d7bfc11de8cab95fd6af201970bd9d16d39bbd0","datavalue":{"value":"semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1111012$1545DE47-6BAB-424A-B652-FCC468D5CC47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8c4ed4fea13432d188a5ec678aec936f44975a8a","datavalue":{"value":"syntax","type":"string"},"datatype":"string"},"type":"statement","id":"Q1111012$AE4C2DA2-D1B2-4F9D-98F5-B8FB2A48007F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b30b88dd7d8d4d3a542dd1829bf3206a53951e76","datavalue":{"value":"formal languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q1111012$468F49E2-2E3F-4CFF-9DEF-517E8B5E9A65","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"1795f17e176530c860dd1c3b2e74fc46bd03cd61","datavalue":{"value":{"entity-type":"item","numeric-id":1241796,"id":"Q1241796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1111012$6B6A3154-5E67-497A-9A7F-9BDF4DEE013F","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":"Q1111012$4158B457-2434-4FF6-9412-759340BEA374","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"089f1972ee7090f9345bec98d7f47f037c2aa76c","datavalue":{"value":"https://doi.org/10.1016/0304-3975(88)90039-4","type":"string"},"datatype":"url"},"type":"statement","id":"Q1111012$C8833A43-71D5-400C-B874-E8C6BAE95B32","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8d1d6e46fd2492b357e643c1f72040c0f95ef08b","datavalue":{"value":"W2088527413","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1111012$12C717F5-6759-4681-B753-6C00158A04C2","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"472aa94811b8f65243edd90878a6c2ab5ffadf63","datavalue":{"value":{"entity-type":"item","numeric-id":5602930,"id":"Q5602930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1111012$98DDC7D9-B979-40E2-A95E-02D5DDA02B99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3089573b313bf784dd3acda2b01fa6c77528ee2a","datavalue":{"value":{"entity-type":"item","numeric-id":4060429,"id":"Q4060429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1111012$47EEC53E-831D-4012-ADC6-CA39F1009B33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f68c90bf618447f850acaab558df28a22be37f1","datavalue":{"value":{"entity-type":"item","numeric-id":5545960,"id":"Q5545960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1111012$8E5CF2B7-B71F-4E4B-BF11-937735F75733","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"70d5409bca045937eb1625dfe1b49c3c7fd4cef8","datavalue":{"value":{"entity-type":"item","numeric-id":4065057,"id":"Q4065057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1111012$BAF91E43-0E58-43B6-912F-A1E49110A1C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"15820a8e430ff81e280b49a621b43fd6dcdc5c10","datavalue":{"value":{"entity-type":"item","numeric-id":5569110,"id":"Q5569110"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1111012$1A84A02F-D1AF-4D33-9106-BE5DF0F310FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d2ffad56ff7cb3f1b7bce5a75e03b0b6586eb531","datavalue":{"value":{"entity-type":"item","numeric-id":5555691,"id":"Q5555691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1111012$ED405009-16A6-45DF-B8F2-925055FFC33A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ea1f9ce4b97118e415f2d676a91d117e24427a5","datavalue":{"value":{"entity-type":"item","numeric-id":5595187,"id":"Q5595187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1111012$77E1D998-24D6-4377-86F6-99510F899527","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"968ed2bb9673d23fe5adc9089490f47820735d88","datavalue":{"value":{"entity-type":"item","numeric-id":5607230,"id":"Q5607230"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1111012$5E52D232-974C-4C99-A690-0F90D518B6D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f0c9ec983bd19a7bd5e40622eb7a0ea81ea151d0","datavalue":{"value":{"entity-type":"item","numeric-id":1240577,"id":"Q1240577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1111012$53617D6D-699A-4BB5-858B-AC8ACBB6D860","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"119c343ed5ad0d1a3eaa370f2346f7ac9d5fc15c","datavalue":{"value":{"entity-type":"item","numeric-id":4123497,"id":"Q4123497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1111012$40545BCF-F991-4333-9F91-3A2347D46D76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"181eedd16cae8227e6347ca9fe8f54e5909c2912","datavalue":{"value":{"entity-type":"item","numeric-id":3665295,"id":"Q3665295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1111012$16A8C7C9-D3CA-474B-A0BB-E35E11CB32E9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c476812841501292a117a99aaee05dc6b237d2ff","datavalue":{"value":{"entity-type":"item","numeric-id":3748458,"id":"Q3748458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"23f2d412ecf59d89bb0f0f258ac5ab5b932f4b7f","datavalue":{"value":{"amount":"+0.8015424609184265","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":"Q1111012$CFEFA2C1-3B05-46AA-BB2A-0CC8F5E8392B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6a99a9630bccead5856b47c4567f927e7f4b433b","datavalue":{"value":{"entity-type":"item","numeric-id":5096266,"id":"Q5096266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6e512e6c726c48fa5ca9dc03a2d9a1267d52e454","datavalue":{"value":{"amount":"+0.799227237701416","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":"Q1111012$FFFB1E7E-81E2-4285-BE06-35145C2EC6A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cd6a66ee829171f8dc4f46de7b3ff6a8a8ce3689","datavalue":{"value":{"entity-type":"item","numeric-id":3742748,"id":"Q3742748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b57c6e5213910bd67d74d7c59da237540c127560","datavalue":{"value":{"amount":"+0.7761901617050171","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":"Q1111012$50480C65-A2A5-4F0B-B98C-4C09FD935720","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f1af317d7402ddef83cd453c4bb9ba47ac16b45c","datavalue":{"value":{"entity-type":"item","numeric-id":5879266,"id":"Q5879266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"35908d6200299d727d59c0bc281d444d0554efd6","datavalue":{"value":{"amount":"+0.7757338285446167","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":"Q1111012$86634181-1D73-4873-A79C-7BEDC164EAA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1a5e258712eb8a99312523d92c6a06e458cb2182","datavalue":{"value":{"entity-type":"item","numeric-id":5058367,"id":"Q5058367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"144f0d06fa0ba2a9dd53080633e44900e8935a82","datavalue":{"value":{"amount":"+0.7696285843849182","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":"Q1111012$59A3E014-FCB8-4724-A56F-A8A41BCAC8BF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1111012","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1111012"}}}}}