{"entities":{"Q2390300":{"pageid":2401043,"ns":120,"title":"Item:Q2390300","lastrevid":50713265,"modified":"2026-01-14T21:55:05Z","type":"item","id":"Q2390300","labels":{"en":{"language":"en","value":"On confluence and residuals in Cauchy convergent transfinite rewriting"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5581164"}},"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":"Q2390300$23D83590-5996-464E-8A35-ECC2B2B1DA1E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8853390e734d1fe3a5f2f9f1cf8668c39fe6ce92","datavalue":{"value":{"text":"On confluence and residuals in Cauchy convergent transfinite rewriting","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2390300$FD30B202-E453-4748-A9CF-3C6E9E7C6BCF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9577c8ba7229fd56babf9b26df1ff3f8e73985f5","datavalue":{"value":"1178.68304","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2390300$4A9C79F5-0752-437B-B848-AF2F49E21033","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cfe2ac1adf6437bcd26471c666316cf7844c005b","datavalue":{"value":{"entity-type":"item","numeric-id":306826,"id":"Q306826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2390300$AB099507-5554-4D53-BF83-16E5B5FCFFA1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"52fa7d44b58d0511cb8993765bd916aef86052d8","datavalue":{"value":{"entity-type":"item","numeric-id":63092,"id":"Q63092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2390300$BCBE4602-7E48-4839-84B6-D2F2021C2D4C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b138bef8424bac6e0cca36c0782a12730b2d0eea","datavalue":{"value":{"time":"+2009-07-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":"Q2390300$EE5EAE37-765E-4A09-B556-4F750E1F80C1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2390300$2E29E3C6-A563-41A0-A774-D57956676EA2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"693bd4d2cf34e6496117c7711914fbc2015a54ad","datavalue":{"value":"5581164","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2390300$DFC6A907-B653-417F-A4F9-BAAC8D97DF92","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b6b48bee4fdb4325e034a88cb0255264f0f9887a","datavalue":{"value":"transfinite term rewriting","type":"string"},"datatype":"string"},"type":"statement","id":"Q2390300$E8E030C2-AE63-440D-B973-D331C83FC7B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0f56d129a8b4b3522bb15ffbeec4fec64edc5f5f","datavalue":{"value":"infinitary rewriting","type":"string"},"datatype":"string"},"type":"statement","id":"Q2390300$BE8E55A4-9EFB-44E0-95D4-CC3E8D3D2EBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"578d2d5270a5ddabcbe5ea063ac86d0939426cd2","datavalue":{"value":"Cauchy convergence","type":"string"},"datatype":"string"},"type":"statement","id":"Q2390300$0055A63E-8E79-4275-B2F7-1450738A38AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3badd67d344953d1e0beb39b7c9b6cf936ea6a7c","datavalue":{"value":"church-rosser property","type":"string"},"datatype":"string"},"type":"statement","id":"Q2390300$59D0AE11-E933-4B29-BBCC-5386D96A2DD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ff5bd607face98a8a2d144348430666abf8ebc2","datavalue":{"value":"programming calculi","type":"string"},"datatype":"string"},"type":"statement","id":"Q2390300$BCACCDF4-2261-4A38-B4C1-A24F99087DC1","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":"Q2390300$C0F7802F-5FBB-4DE3-BB0F-F7C2AB77E74F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"58565b0b2db3ee3d1f390fa9702cf0131cd10a6e","datavalue":{"value":"https://doi.org/10.1016/j.ipl.2004.03.018","type":"string"},"datatype":"url"},"type":"statement","id":"Q2390300$987D5C1F-5347-4F24-AC35-C45E4FDC9502","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"15e7a393047a0c4f06c43f200237f7612cd1cc97","datavalue":{"value":"W2157290676","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2390300$3F2FD558-83FF-4A4F-9814-BBAA4A608F13","rank":"normal"}],"P223":[{"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":"Q2390300$D5530266-83DD-45EB-9744-76BFAE1DEE74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c79479be3f78950fdebc8d6458730d52e0552f1c","datavalue":{"value":{"entity-type":"item","numeric-id":1176247,"id":"Q1176247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2390300$CC2ACDB0-C7A9-423E-A50C-685FFBE63B2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4cc846e4285dd73747ab89d2dd8d67254289009","datavalue":{"value":{"entity-type":"item","numeric-id":4799892,"id":"Q4799892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2390300$08D4F4A8-243D-43BF-B2E0-A4565CB4754A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"797a00330d9239dad7fe9082133bd59fee594505","datavalue":{"value":{"entity-type":"item","numeric-id":1893727,"id":"Q1893727"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2390300$7D35A0F4-5D32-424A-90DF-823FC3037B04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a802643d47446f2ba0a2c18eb45ac08dd19cf51","datavalue":{"value":{"entity-type":"item","numeric-id":4259973,"id":"Q4259973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2390300$91B8A206-121C-4AAE-B489-203B73321542","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":"Q2390300$DED956D6-9144-4E96-8D6B-F2E01591C947","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"52b946fb2f63c0dda27fa5ba25a5cecdec9a1c9a","datavalue":{"value":{"entity-type":"item","numeric-id":4229041,"id":"Q4229041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2390300$964B5A91-912D-4084-8558-13B85A3A4FD6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e7faa74f578ffc69612cc4a17ff0460f9fc3c89a","datavalue":{"value":"10.1016/J.IPL.2004.03.018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2390300$AE850362-5DBB-404C-961A-9917AC3D93B4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7d1479344032656739c350d0c18b681ddbcba39c","datavalue":{"value":{"entity-type":"item","numeric-id":1893727,"id":"Q1893727"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f5990568e11a1a1675d0e8bb745b28f1d6877a8d","datavalue":{"value":{"amount":"+0.8012729287147522","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":"Q2390300$B2FA7837-4FE4-4020-8BF8-EA4B65873542","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0ee5e525522eb077869dc94b2f4c2f6b4920d496","datavalue":{"value":{"entity-type":"item","numeric-id":5055744,"id":"Q5055744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"80833f6e2057e357844256cbbc90e1e1a9c2063a","datavalue":{"value":{"amount":"+0.7933787703514099","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":"Q2390300$FA02350B-0354-44B5-B5B8-C33062657ED1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b84d90643597556c2a1d648e2f9be6441ba81dfa","datavalue":{"value":{"entity-type":"item","numeric-id":5277874,"id":"Q5277874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4abe98bf8e31a75979b58ca36384ec907c7ba39c","datavalue":{"value":{"amount":"+0.7816391587257385","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":"Q2390300$503AF8F0-B7F6-471F-92D3-49C45B8CC129","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"38b3a0b5cd885b6a4663a0877fb8cbc03331e9b2","datavalue":{"value":{"entity-type":"item","numeric-id":5389152,"id":"Q5389152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fd9f95fcffe3fffe3c474b0702889546cdbb18c7","datavalue":{"value":{"amount":"+0.7787067294120789","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":"Q2390300$34B2A593-7788-4FB0-88C8-66853CF92828","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9f7f0a7478dce861b8090bac57a12bfb55d16785","datavalue":{"value":{"entity-type":"item","numeric-id":5901569,"id":"Q5901569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b9860434d9c392a508f2aadea8ebe7a72c889e1f","datavalue":{"value":{"amount":"+0.7701502442359924","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":"Q2390300$2B47B462-86DD-487A-8831-0979B99A11F6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2390300","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2390300"}}}}}