{"entities":{"Q5055767":{"pageid":7085344,"ns":120,"title":"Item:Q5055767","lastrevid":91920029,"modified":"2026-06-05T00:24:36Z","type":"item","id":"Q5055767","labels":{"en":{"language":"en","value":"Decidability of confluence and termination of monadic term rewriting systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7631174"}},"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":"Q5055767$D6439EAC-CA1C-4650-B532-23D9BA920003","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f4ca73bc840701a4a4cff06aadf3e7eaa69cd85e","datavalue":{"value":{"text":"Decidability of confluence and termination of monadic term rewriting systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5055767$6E33AC72-C550-46BB-89AE-202ACC4E8B89","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b022d109e31f25f3d30756d32ea34042dfca06fd","datavalue":{"value":"1503.68151","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055767$7FF36CD1-52C9-4993-80BF-D08004669F7D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f2e021b48f0e41609672b6807044e04d9c826c59","datavalue":{"value":"10.1007/3-540-53904-2_103","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055767$78073CE4-1524-4E8D-8B6C-9197CEB0FCF6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8455035442168fbb99576351474dec2ff822256f","datavalue":{"value":{"entity-type":"item","numeric-id":247255,"id":"Q247255"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055767$0331B28C-A10C-482A-9E9F-EAC302FAB3ED","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":"Q5055767$A0DFF5FB-DC31-4B9E-A83F-C2C25E8FE6F2","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":"Q5055767$2E191377-BBA6-477E-97AA-F11ED88DBB20","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055767$5B39CD1B-18F6-4124-8A28-9D18490BF51E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055767$4E356DF9-3E67-4AA8-9042-F0667DF6B390","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055767$3DCAC644-7920-43FA-8A2E-6466F1530D4B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8b9c1a60a7c243294dae8e9d2b8c8281a9e48082","datavalue":{"value":"7631174","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055767$7A515C0F-EA16-4336-9A4D-928CE695C9E8","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":"Q5055767$25192378-8F8A-4454-99BE-2761CE7C99ED","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4ca630066a8bad5e787bdc3ec62286fcad2bd995","datavalue":{"value":"https://doi.org/10.1007/3-540-53904-2_103","type":"string"},"datatype":"url"},"type":"statement","id":"Q5055767$51C8FDA8-1843-42BC-8386-8BB066320F25","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a026adc4f1b930d11e33f23797266b2ad4b8f29c","datavalue":{"value":"W1512579902","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055767$9B7857FD-3E2B-4081-A6F0-B64B937ECEBA","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3455e3f4a94a330dba477e08dabbd126fc6889f9","datavalue":{"value":{"entity-type":"item","numeric-id":1262752,"id":"Q1262752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055767$A59E9CC7-4143-4501-A4D2-0E5A2808B9C2","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":"Q5055767$F1FD8551-B2E2-4504-A56E-53784CB89073","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e004ad7c53d1b6136d8c12b096d8cc2682099b5","datavalue":{"value":{"entity-type":"item","numeric-id":1099642,"id":"Q1099642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055767$FF93D83F-BF45-49B4-BF36-4E13C8D31A11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"937911e42f68d251c82fa9be54759bda8aea4ecb","datavalue":{"value":{"entity-type":"item","numeric-id":1165842,"id":"Q1165842"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055767$CB6CC67B-0582-4613-BAC8-064DD7FC18C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"31ef24bde393b5b122827c8fef325e32e7955eca","datavalue":{"value":{"entity-type":"item","numeric-id":5055715,"id":"Q5055715"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055767$BB188309-578C-4D8F-93CE-A7793EA73530","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"efbc318032cec747535bd0c6935dca630a9056d4","datavalue":{"value":{"entity-type":"item","numeric-id":918215,"id":"Q918215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055767$49457EE8-4FAB-42B2-88E0-467366B3E96A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6d3f5f0e6d39b0610560c479018fc71a2adcd20","datavalue":{"value":{"entity-type":"item","numeric-id":1098624,"id":"Q1098624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055767$EC326275-0F72-46EE-8243-A5BFEE8E6733","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":"Q5055767$0BC06E23-0268-46E2-8EBD-586AAF001741","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aef54c5db44ce04a09d816f6d39aa5422147f89f","datavalue":{"value":{"entity-type":"item","numeric-id":1820760,"id":"Q1820760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055767$FAEB8132-B17C-4317-B1FC-76FAF216976E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"20b2d686cee4a3c3f8b34fe98b0a4b4dfce7fd2c","datavalue":{"value":{"entity-type":"item","numeric-id":1082092,"id":"Q1082092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055767$17BA3A18-A33C-4929-AB4B-98B4A5A25920","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0079b0c7d694a397659be503d6216c85129b1bb1","datavalue":{"value":{"entity-type":"item","numeric-id":3323279,"id":"Q3323279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055767$4B27EED9-EF51-406E-88A0-5750D5EF2C35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a3fc6ba95a7a3d1c30683f3ac547139937323420","datavalue":{"value":{"entity-type":"item","numeric-id":3780428,"id":"Q3780428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055767$61ACE020-87A6-43B5-8B0B-8D2D47DA692C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9b0f814673578ca6c8ce1b6e3796018f2090acf","datavalue":{"value":{"entity-type":"item","numeric-id":3835440,"id":"Q3835440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055767$699941A2-5F3E-486F-A5CE-15AF4D3618A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"599c5dbf52817fbbe5f2f15e33a96dc6ac97514e","datavalue":{"value":{"entity-type":"item","numeric-id":3908463,"id":"Q3908463"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055767$C38FF8FF-009E-4A57-9EDF-8C7EC3B0CA6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e46f0326b647ba2cdf08d8baa3f51cd6a58f37f4","datavalue":{"value":{"entity-type":"item","numeric-id":3994922,"id":"Q3994922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055767$22EC42ED-B179-46CE-AA1F-0401CB6B7D06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"849241baa6b3c56591969b2586e51dae90f667cf","datavalue":{"value":{"entity-type":"item","numeric-id":3816048,"id":"Q3816048"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055767$7039E457-C744-4BE2-8718-A043AA207726","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4fbe446638a30935c3b4739bf981a9ef50f564f2","datavalue":{"value":{"entity-type":"item","numeric-id":913496,"id":"Q913496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055767$B42BC7AD-5040-476A-91E5-6743E0DC5448","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"577c16d7219eebe17d5c59e5734b8d6c26ea7c26","datavalue":{"value":{"entity-type":"item","numeric-id":4038704,"id":"Q4038704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055767$077DDB9A-7A8A-41C1-A81D-3E65ECAB0763","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a1e0b4fc54e8c62a86959e50d4b1b27d9d9a092c","datavalue":{"value":{"entity-type":"item","numeric-id":5581665,"id":"Q5581665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055767$C7390A8C-430E-4DBD-8A68-3CE874BEAB71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce4e84eb72ad50dabc1ac701be55dd4e88d28569","datavalue":{"value":{"entity-type":"item","numeric-id":3490955,"id":"Q3490955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055767$614E4B9D-1EBA-4426-8DFC-21B74B80EAEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"224fe5205d72f8b7bf3d1117c14acd86046e588d","datavalue":{"value":{"entity-type":"item","numeric-id":2652528,"id":"Q2652528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055767$062588CB-069D-478A-89F5-F41FC12F489C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"53a2161d61de39868eace75d44b99156e6623a4c","datavalue":{"value":{"entity-type":"item","numeric-id":1100890,"id":"Q1100890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055767$FF57D0CA-7AFE-4E62-BB56-430A45C127C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8670a1cb5138f59a7607a06c6c33e9eef7f2c9ea","datavalue":{"value":{"entity-type":"item","numeric-id":3938536,"id":"Q3938536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055767$2B5A93CB-79B5-42E9-BD23-6157C9941F80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"224a8f502813ed342d6cb66c96544427e8289115","datavalue":{"value":{"entity-type":"item","numeric-id":1118421,"id":"Q1118421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055767$59082299-4487-4E5C-B820-F35D8BA7DA98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"00553ac092d6334e80ed96d2588d20d133dd4ed3","datavalue":{"value":{"entity-type":"item","numeric-id":1825190,"id":"Q1825190"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055767$182FB574-3AB4-4D1A-926C-BD9782136E74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b032d4c7611825b4821687076e447e12a3226844","datavalue":{"value":{"entity-type":"item","numeric-id":3883563,"id":"Q3883563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055767$B7247AF2-C8EA-4434-9EF2-0E265C7B51EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"031d93ba0f0d59696b935bd9707e0c0dc3b5aa4f","datavalue":{"value":{"entity-type":"item","numeric-id":4050191,"id":"Q4050191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055767$44B09BCA-4BF9-4A07-BBD8-DC3D7951F7F9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c9e3e637160bb9093a1a496c9ba29c904439b87b","datavalue":{"value":{"entity-type":"item","numeric-id":4033499,"id":"Q4033499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"84ad79957bc3f2c579c2477156c37da0edfe030e","datavalue":{"value":{"amount":"+0.9691054224967957","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":"Q5055767$F6A45FB1-57F2-4100-B7CB-A1AF8F4E6398","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b0940618d49c132337300de670c9f665db3b062e","datavalue":{"value":{"entity-type":"item","numeric-id":5394600,"id":"Q5394600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8375b16398683b0c673ea81a7b11cee97e6ae644","datavalue":{"value":{"amount":"+0.96797513961792","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":"Q5055767$4C0D4476-1FB6-429D-8510-CB4F83F2F184","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f4880fc917ad3791a0a20c9e3e087ac5ae77bfce","datavalue":{"value":{"entity-type":"item","numeric-id":913496,"id":"Q913496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e1f26cfb465dbbc299e262a2da6b13b8eefc6b36","datavalue":{"value":{"amount":"+0.859833300113678","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":"Q5055767$C55A7BEE-B7E5-4E21-ACAD-99CEAB920543","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6e3f45eea40d80ccd249df454e6f68e1181ab9b6","datavalue":{"value":{"entity-type":"item","numeric-id":918215,"id":"Q918215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6b8bc28e90040cacac3ddf63954bc80c21ec33e9","datavalue":{"value":{"amount":"+0.8488327860832214","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":"Q5055767$CA19E6D6-E451-4576-B259-9548DB9F7283","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0e9b55795bacf7086e52e3f4c698fc080c9a03b5","datavalue":{"value":{"entity-type":"item","numeric-id":5705906,"id":"Q5705906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2df4174cdee8690e017be5323e5ab526ca85291f","datavalue":{"value":{"amount":"+0.8465049862861633","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":"Q5055767$9248B147-D9FB-4619-8B59-E996D49238D9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Decidability of confluence and termination of monadic term rewriting systems","badges":[]}}}}}