{"entities":{"Q7034585":{"pageid":21710394,"ns":120,"title":"Item:Q7034585","lastrevid":77523098,"modified":"2026-05-04T15:53:13Z","type":"item","id":"Q7034585","labels":{"en":{"language":"en","value":"Confluence of logically constrained rewrite systems revisited"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7977538"}},"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":"Q7034585$16B9F8D2-C318-4E2B-9897-B4D7BB38D1D4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ce2b043b0036793b55c75509abaf60fad8dbc480","datavalue":{"value":{"text":"Confluence of logically constrained rewrite systems revisited","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q7034585$C34F7021-54FB-45D3-AC8E-0EC8AE8C7888","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c345fff8d8e78357cbe969d9ed234c01664af386","datavalue":{"value":"10.1007/978-3-031-63501-4_16","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7034585$F9DD3404-16A1-4860-AB5D-92379BDCC51B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"76908a96dd9a93ab0d464108cd942f4efb1dbe42","datavalue":{"value":{"entity-type":"item","numeric-id":1791186,"id":"Q1791186"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034585$E616FA86-F809-4999-9CA3-9D013C05F2D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"84b29662279b47dadf2cc042a76fb0c295ff3a1e","datavalue":{"value":{"entity-type":"item","numeric-id":2233500,"id":"Q2233500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034585$24677226-0BB5-4340-98D0-0EC134780C62","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":"Q7034585$07EB2049-14EF-472B-A6DF-FD1F25A229C6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"faebccf51ad7ddcce1eed4a97c7e0eb92d585316","datavalue":{"value":{"time":"+2025-01-31T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q7034585$FF0B7635-5DE0-4D39-A881-2A258B4A40A9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7034585$BB4ACD0D-30A5-459A-854C-0B06E9A50410","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ef5765921e5913ad70b4c776bdd8fcb855d71e3a","datavalue":{"value":"7977538","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7034585$FA5BDE50-C43D-4EC1-9870-13A5EAC56A80","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034585$BD37FD3F-4BE9-4D4C-ACFB-ADAFD592D719","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":"Q7034585$7C63B4A5-75CA-488D-8728-F9AA6CD3BA3B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a479a363657e43b6143e69b7f9e5c4587f34570","datavalue":{"value":{"entity-type":"item","numeric-id":2849497,"id":"Q2849497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034585$E8ADD6FE-FE1C-433F-9EBC-734216F2D8E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8a2bbb5b4d44285ce61bd44fd533431301032d9","datavalue":{"value":{"entity-type":"item","numeric-id":3636821,"id":"Q3636821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034585$D63B2BA5-A5DA-41CB-8E2C-32B0A7F07CD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a1a3af2359a4b8594ad32588a1a3890f929399b","datavalue":{"value":{"entity-type":"item","numeric-id":6052946,"id":"Q6052946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034585$449CF1B9-ACC6-4E34-822F-57381E6AFBD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2908b882f84be4917b45ada52813497d33c1e4b2","datavalue":{"value":{"entity-type":"item","numeric-id":1799091,"id":"Q1799091"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034585$329BB4E4-7B7C-499C-983A-C4EB3ACF1EBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"63d51aca6beb1a70c4f7a03278c2c88c76364cf8","datavalue":{"value":{"entity-type":"item","numeric-id":5278212,"id":"Q5278212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034585$646B075E-1E2A-4D04-9E64-38F39AB6EB05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bfe3faa2fe777bdd3b70d1a845f296c9eabeb910","datavalue":{"value":{"entity-type":"item","numeric-id":5878911,"id":"Q5878911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034585$B98DC78D-9C37-4DF6-B7B4-2C99B410E86A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fdb0fc94a084829e929bab4e374c13580e9d5499","datavalue":{"value":{"entity-type":"item","numeric-id":2305423,"id":"Q2305423"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034585$4F990677-3280-4A1E-B4DD-238455E5589B","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":"Q7034585$6657B55C-BBE5-48CE-B74C-890EA2253BF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e320cbb0f3f563f8c9cd8200a3097ac5209d588","datavalue":{"value":{"entity-type":"item","numeric-id":6643026,"id":"Q6643026"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034585$310FC6E9-81D0-4423-832D-7DC2EAB6FE67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2867379881a9fad1d7058ee036fa7796030eccda","datavalue":{"value":{"entity-type":"item","numeric-id":2849501,"id":"Q2849501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034585$3377D2FA-8126-4CD3-98FF-28572E03A9A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f30922957fb622ffdcbc55c75cee3bb82a58abd","datavalue":{"value":{"entity-type":"item","numeric-id":2405264,"id":"Q2405264"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034585$F16D5805-BD9B-4F2D-9587-F768849D3B4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e4935ad48e4266d08c483ec2131b1e0a201050d","datavalue":{"value":{"entity-type":"item","numeric-id":1392147,"id":"Q1392147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034585$E3B82EEF-AD95-4C34-8F97-BBD5E900A273","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29a8d14eae1fab181499f44d4720082adebedfb9","datavalue":{"value":{"entity-type":"item","numeric-id":5845383,"id":"Q5845383"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034585$ABC7C0E7-D526-4D98-98CD-045CFF0A1E7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1df4d7878093222ada6b5a620c05ba864667cca7","datavalue":{"value":{"entity-type":"item","numeric-id":6492763,"id":"Q6492763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034585$7A76770B-EB8B-4B7E-9CD9-710775847A3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c68d03637fe48e8249964d414b326d5059b4426","datavalue":{"value":{"entity-type":"item","numeric-id":6544123,"id":"Q6544123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034585$637BC188-42A4-44A9-AE9B-A8DB7BF17F17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"00912eec06d4f9baae512236a9b80f68a52ee40b","datavalue":{"value":{"entity-type":"item","numeric-id":3830525,"id":"Q3830525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034585$40490579-8D0A-4AB8-A306-6FA1CD4ABE26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d10fc74bb631d103d55d98623ca6a59a70b5d01","datavalue":{"value":{"entity-type":"item","numeric-id":4993362,"id":"Q4993362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034585$F5FBC6A7-C311-4A97-B4A3-08685348A546","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e28a8b32df06a79168d48f024922f49649acaddd","datavalue":{"value":{"entity-type":"item","numeric-id":2352504,"id":"Q2352504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034585$67FD0606-5AB7-4557-9578-70638BD7A5F9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Confluence of logically constrained rewrite systems revisited","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Confluence_of_logically_constrained_rewrite_systems_revisited"}}}}}