{"entities":{"Q6622000":{"pageid":14233157,"ns":120,"title":"Item:Q6622000","lastrevid":42385819,"modified":"2025-06-14T05:56:34Z","type":"item","id":"Q6622000","labels":{"en":{"language":"en","value":"On complexity bounds and confluence of parallel term rewriting"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7929262"}},"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":"Q6622000$D8A1F830-7205-4963-B5B3-FE4A781FF0C7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0bf7cfb010d07c727a53c8d4b0dcdd8373515df7","datavalue":{"value":{"text":"On complexity bounds and confluence of parallel term rewriting","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6622000$22E5F210-6C22-4E71-804B-365A1E0B1DF0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b7fcf5dbe95a6e7179eb5ec3088540f83d6dc6de","datavalue":{"value":{"entity-type":"item","numeric-id":6160758,"id":"Q6160758"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6622000$A8EF455D-D308-4E95-99D1-BDE17A2CFE0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f5320a359c64bceee0a4053edac274f2ae03f2ee","datavalue":{"value":{"entity-type":"item","numeric-id":438534,"id":"Q438534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6622000$50D51F3B-07C0-4F5A-BC93-D5051E311A42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5dd13fa85c5b3a1c862e533cf90557813ae3176f","datavalue":{"value":{"entity-type":"item","numeric-id":1664398,"id":"Q1664398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6622000$15CCD76F-F934-4D5F-A36A-D30ADA96C183","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1529db038bde6a8aed76ac5e8432917aee1a9200","datavalue":{"value":{"entity-type":"item","numeric-id":2803574,"id":"Q2803574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6622000$207B147C-4E70-4581-A117-590E46A8F191","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ac889730097a55c61339de7e6de152e6be5788f0","datavalue":{"value":{"time":"+2024-10-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6622000$CBC08A21-DB03-4385-9096-E1610FEF2810","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6622000$CF056048-5F5A-4223-BCCD-DFDC0C6EB96A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f1e3239d010dfc15656af04574298936b5c17e2b","datavalue":{"value":"7929262","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6622000$B4A271E4-43E7-4211-830F-12198ABA8199","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5a664fc87eb2216b1fad976387dcf6ff589b12b5","datavalue":{"value":"term rewriting","type":"string"},"datatype":"string"},"type":"statement","id":"Q6622000$3EBA14E8-C782-4E83-ADD0-7BD7F962B982","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b38049d159af5d6c62de79db7ea882fef0c299bd","datavalue":{"value":"confluence","type":"string"},"datatype":"string"},"type":"statement","id":"Q6622000$AA12CE84-A6B0-4E93-901D-F66319B88BAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4780b02cfc7bc35a586062e3271a9f52fa94f067","datavalue":{"value":"complexity analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q6622000$6551B216-7A4C-46F9-BBDF-1ACF93E4F961","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5363a43478db45b4fe7ca9bf2ddd9319c05c5363","datavalue":{"value":"parallelism","type":"string"},"datatype":"string"},"type":"statement","id":"Q6622000$4943E8DE-8C27-4FE0-9CEE-A78C1BDAD0A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dca5cc682e76d80a491afdf82202532c8173882c","datavalue":{"value":"static analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q6622000$A99EB8EC-B41E-45A5-AFB6-36D06FD1BCC5","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":"Q6622000$5D37D92B-B475-4EEE-9532-72A780B4A2F6","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a4aada9bb4386e6cc6a2385aa9cefbf58bcfc708","datavalue":{"value":{"entity-type":"item","numeric-id":2233448,"id":"Q2233448"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6622000$D5B990C1-84B1-4B13-90CE-C3DFBFC17113","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db38860c9475bbef0c662118d0893b33f8916213","datavalue":{"value":{"entity-type":"item","numeric-id":6176119,"id":"Q6176119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6622000$F60371E7-E75C-428E-A6D9-14285B868CCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de530f4fd0ff5d107dca05a61e4850c20b39830a","datavalue":{"value":{"entity-type":"item","numeric-id":5097623,"id":"Q5097623"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6622000$0DA04F8D-BF8F-4FD0-8B09-7579D75B599C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98322f61c6603b6f336d02b9f0b16a8198403913","datavalue":{"value":{"entity-type":"item","numeric-id":4617976,"id":"Q4617976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6622000$2F830729-EA98-46BE-B2CA-E2B267F6679B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b939ee2939c4ccffc90391a2e5d00c8574b57e1","datavalue":{"value":{"entity-type":"item","numeric-id":2802433,"id":"Q2802433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6622000$790ACCA7-8FB9-418F-863B-DE84F223DC8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f96533da051c40714d0846efc746b5e4fab501b3","datavalue":{"value":{"entity-type":"item","numeric-id":5703865,"id":"Q5703865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6622000$082F8357-D991-42EE-ACA2-3F1F2CBB0397","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b54a89185e828c67a29141c28e6b7c96465ab50d","datavalue":{"value":{"entity-type":"item","numeric-id":2145278,"id":"Q2145278"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6622000$E31B6664-0321-46E6-B72C-33490877BD2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b863b44ac4faad93d2dc393be5868798adbe6bd","datavalue":{"value":{"entity-type":"item","numeric-id":6160759,"id":"Q6160759"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6622000$0E7BE44A-A6EF-44C0-9AE9-551E63CB0A92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"88530834ec12c39dd9fcfa8ff40d5bf40aeff0c5","datavalue":{"value":{"entity-type":"item","numeric-id":2351155,"id":"Q2351155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6622000$0459FDA2-3302-485E-96A6-0DF95C386751","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"69b0a1a9bb534c42ea053297bebfa6cf421e4b4a","datavalue":{"value":{"entity-type":"item","numeric-id":3612476,"id":"Q3612476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6622000$CCF3951C-B66F-464A-9A71-B413850278EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5f39e8fff5ffefe6ada701aa8caf00762246f7a","datavalue":{"value":{"entity-type":"item","numeric-id":438576,"id":"Q438576"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6622000$E03FF983-F967-4B56-B4A9-453F060725FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"596e81531801f4667663ea94c8d1d2f7c96d808c","datavalue":{"value":{"entity-type":"item","numeric-id":2362493,"id":"Q2362493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6622000$536D1D5C-CDD0-4462-BB01-AB32A16CEB3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c58ec5a4c050753385a87a058e6b3d153b91cf4","datavalue":{"value":{"entity-type":"item","numeric-id":590254,"id":"Q590254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6622000$6EF56F4F-3D1F-44DA-B8F4-08EC3614E057","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":"Q6622000$F4772265-9722-431B-A15B-CB072E6B6845","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":"Q6622000$D439808E-A73B-4A2E-9553-DC6838A8AD7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"77e754d2489cd4e938ceb6ef25e32ef535b674e9","datavalue":{"value":{"entity-type":"item","numeric-id":3541717,"id":"Q3541717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6622000$13D66F0D-4EC1-4DF3-B400-B23CF5B43BFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d52f67c5f70e1390d8c553f0842669671f4cc18","datavalue":{"value":{"entity-type":"item","numeric-id":5170821,"id":"Q5170821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6622000$5DFEB897-2847-4E35-BC1B-FA9E62C3786E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"460a54b19e446fbd918e99b70c249e191621587a","datavalue":{"value":{"entity-type":"item","numeric-id":276251,"id":"Q276251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6622000$C324A9CB-923A-41E4-93B6-EE22BEF3E7DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"09cf2ec6ff73cc2208d521a8abffeb2377180a5e","datavalue":{"value":{"entity-type":"item","numeric-id":1687548,"id":"Q1687548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6622000$1D79BAE3-C1C7-4C11-BAFD-8E839C6AEB09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b126afe2db19f3650ae2d67d280948572d9be24f","datavalue":{"value":{"entity-type":"item","numeric-id":2398176,"id":"Q2398176"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6622000$2D1A8604-F585-4189-935D-B7878851D2D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee132c4e5792ab38a0ff46d3d93155b8fcbe98d8","datavalue":{"value":{"entity-type":"item","numeric-id":1978641,"id":"Q1978641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6622000$C4D395D9-D41B-4AC0-BCE2-6773D97B96FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4245e2c144d2e7cbcc9ef39e10d0138294ef4a59","datavalue":{"value":{"entity-type":"item","numeric-id":1272602,"id":"Q1272602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6622000$516C2B41-9A46-4F01-AD37-99A4DD8B0D6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc4469e6646035129caba23b24c5ef3fc5ec70eb","datavalue":{"value":{"entity-type":"item","numeric-id":3522012,"id":"Q3522012"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6622000$36F5A00E-A97E-42E2-AD6D-B4ECEA3EE1FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed9702c45f558cf37c1cf27f32342d8410b993ac","datavalue":{"value":{"entity-type":"item","numeric-id":4157944,"id":"Q4157944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6622000$6052CB09-7619-4A95-BB01-FB6B59326F94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b4a525346570575a41a435d358edb96d63288341","datavalue":{"value":{"entity-type":"item","numeric-id":2789051,"id":"Q2789051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6622000$9A887251-82A9-4924-BE5B-F725CB09CB1A","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":"Q6622000$04F10FC7-753F-4E06-ACB3-7C354E191A61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8533cf00ebc930b9b782e1fc7f8971f87db31c20","datavalue":{"value":{"entity-type":"item","numeric-id":5684229,"id":"Q5684229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6622000$C67BD9E7-A685-4F11-878D-89E319B2DAF9","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":"Q6622000$5F27AC77-114B-4D9F-8D58-F44E57E24EE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"104f60c84cb2360398187eed5e1dd228a199a063","datavalue":{"value":{"entity-type":"item","numeric-id":764297,"id":"Q764297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6622000$51B7D3A6-A8B0-4B36-98B2-EB00908991DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa375ae76c194259271500956f28a63d0198e05d","datavalue":{"value":{"entity-type":"item","numeric-id":2119101,"id":"Q2119101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6622000$23A238C0-8F63-4237-BE63-E11B7DA97C96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"57d59713a33fffd1fe610c5f315ab2ff7c4cb9a0","datavalue":{"value":{"entity-type":"item","numeric-id":5055719,"id":"Q5055719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6622000$BEA3583C-1E95-4F86-B5C3-0D68D6266BC0","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":"Q6622000$B322C75D-4332-4CB9-935B-8DC7118D9C61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d10b173b76e7da8be3567f21b7e56c883d05c07","datavalue":{"value":{"entity-type":"item","numeric-id":6192005,"id":"Q6192005"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6622000$8C2C1CD2-BAA7-4190-A4F2-3EE598672D9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fda024bf3459ed600e76cd7f05ef4d9afb8ddd7a","datavalue":{"value":{"entity-type":"item","numeric-id":5389068,"id":"Q5389068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6622000$7FC44771-2012-4F84-971E-35FE51C1C86F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22c708f9a64c92fd4de4427f3b37941fff68141d","datavalue":{"value":{"entity-type":"item","numeric-id":3094178,"id":"Q3094178"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6622000$872E224A-4F92-4BBE-BBB9-DD83EA990A9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b0aef60bd392ccfb5e82daa98f095917b33d1745","datavalue":{"value":{"entity-type":"item","numeric-id":3183545,"id":"Q3183545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6622000$888A31B0-5967-4B35-9161-508A37B6941F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ff26ac16f64e362df41bbcf833055b1e25bf45d","datavalue":{"value":{"entity-type":"item","numeric-id":6643015,"id":"Q6643015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6622000$7F9A51B9-194E-438A-BECD-9652AB88CFEE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b8d852007305256c580b48beab34f013b2c4c0e1","datavalue":{"value":"10.3233/FI-242191","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6622000$6E0F97D6-8838-4291-BD98-951DE9A748A2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6622000","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6622000"}}}}}