{"entities":{"Q2117255":{"pageid":2127998,"ns":120,"title":"Item:Q2117255","lastrevid":57729780,"modified":"2026-04-01T03:37:02Z","type":"item","id":"Q2117255","labels":{"en":{"language":"en","value":"Concurrency theorems for non-linear rewriting theories"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7493653"}},"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":"Q2117255$DB31E38F-1968-4ADF-BE01-97100E9C84E1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e6b60fef6976488c3bf681551c3923c633fcb335","datavalue":{"value":{"text":"Concurrency theorems for non-linear rewriting theories","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2117255$1676E0D8-6D2F-43A2-8FA3-74D734764EDE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ebc48812bc4b761447b2259095761d034369962c","datavalue":{"value":"1489.68115","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2117255$BF59EE26-AF72-48A9-B170-07DEA8D5911E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3b487db1638a91e57c53cc8eee1e7870815d17b3","datavalue":{"value":"10.1007/978-3-030-78946-6_1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2117255$E576E103-51A5-4F99-A215-7CA367D0B4DD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f4938cd674b3827cf170a841cf43f84e0115108e","datavalue":{"value":{"entity-type":"item","numeric-id":270466,"id":"Q270466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2117255$01D29D97-B16A-4516-A1B8-84BB74A9CF95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cfb3f92670497ae1f65fbbf8530f3aa09cd89902","datavalue":{"value":{"entity-type":"item","numeric-id":636306,"id":"Q636306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2117255$536F6A2E-A87B-4F1D-8C62-3B3BB715A722","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"766696e0f2a55332b28b86d8d6b2d952816bbc9d","datavalue":{"value":{"entity-type":"item","numeric-id":953540,"id":"Q953540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2117255$A60167DA-594D-49B7-84A0-99A64F5FE9AA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9d3dbf12e1376632bae2e48d8bc3683002116149","datavalue":{"value":{"time":"+2022-03-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":"Q2117255$6EE1631E-CBE5-4E7F-8838-C24E4F39452B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0774934f77a5f29e140b0e9796dde5d4dd4d7007","datavalue":{"value":"https://arxiv.org/abs/2105.02842","type":"string"},"datatype":"url"},"type":"statement","id":"Q2117255$0367690F-9AB0-4642-9FF2-6BFD823296EB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2117255$069CED87-1F2B-4A22-B0AF-5DB5DC21836F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2117255$209C4101-A55E-4119-AE9E-AD32D5D0BA84","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c47fb4e1cc1c7dd5e9bf6d2e88a2069621d78044","datavalue":{"value":"7493653","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2117255$3FC58EBA-DCEB-44FF-870D-B9295D53DA37","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"db1e06e25aec90f0ddf134f3b58b659845441d7e","datavalue":{"value":{"entity-type":"item","numeric-id":35506,"id":"Q35506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2117255$1855F348-5E1D-4190-98EC-D9DB26A58B41","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":"Q2117255$FC90B37C-0AFE-4117-908A-288B77B71009","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c6ae9500274a8051bb048456b2d06dd1cf37b018","datavalue":{"value":"W3173342440","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2117255$A9AFA34E-1F12-4697-87A1-80A11359871E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"945b569cb2b5d0341f9462d371c087963dc779f6","datavalue":{"value":{"entity-type":"item","numeric-id":3411966,"id":"Q3411966"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2117255$09CC5FD1-CBB8-44EB-91E2-CB6124DFA40C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e179f9fc2a18dc4a0d0f911c45fbc330b09ab5f","datavalue":{"value":{"entity-type":"item","numeric-id":5020536,"id":"Q5020536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2117255$DF09360D-6D8E-4581-A247-B12FE90FE430","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f61ccbfef79243c2b6d8ac0f45203ef647f63bc","datavalue":{"value":{"entity-type":"item","numeric-id":5020951,"id":"Q5020951"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2117255$7AF591A7-1D06-44AA-BCD1-5ACAE7984F23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c6d93cecacd2ee0ebb3bdaa945583046e740725","datavalue":{"value":{"entity-type":"item","numeric-id":5021230,"id":"Q5021230"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2117255$95366D7A-5829-4AE7-8C3B-2262882829B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e09afccbe21d4b9dbbdf77f87451a4e7588d79e","datavalue":{"value":{"entity-type":"item","numeric-id":4635860,"id":"Q4635860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2117255$737FB177-3318-4C0A-9645-365AD97242E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f70628d4a0a2c56bb98804b3914305a9456877b8","datavalue":{"value":{"entity-type":"item","numeric-id":3300791,"id":"Q3300791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2117255$B0FA3049-B486-4B43-B46D-A6E645169E09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ac84c2237319ce37e26d5ce66a31e986852d8bf","datavalue":{"value":{"entity-type":"item","numeric-id":5100733,"id":"Q5100733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2117255$520C9A80-93A6-423C-96E2-F47724C156CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f0b19e79bf79df63f2df8a48d2d141e37f01912d","datavalue":{"value":{"entity-type":"item","numeric-id":5087656,"id":"Q5087656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2117255$52F6C767-AED8-42AA-9A6D-AB3C8EAE27CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fc9745bf7f471c506cea58c805563b55ec623d3e","datavalue":{"value":{"entity-type":"item","numeric-id":3300790,"id":"Q3300790"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2117255$9B159399-02CD-4BF1-99E7-4B83BD559952","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a0c0bf80cdada07adf7374b8a868a040e4de7cc","datavalue":{"value":{"entity-type":"item","numeric-id":3089366,"id":"Q3089366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2117255$1FED93C1-048F-4310-A768-5539E317DA4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eff01cb61baf9a88f9e6a37a22ebf6186e97e320","datavalue":{"value":{"entity-type":"item","numeric-id":631570,"id":"Q631570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2117255$14ED0EB3-4342-4664-82C8-8C856A3D4B08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fd04d969c418aa9cf82982951db0dfad593b17ce","datavalue":{"value":{"entity-type":"item","numeric-id":5958307,"id":"Q5958307"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2117255$90C0B1C0-2A81-4F1E-87F0-6964C2B05723","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a30b8960949e22d89199b69c7dfa16333a87952b","datavalue":{"value":{"entity-type":"item","numeric-id":1398462,"id":"Q1398462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2117255$1A6443C1-7E78-4C4B-B76D-B8A212AEC88F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6405ffb8c2f49dfb899a592081fcc626c5887e32","datavalue":{"value":{"entity-type":"item","numeric-id":3541945,"id":"Q3541945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2117255$CA5CFB58-BB5C-4422-94B8-082A52E9A6BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"431bb693f218d2857f3a0e045afef735076a5da5","datavalue":{"value":{"entity-type":"item","numeric-id":2947209,"id":"Q2947209"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2117255$E6ED37A2-813D-43EF-BC8A-E151D98E7A48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"afc458ace10bf146afe0da20bfab4b700c8256bd","datavalue":{"value":{"entity-type":"item","numeric-id":3192234,"id":"Q3192234"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2117255$C6AC888E-5F85-4C5A-AB6E-DB2AED93EB20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac664435f5704177c5ec72c3b2a1862089f74869","datavalue":{"value":{"entity-type":"item","numeric-id":1112156,"id":"Q1112156"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2117255$4DE51AFC-5515-4480-A255-BC54B54986AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"07d2a5930b67fedf7ddfefc5427ba29961082dee","datavalue":{"value":{"entity-type":"item","numeric-id":2491953,"id":"Q2491953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2117255$2C0E5095-80EF-4EC2-957B-B2CEE9BDCC45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a420505ead838e911ca3cf8895b9e406b1cecc50","datavalue":{"value":{"entity-type":"item","numeric-id":4904140,"id":"Q4904140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2117255$E8FAD50D-BCE8-4842-B236-36D0800048A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e681e8f5d34c7378667bf1834efb65547e6299e","datavalue":{"value":{"entity-type":"item","numeric-id":5292592,"id":"Q5292592"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2117255$630A97B1-470F-4DC9-8D2A-92C849D63A28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df669bab4e4a6685568f9792db6ac8ced751658b","datavalue":{"value":{"entity-type":"item","numeric-id":5740375,"id":"Q5740375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2117255$063D6431-B1EF-4837-91AD-FA6DC4ACB314","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dbc8c314fb8e11704d4a4613d94aab9fe6a99d55","datavalue":{"value":{"entity-type":"item","numeric-id":4931318,"id":"Q4931318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2117255$2FC081EA-5BE5-4C69-AF8A-756C6A425F20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0eafd14e1ca1ad310e4e7bd9a5b4e361fb91c65","datavalue":{"value":{"entity-type":"item","numeric-id":2884483,"id":"Q2884483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2117255$39C1CF54-7E1C-4DD9-A3B1-C634A91FBB1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b50f997311b970eabb25690055a6eb8442de19b","datavalue":{"value":{"entity-type":"item","numeric-id":4931319,"id":"Q4931319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2117255$5C458A2D-4BDE-46D7-9DAE-0382C41D771D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b41cbef27cf2edd74cc41ddd8d179ab3a2e113ba","datavalue":{"value":{"entity-type":"item","numeric-id":4783274,"id":"Q4783274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2117255$39D68CD3-F525-48C2-8EEB-EAECB7CED0D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e57308ecec23158d7c6f51405c3cf70ec00796d3","datavalue":{"value":{"entity-type":"item","numeric-id":3612498,"id":"Q3612498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2117255$C1E66506-8E47-4023-8A14-9966788779FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de91b91539e6dce8e5fed1bf2118f8815976390f","datavalue":{"value":{"entity-type":"item","numeric-id":5308456,"id":"Q5308456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2117255$82A6C81F-1F0B-4299-A361-BA60F37D557B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d6ace226510f8e2eff52b9075789b73af097201","datavalue":{"value":{"entity-type":"item","numeric-id":5313719,"id":"Q5313719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2117255$2963FC52-292B-4306-B67E-97F17C6A2BA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"284666905b00daf88fe61b7e2febb9a8545a6a53","datavalue":{"value":{"entity-type":"item","numeric-id":2947207,"id":"Q2947207"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2117255$BDA4298B-9E96-4E3E-A818-23D72FD324E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"492907b39eb93f743a59daf2cb233454e29bbcda","datavalue":{"value":{"entity-type":"item","numeric-id":1078653,"id":"Q1078653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2117255$F75A6AAB-5A86-4FEA-B60B-EC1171E2C11E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf8396f3cf2126998efa69fe4f2c3599bebf2ab6","datavalue":{"value":{"entity-type":"item","numeric-id":2117256,"id":"Q2117256"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b64347c2d4207aa31463497500375cb7dad02ff9","datavalue":{"value":{"amount":"+0.8198553919792175","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":"Q2117255$44AC01B8-927D-4D8C-8622-601B966D66C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3f48df60e32b898e583f5201d1fa7bc0cd8b6def","datavalue":{"value":{"entity-type":"item","numeric-id":2867888,"id":"Q2867888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3fd9ae8fed5d79cb23174a438efb90567ce19d54","datavalue":{"value":{"amount":"+0.8139022588729858","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":"Q2117255$D7D090DC-6D21-402F-B5A0-C8D435A1735D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e7cd6a4da406361a788f9dd688724c72653de8a7","datavalue":{"value":{"entity-type":"item","numeric-id":3192234,"id":"Q3192234"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5ab63f97f4f6ec54a7979250068bf3077a6c7dc6","datavalue":{"value":{"amount":"+0.8049597144126892","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":"Q2117255$2C07E72E-BD45-41AA-BB07-C01FB80432DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"87024f832447994f23e03e7f0268a1d7e4abf9f9","datavalue":{"value":{"entity-type":"item","numeric-id":3541945,"id":"Q3541945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fa2bf12ad8e95b8bcb85dcb9da2a15d82fc767d1","datavalue":{"value":{"amount":"+0.8044058084487915","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":"Q2117255$DD22A361-0612-4C31-B712-895623364493","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"165850a6f50579978e97f19bff09cba30d6fcc58","datavalue":{"value":{"entity-type":"item","numeric-id":4499230,"id":"Q4499230"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"be7c944685a27fbbab66b3844330ca4e2ce34cca","datavalue":{"value":{"amount":"+0.802246630191803","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":"Q2117255$DBD1C491-9DF7-48D9-ADCF-3C288E4812F8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2117255","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2117255"}}}}}