{"entities":{"Q5055830":{"pageid":7085407,"ns":120,"title":"Item:Q5055830","lastrevid":47785984,"modified":"2026-01-02T16:51:32Z","type":"item","id":"Q5055830","labels":{"en":{"language":"en","value":"Level-confluence of conditional rewrite systems with extra variables in right-hand sides"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7631249"}},"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":"Q5055830$B8FE419E-C864-4E54-AA40-536E6386E1F4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d623305ce2d1df594dc470648f9823f6f73356e0","datavalue":{"value":{"text":"Level-confluence of conditional rewrite systems with extra variables in right-hand sides","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5055830$BC215659-3E0C-4CBC-B79E-45957666B52D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"74597ef4ad9e8319e9ef14ecca4c5c74329337e0","datavalue":{"value":"1503.68159","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055830$FD8820EF-E545-4315-BA3E-A156E8BCDA5E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"aaa32fff88225bc4e29ecc6b136fc3eaf0d6145e","datavalue":{"value":"10.1007/3-540-59200-8_56","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055830$121DF0E1-3797-486A-88F9-05FCF5EC9DBF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6adac6d24828ebf103584bd6f740bdc897c9605c","datavalue":{"value":{"entity-type":"item","numeric-id":841229,"id":"Q841229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055830$E2DEB094-6A58-442C-BD2F-2C37B24A6BD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7072b29ec05013e9a2e81e1795de7757de4265ff","datavalue":{"value":{"entity-type":"item","numeric-id":293293,"id":"Q293293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055830$D68F0E34-78BA-4ACA-B9AA-13B659A4F3DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4b6abd34bf2c1ff2e47854f70a86c2a484a01cba","datavalue":{"value":{"entity-type":"item","numeric-id":485838,"id":"Q485838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055830$17BC0A91-98BF-444D-9D83-59917F11DB3F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4580600c65d33f1ab219084d83b64440a1c4781d","datavalue":{"value":{"entity-type":"item","numeric-id":3522004,"id":"Q3522004"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055830$D02E3FA2-334B-45C0-9EA8-87211FD5F4E4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"11447fc0ad9bdb1f5ac45f1763d7f4fd1b0676df","datavalue":{"value":{"time":"+2022-12-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5055830$6BE1081F-4717-4B8F-B755-C8304EC2CEEA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055830$1DACC790-7C24-4A05-B7E9-11F8F1518E7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055830$2622AF88-74C2-4A28-AAB8-ED737244DBF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055830$12AE543D-4869-4E0A-9381-EA282466605C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"47a7b5b412e0abec0220efaa8e5e85389ce1dbdf","datavalue":{"value":"7631249","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055830$F200C745-447C-42A5-95C0-08ABD0B90190","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"32dae26506ed7b7d490e6f4de337f1bbf687f144","datavalue":{"value":{"entity-type":"item","numeric-id":15552,"id":"Q15552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055830$458884DD-1BBB-4853-9307-A1F684A0B360","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"77263c8b87dcdf4b5cd3179005e949596b9b5133","datavalue":{"value":{"entity-type":"item","numeric-id":20977,"id":"Q20977"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055830$6AEAE7BB-C124-4D38-88FE-D80DEC7D08BC","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":"Q5055830$5F7D523E-F84D-4680-99FA-4CC3C982FC77","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fd8ef5d1763072de23a5300cf7d65b0401692be8","datavalue":{"value":"https://doi.org/10.1007/3-540-59200-8_56","type":"string"},"datatype":"url"},"type":"statement","id":"Q5055830$BBC3031F-AC33-48C1-876E-F16284C27B00","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"989d9765bd26675ba6e41cc72574750a5288c567","datavalue":{"value":"W1494825669","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055830$FB9A30CD-BEF9-41EE-A8B0-F5925BDA62B2","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b39369ac2ddb3723d2c767360cfb85af8e3cd5b","datavalue":{"value":{"entity-type":"item","numeric-id":4537513,"id":"Q4537513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055830$DE1B1267-4D92-4ACB-9566-FF97D004247C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a03dacafad2ff19ded175ac7d62381d002687606","datavalue":{"value":{"entity-type":"item","numeric-id":1111368,"id":"Q1111368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055830$AC510454-8C6E-48B6-8A10-32E0CAC7930F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ba63cec2a86a6dc7431d441a20d30f64d69d94c","datavalue":{"value":{"entity-type":"item","numeric-id":5055711,"id":"Q5055711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055830$06E62A8E-8CA7-4EBD-97F2-1105C359D12F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a01d4a91dcf05e247efe3d36d8b1cf5c4792f88","datavalue":{"value":{"entity-type":"item","numeric-id":4385532,"id":"Q4385532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055830$1EAC1ADB-1FE4-426A-9C45-B2C89A98C9AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d903972af7d29825f64b1c88e5395eb0b5d0fe00","datavalue":{"value":{"entity-type":"item","numeric-id":915429,"id":"Q915429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055830$1F2B24B3-3EF5-473A-9506-55E127209836","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"27f8f7ccc1c97a833573f62334972a5021fa3d72","datavalue":{"value":{"entity-type":"item","numeric-id":3817653,"id":"Q3817653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055830$905EF661-E8D2-4BB4-AF29-7385774AC901","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a0fc3ac50cdc68701590cf5e25ba53d4476472d8","datavalue":{"value":{"entity-type":"item","numeric-id":2638759,"id":"Q2638759"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055830$56D26FAB-C29F-46D9-9DCF-AE0FB53D0C12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"604fc502056f8cc2ccfd9332e67d94de225503f6","datavalue":{"value":{"entity-type":"item","numeric-id":3789061,"id":"Q3789061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055830$B7D2C047-DCFE-45D2-BE0B-A4D27D263A70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6461217b163a7e234600ee511301f07238e6e4c","datavalue":{"value":{"entity-type":"item","numeric-id":4202938,"id":"Q4202938"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055830$10B42263-92A7-4384-BC21-EA79E4730AAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f69d87db92b2e3de89b874bfa67b91334bc4a289","datavalue":{"value":{"entity-type":"item","numeric-id":4537514,"id":"Q4537514"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055830$75C4AACB-9DAD-4B1A-861D-AAA81BD69CB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"83880f170299ba13e2e839890cba27cc20df7932","datavalue":{"value":{"entity-type":"item","numeric-id":4305632,"id":"Q4305632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055830$EC6A5DD9-E66C-4559-98E5-CBBF2DE71CFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19bc50e2f4d2cceaac2ab96d0b4ab028848b7d4b","datavalue":{"value":{"entity-type":"item","numeric-id":4023900,"id":"Q4023900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055830$C3DE3966-43A8-421B-BE39-830C6F778A8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"35b9a73f16aa3f0972f12a4a0d3ac34bbf680315","datavalue":{"value":{"entity-type":"item","numeric-id":1332335,"id":"Q1332335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055830$A114D8EB-529B-40AD-A736-95866985B439","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"35b3a3bbb3070928fbac1b871eab8deae4848ea4","datavalue":{"value":{"entity-type":"item","numeric-id":1328184,"id":"Q1328184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055830$FC3E196F-81E2-4D58-A173-536F1D3A5C9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"41900839a0c3b2b417be2604da24b7f1f47cb5fd","datavalue":{"value":{"entity-type":"item","numeric-id":3992229,"id":"Q3992229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055830$D2A5FDCB-0F09-4308-84E9-013527E55C1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d6469c6fdd722f8205a6fe40716239699bc06ad","datavalue":{"value":{"entity-type":"item","numeric-id":5881185,"id":"Q5881185"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055830$FF571285-FFA6-406E-8066-1D8A7D0D6F7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"130aa93c622f03ef50a7d5b09fe05904ae116d29","datavalue":{"value":{"entity-type":"item","numeric-id":4937190,"id":"Q4937190"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055830$005573AB-742B-4B8F-B4F5-5A2078DBA952","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3a1611cb9417e5134b7d8804249cc6b5e2f380a2","datavalue":{"value":{"entity-type":"item","numeric-id":3817653,"id":"Q3817653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"827ab3f351d926bfa43f2d846a53c2f385747006","datavalue":{"value":{"amount":"+0.7890259027481079","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":"Q5055830$991FF00C-E0F8-40B4-A63E-28B0E43375C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d75a70085fde5b6308d974b348cdccfe783e8981","datavalue":{"value":{"entity-type":"item","numeric-id":2518609,"id":"Q2518609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c17d9a1cf18f8764ae9363c38b889565a8a40d33","datavalue":{"value":{"amount":"+0.7887120842933655","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":"Q5055830$0C0AA642-6F24-40F3-BC36-8A9E713D7075","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4f83a6ccca12e7c24c05b4a5bae49f518803a8e4","datavalue":{"value":{"entity-type":"item","numeric-id":4499285,"id":"Q4499285"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"19f67e05cb73148a0aa4662b0b845a850733c052","datavalue":{"value":{"amount":"+0.7756918668746948","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":"Q5055830$2DBC03C8-682F-4EB9-B111-547D04F1B557","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ac61b104e0ac95c009d4e7f81bab27e2a4f243bf","datavalue":{"value":{"entity-type":"item","numeric-id":5881285,"id":"Q5881285"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dbfa7de1f549ca22650c6cd312313b43acc06968","datavalue":{"value":{"amount":"+0.7589600086212158","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":"Q5055830$86D01227-407E-4A0C-9F7D-9329A18F3299","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4fd7de7cb0c5deffe8e0980fa46fbc8a99e0162d","datavalue":{"value":{"entity-type":"item","numeric-id":4702971,"id":"Q4702971"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"332b2a911b05832111e66d85f2dc274860ae5f40","datavalue":{"value":{"amount":"+0.7578837871551514","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":"Q5055830$FDBB5252-4D9F-4740-9DED-04D92AA96371","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5055830","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5055830"}}}}}