{"entities":{"Q884993":{"pageid":886841,"ns":120,"title":"Item:Q884993","lastrevid":50112692,"modified":"2026-01-13T04:22:45Z","type":"item","id":"Q884993","labels":{"en":{"language":"en","value":"Infinitary rewriting: meta-theory and convergence"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5162392"}},"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":"Q884993$07B30D79-3D58-45C3-97F4-95F41AFD5C8B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"42520d4b5ca69b570bedf2082e1f3556b71bf0a1","datavalue":{"value":{"text":"Infinitary rewriting: meta-theory and convergence","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q884993$64A03E97-970A-4895-80F8-6C6D0576664C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8a56a2f410fa59027aa63accc01f8cde59b7663d","datavalue":{"value":"1120.68062","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q884993$6E9B8573-D500-4FEC-B76F-CD7BF7D0B9B1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cd081b6310e0fec087b3fd5ca1ae34286145f6ae","datavalue":{"value":{"entity-type":"item","numeric-id":820945,"id":"Q820945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q884993$ED22C6B4-1629-4B34-91F5-0BB78D57D415","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7d0f02e85530cd06ceb2c58a40dc9c2e0258e194","datavalue":{"value":{"entity-type":"item","numeric-id":161641,"id":"Q161641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q884993$5BA745E7-CCC1-4F3A-A817-151B837A3982","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d81384269237f7c171ce9e25726671d8695c125f","datavalue":{"value":{"time":"+2007-06-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q884993$C2BEBFB0-BEDE-48DA-9995-F3582DE60E76","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c173c588ee536332073e04a7d13780962802d3db","datavalue":{"value":"https://kar.kent.ac.uk/14587/1/Infinitary.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q884993$54B09899-30CF-4A18-8A49-17BE0B754024","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q884993$83EE1340-6517-4862-BCB0-2011B1451D7B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4c0bbab3e41fa0024057ffc7bd6e3ebf848a6c75","datavalue":{"value":"5162392","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q884993$10F83604-0B9B-4206-A1FD-362F0B1F6887","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3799378e7598e2e60dc9e9d7eef102477fc1ca4a","datavalue":{"value":"metric completion","type":"string"},"datatype":"string"},"type":"statement","id":"Q884993$18B20AE1-28C6-439B-A6E5-71A77584317D","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"067e00213990a6f2431e78667be3f10443c92f4f","datavalue":{"value":{"entity-type":"item","numeric-id":16052,"id":"Q16052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q884993$3FB3621E-B343-44A2-929E-751BD9CEB8DA","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":"Q884993$AD567388-5237-4018-9606-AA91EAAAAB38","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d3adadb573235c00d7712a8914bf7569050dac28","datavalue":{"value":"W2084072743","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q884993$F8498DA6-A1A9-4A5A-9AE6-7BE1BD9EB691","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"13637c329a859369d956f00d5ad44bbfb24c2365","datavalue":{"value":{"entity-type":"item","numeric-id":1136494,"id":"Q1136494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q884993$22DB2691-06A5-46E4-A043-41AB7777CA4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ae9f2e8b71d939ae0323423011a38c781ecf5c0","datavalue":{"value":{"entity-type":"item","numeric-id":5556444,"id":"Q5556444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q884993$DD3DAF17-2F74-4350-B18A-035C2A5F56E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84a0cb45b0375e79d4a2cb08039465fef222fa31","datavalue":{"value":{"entity-type":"item","numeric-id":5566981,"id":"Q5566981"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q884993$FC84D0AD-DCD1-4AB4-AAEE-ACDD0FCDA63A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b6ab58e198f2651e221dd6d2100da0f5b6f027b5","datavalue":{"value":{"entity-type":"item","numeric-id":2757362,"id":"Q2757362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q884993$E639E119-FEF2-4072-9E88-363A28F8F3F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"92a0a510b8db7f5b5a05cad759d8ca94baf143db","datavalue":{"value":{"entity-type":"item","numeric-id":2524183,"id":"Q2524183"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q884993$C0D83C24-2AB3-44AD-BEAB-F1FACC7CD504","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":"Q884993$4F571077-5012-40D7-AFDD-05B00BB2A328","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"93157aab11eebc50c0295f0aaa172ada2a865266","datavalue":{"value":{"entity-type":"item","numeric-id":2548430,"id":"Q2548430"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q884993$38F30C13-9858-46CE-911C-E52579EAFA47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d1b454e0b8ff3983d60b9465dff548605dc0dd7","datavalue":{"value":{"entity-type":"item","numeric-id":3683158,"id":"Q3683158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q884993$53134965-5BB5-4138-97AD-33B4B7E3711A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"92a2688c4f9444f4596962720b8437ba0a3089e0","datavalue":{"value":{"entity-type":"item","numeric-id":4645807,"id":"Q4645807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q884993$00F9D697-67B1-463A-AE81-9C6A9B0D1C86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0cd7dac090add4066d90298d8e23ef7443f8c2f6","datavalue":{"value":{"entity-type":"item","numeric-id":5055828,"id":"Q5055828"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q884993$D1DE6B7A-AF83-40AD-A9A9-97D721F62E1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"87cc330003f526d88574d1c645954a79ba1c4607","datavalue":{"value":{"entity-type":"item","numeric-id":2648668,"id":"Q2648668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q884993$03AA04A5-90AE-4938-870D-85947272FBED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3cd18787782015b7e4cdfec4f80eec7185d2f979","datavalue":{"value":{"entity-type":"item","numeric-id":5901571,"id":"Q5901571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q884993$A3004DCD-4D82-4A1A-8F58-AAD678879610","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be604f9726a120d8606eea2ea8bf40b25f834421","datavalue":{"value":{"entity-type":"item","numeric-id":3918095,"id":"Q3918095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q884993$0BF75466-24D5-4296-BA17-41A6F2CC4305","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"06fbe4d57ee638c21da9a8d8dbb071257ac3948c","datavalue":{"value":{"entity-type":"item","numeric-id":5541832,"id":"Q5541832"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q884993$E922BE5C-A608-4600-A9C6-839217AF80E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e6164d85c4694c71a8983f1c45bf387f665fdff","datavalue":{"value":{"entity-type":"item","numeric-id":1199827,"id":"Q1199827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q884993$78811B74-30AF-4E68-B0AD-6BA54A7C0DBB","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":"Q884993$CF4D62B8-EBFB-402E-95D9-76D861EC6C4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"505ed0ccd70e9dac58c0d9145b209425580f86f4","datavalue":{"value":{"entity-type":"item","numeric-id":4857386,"id":"Q4857386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q884993$AE61CA55-25F9-4D9E-9672-4A637F70EC70","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":"Q884993$28E1FBB2-44E5-42A9-AA8E-112B7270B6BD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"60cdcfe1d27b88abe0bfa3ced1aa2e88717e8362","datavalue":{"value":"10.1007/S00236-007-0043-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q884993$06E0BBC9-412C-431B-B9E6-955E0C8C8C24","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3d2e1abf50daa2e213f5b62126533a265d17e2cf","datavalue":{"value":{"entity-type":"item","numeric-id":2376981,"id":"Q2376981"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9dc273106fb4e69064fe68a84699ec38dc29a1a5","datavalue":{"value":{"amount":"+0.8879773020744324","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":"Q884993$5F63588A-1E61-4304-B5C3-9BDCE9885E8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"07176488cebb1cfdca74160c706c687eec9e83c0","datavalue":{"value":{"entity-type":"item","numeric-id":5389142,"id":"Q5389142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cf36d1620b3fd97978ca400f4cf83fa6da238af9","datavalue":{"value":{"amount":"+0.8651977181434631","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":"Q884993$9EE9C6C0-3BC5-44BF-9BAC-9F24F3FBD672","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f903dd453f1c898b09d1650b25ff2418459d8012","datavalue":{"value":{"entity-type":"item","numeric-id":2786135,"id":"Q2786135"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7721681a1e0815d859e7214759447db6408f13a6","datavalue":{"value":{"amount":"+0.832011878490448","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":"Q884993$A1539132-F734-450B-BBB8-B08F3D618541","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f9cdcf001cebdb754b8373348187e8727c7119cc","datavalue":{"value":{"entity-type":"item","numeric-id":5419490,"id":"Q5419490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6f61c6df65fb310b97552e9f1534416bc7d829ed","datavalue":{"value":{"amount":"+0.8302468657493591","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":"Q884993$359CAE88-CC83-4706-81D7-928FD38A359C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6cbc004b332a1c5c1e284820eea8899b239e53c9","datavalue":{"value":{"entity-type":"item","numeric-id":4254682,"id":"Q4254682"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"faf20baca44aff4f8ed30b0fda917b26435016d5","datavalue":{"value":{"amount":"+0.8116363883018494","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":"Q884993$56C5B29E-310B-46AE-B8A4-7A7CAA83B95C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:884993","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:884993"}}}}}