{"entities":{"Q918216":{"pageid":920064,"ns":120,"title":"Item:Q918216","lastrevid":65371089,"modified":"2026-04-12T02:07:26Z","type":"item","id":"Q918216","labels":{"en":{"language":"en","value":"A complete rewriting system for a monoid of tree transformation classes"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4157893"}},"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":"Q918216$14E3AE3C-402E-46D7-9A86-F8A1E77A11A3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0e282c4083d1085f94b20c02526507315327e6c3","datavalue":{"value":{"text":"A complete rewriting system for a monoid of tree transformation classes","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q918216$768B61A0-DF0B-4D33-A4FB-11D53933355A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b289d868d502db52420935eb7619ec5972de4918","datavalue":{"value":"0705.68068","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q918216$643BE2CB-2927-491D-BB6D-4FDAD19C63F5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c5ef0ebea17af01b57da274f24f32b1620ff2ded","datavalue":{"value":"10.1016/0890-5401(90)90054-L","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q918216$4F9656C3-E077-465B-AA59-281BFDF1B164","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fa2d1ad91af9619c8dd37ab889fe279a84c4057e","datavalue":{"value":{"entity-type":"item","numeric-id":259032,"id":"Q259032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q918216$96BEEAF0-042D-4BAD-941C-7C60A704485D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"70d2fbf8bcd48a5ca1ac752985098b379d0dbb65","datavalue":{"value":{"time":"+1990-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":"Q918216$2E32C5A0-FF1F-4A0D-AD0F-3A72AC7B2B27","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q918216$5B36A05D-E4A1-4365-913D-FF8F80C596FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"79c9a014785e41c94f76c463174af5cf2a59ec70","datavalue":{"value":"03D40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q918216$DB5D00A3-9FB1-4D2B-A52F-F704F9A24140","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"21699a423435669f291d1bd1ba3da28fa1465b3f","datavalue":{"value":"03D03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q918216$0D9E974F-12B9-4E64-B116-E63822BA8695","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"03468f1d5abafefed311cc9ccae9ddd73ff4dbd8","datavalue":{"value":"20M05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q918216$D49536C5-8799-45EC-9262-447EBD162573","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c93ead82a44f7049b669c1b8a6128d7f96605f71","datavalue":{"value":"4157893","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q918216$3ECF8375-7332-40F0-B5F7-AB5B3800FF55","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ed6c2c9e8d8a6e3a0fb3330a27299fa2c9b5c6b0","datavalue":{"value":"Thue congruence","type":"string"},"datatype":"string"},"type":"statement","id":"Q918216$A1A0075D-5263-48FF-82BF-589682DE6825","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a89840e6da5d8a209547a4f40b7b851aa5ea16a8","datavalue":{"value":"free monoid","type":"string"},"datatype":"string"},"type":"statement","id":"Q918216$C4DF9CFB-3FCA-40E4-BA7B-8CFAFBA85866","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4d00fa627735b22d11a5ec2028150137b2160228","datavalue":{"value":{"entity-type":"item","numeric-id":404009,"id":"Q404009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q918216$0B075AE7-962B-43E2-B22B-5DE664C17307","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1be1e97a61ec61b6b5428ec7bf911ab8a63c8c39","datavalue":{"value":{"entity-type":"item","numeric-id":389935,"id":"Q389935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q918216$BCD27B5E-38FA-4B5D-98AA-F28940EBF524","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":"Q918216$223E61F4-741D-4074-A48A-9D715A002369","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0fe9c061fc12f5f342063aef4ecd22ab5683f68","datavalue":{"value":{"entity-type":"item","numeric-id":1165018,"id":"Q1165018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q918216$59A354DC-1C45-4155-AEFF-9320847AF492","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0ccb3d15dea78d633cda8dffcef636710c8cbd7","datavalue":{"value":{"entity-type":"item","numeric-id":4195956,"id":"Q4195956"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q918216$39430238-9BBD-4934-BF0E-4756199ABB05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"09c5456dcb6cc1fee088778a9c32823de939192e","datavalue":{"value":{"entity-type":"item","numeric-id":4747533,"id":"Q4747533"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q918216$F6403769-610C-47EF-AC10-4C494D87E50C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"49582f8ec584180cc897530585e03802107fc8bd","datavalue":{"value":{"entity-type":"item","numeric-id":1098283,"id":"Q1098283"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q918216$9DCA04D9-1297-4B3E-B98A-035F07648DAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"39f8caa4d24218ecf63bb6d39ed1b79a4c2266ea","datavalue":{"value":{"entity-type":"item","numeric-id":3936184,"id":"Q3936184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q918216$F0E0C8F0-9B71-408E-AE00-B1673D440F45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84a5beb4ffbe4d8447ef8b9d68fdfb1a8b24a65e","datavalue":{"value":{"entity-type":"item","numeric-id":3677188,"id":"Q3677188"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q918216$90EE1AE7-96BC-4843-B738-8A1F69DDE9FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc38abbcbe7967bc27f3df504ecabdc1246d5071","datavalue":{"value":{"entity-type":"item","numeric-id":1162363,"id":"Q1162363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q918216$5180596C-1CFC-4773-BAFB-59DDF5451CDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d9977c19df4b18c1790dfcb78530ec21c33591a","datavalue":{"value":{"entity-type":"item","numeric-id":4160428,"id":"Q4160428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q918216$3A290B12-D779-41DE-954A-A8637939667C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef24932abd74e01a026e2e349f03bfd5726d23f7","datavalue":{"value":{"entity-type":"item","numeric-id":4102764,"id":"Q4102764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q918216$932EE534-828D-45F4-AE3E-5A1565E4886E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f7f9ed14f47635349292dc1fc5be666cede90cf","datavalue":{"value":{"entity-type":"item","numeric-id":4146263,"id":"Q4146263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q918216$0D82712A-699A-4ECD-BBC4-C9A580196483","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c3941948c78b1b4e598e643befcf898affe34a2","datavalue":{"value":{"entity-type":"item","numeric-id":1247295,"id":"Q1247295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q918216$B5E94950-6B88-4187-A129-92E5D7CA30A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a18c8ab6e2d2a9acc4d84df0c9eccee124cc9dd","datavalue":{"value":{"entity-type":"item","numeric-id":4747534,"id":"Q4747534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q918216$E783171F-D238-436C-A14E-724D8FB82B7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a81bd5fe2316c0fc5ee15f4844e9b2a6e5c30f7","datavalue":{"value":{"entity-type":"item","numeric-id":1073576,"id":"Q1073576"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q918216$DC717013-5E36-44BB-BCDE-7A7BA7CD8B79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d719f40752771a9d8d2f11629b456057b0e183ad","datavalue":{"value":{"entity-type":"item","numeric-id":1089810,"id":"Q1089810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q918216$179722FB-CA74-4F27-832A-6843CD490D8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a7415ca1d7c52cd1c4780d27f42492d99a547b2","datavalue":{"value":{"entity-type":"item","numeric-id":1096399,"id":"Q1096399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q918216$3F0F6D3D-FE1A-4531-9F0F-BA9CF43F8BAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f28607ed99cb3b3c576f397a92c8cf1cc2ba0a7","datavalue":{"value":{"entity-type":"item","numeric-id":4747517,"id":"Q4747517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q918216$1B78D7AE-1656-4131-9492-A436A4C46DC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e0873b107eb73489b8c125ce64d32cb1cd2156e","datavalue":{"value":{"entity-type":"item","numeric-id":1177164,"id":"Q1177164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q918216$F6F3264B-F2AC-4F9E-B348-6D0B57D0599C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a934c95343f5669a8d2db134905f65dede6d62d","datavalue":{"value":{"entity-type":"item","numeric-id":3028362,"id":"Q3028362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q918216$E985339A-A9CF-43CE-BAE6-400C561C3757","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb4ea97960134aeb7944d6d6ef33a7f8b8c05292","datavalue":{"value":{"entity-type":"item","numeric-id":3813315,"id":"Q3813315"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q918216$AD257D57-6B8A-4F00-B344-8372E96C0F97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e4493b59e9145694a46c7ad9659147db0fd2aa8","datavalue":{"value":{"entity-type":"item","numeric-id":1825674,"id":"Q1825674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q918216$FFA4C130-9227-49DE-A2A8-E532779FAE8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3bcf9290a285df8153ca9b953a5084489d9040e3","datavalue":{"value":{"entity-type":"item","numeric-id":918216,"id":"Q918216"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q918216$8C822CA4-2B7B-4B04-AAC1-2CBF3545248E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5709c2ffa01c029b486c6e705fa60fd703dea1c8","datavalue":{"value":{"entity-type":"item","numeric-id":4179852,"id":"Q4179852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q918216$8356A18B-9EE8-4333-8190-299393DAF2F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d63be057f1dbf872e8af155ca01c9414977fab2","datavalue":{"value":{"entity-type":"item","numeric-id":5603192,"id":"Q5603192"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q918216$5B36EC5B-61FD-4D20-BA8D-F5020BAAE0F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b966808ee9c0072c8088b0c39fe14c48405ed89f","datavalue":{"value":{"entity-type":"item","numeric-id":2540272,"id":"Q2540272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q918216$1A70B949-9AA5-4605-B1D4-319BA1971C0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ca213c55a524c8865e3e1f0e8b6e821acd2bc224","datavalue":{"value":{"entity-type":"item","numeric-id":3026371,"id":"Q3026371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q918216$1C3DEA3A-3A84-4901-A6AD-D40A0E47F76A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d4a8db546bd4002de0d898b78cf037d04755bd0","datavalue":{"value":{"entity-type":"item","numeric-id":3779776,"id":"Q3779776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q918216$7D6B05B1-F47C-40E0-B212-7E7EB6C6BB4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c4e23382c60761bfed737b75f4bad581ecda4fe","datavalue":{"value":{"entity-type":"item","numeric-id":579951,"id":"Q579951"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q918216$C808E3B4-2E9B-441A-B933-BB3C44FD6CCD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1883e535737742e2e2eec82711bf06049bac8cb0","datavalue":{"value":"https://doi.org/10.1016/0890-5401(90)90054-l","type":"string"},"datatype":"url"},"type":"statement","id":"Q918216$C8E708EB-8D19-47D8-8025-FAB70532CFE8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e0e33b1f8984743e3c6df80220a433176785346f","datavalue":{"value":"W2063929753","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q918216$5E9BB26E-C572-46AE-9289-5655F7895F3D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"76c57273f8e881f5adbed4b435d4257703146160","datavalue":{"value":{"entity-type":"item","numeric-id":1177164,"id":"Q1177164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6d041469fda2bb4ba10924df0d0464e71a41fb8a","datavalue":{"value":{"amount":"+0.8771721124649048","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":"Q918216$8CDB01F0-51E9-4B85-BA03-E3B972F9FA5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ba6ae5adfff606f4c874fd6335a3ef181c6fc4bd","datavalue":{"value":{"entity-type":"item","numeric-id":910850,"id":"Q910850"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2b22b6e35dbdb504cb76c57398be388fa7528af9","datavalue":{"value":{"amount":"+0.8771162033081055","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":"Q918216$7602376C-68C5-4D5E-904E-A5887E89F253","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0eb9e5469a5c7d3b57691496dafbe1bf432e7c0a","datavalue":{"value":{"entity-type":"item","numeric-id":5286134,"id":"Q5286134"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e75733ebcb7b4f024eab4370b37e96d7a0db3c58","datavalue":{"value":{"amount":"+0.831987738609314","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":"Q918216$A5B389CC-F17F-4440-BC02-DFBDA81B948F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fcfdc2f502c138f8b67e906239327596e51f87d8","datavalue":{"value":{"entity-type":"item","numeric-id":1082092,"id":"Q1082092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4baf2b511c88825a78e109f2d73f509c3d3d2c8d","datavalue":{"value":{"amount":"+0.8235995173454285","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":"Q918216$3D586E5A-CDA5-43B6-B911-AF8984678D02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"de1d99612d2e16b907feb374701560beafdb375b","datavalue":{"value":{"entity-type":"item","numeric-id":4273673,"id":"Q4273673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c1d192ea5cce0ee2dab713d72a3a359ae9583077","datavalue":{"value":{"amount":"+0.8203404545783997","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":"Q918216$556A3DF2-C8AB-48FB-BC28-28C7FACD89E5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A complete rewriting system for a monoid of tree transformation classes","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_complete_rewriting_system_for_a_monoid_of_tree_transformation_classes"}}}}}