{"entities":{"Q2873673":{"pageid":2884393,"ns":120,"title":"Item:Q2873673","lastrevid":42411814,"modified":"2025-06-15T14:45:13Z","type":"item","id":"Q2873673","labels":{"en":{"language":"en","value":"Innermost termination of rewrite systems by labeling"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6250410"}},"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":"Q2873673$F45AF1D7-7314-4382-A473-FCD6CA408602","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"40ecb27cc2e717852d3845c898175106f373e8b4","datavalue":{"value":"1279.68121","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2873673$D0C44F9B-BB94-4FB1-92E7-13AE82194B23","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c8e2771b20e3c98dace74591de69baf1cddaba7f","datavalue":{"value":{"entity-type":"item","numeric-id":515686,"id":"Q515686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2873673$F4216D54-D605-4230-B09B-BD28EBF47A35","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":"Q2873673$99201030-F72C-4085-95BB-AAF668A8B732","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3478ec308a15597e43cb648673c843463f4d3028","datavalue":{"value":{"entity-type":"item","numeric-id":163528,"id":"Q163528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2873673$D05A2D98-1332-49EA-8339-661A90F51F44","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ec1d1b5de12363b743dc1edf0b2d387c6f9a8806","datavalue":{"value":{"time":"+2014-01-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2873673$E185F0CD-0AD0-46D8-8F0E-2ADFFC8122AC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2873673$87DFAE54-1AD8-4C9B-8980-C71A2FD92B32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2873673$C2AD37AA-4840-46D4-AB53-6671A7FF6F75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2873673$BB621323-2146-4949-8514-C1A0FF9595FE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a1574a91e2b27d3ea70448f566524f793226f466","datavalue":{"value":"6250410","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2873673$0788E0F2-C2C1-4A98-9007-89C67A6957A6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01d6f65dc8923a8cf7c5e4c6f73e623f063dc939","datavalue":{"value":"innermost termination","type":"string"},"datatype":"string"},"type":"statement","id":"Q2873673$6B7484CB-94CC-49F8-8245-86C38367EAF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"72b46e15c5610b52f342dd285a8047b3b22ad536","datavalue":{"value":"predictive labeling","type":"string"},"datatype":"string"},"type":"statement","id":"Q2873673$F8661A63-85D5-42A9-AAE4-0CF2307B6FE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a97c66addb1ce47c99aa03068c2824f0d9acbc","datavalue":{"value":"semantic labeling","type":"string"},"datatype":"string"},"type":"statement","id":"Q2873673$B81193C4-2857-4CDB-B2CF-2E3A55828AD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5a664fc87eb2216b1fad976387dcf6ff589b12b5","datavalue":{"value":"term rewriting","type":"string"},"datatype":"string"},"type":"statement","id":"Q2873673$1A1968F8-08DA-4794-8AC9-5D3C8ED91E67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4befa4ca20f2beabcfa09e8a92ae13c21cb4934a","datavalue":{"value":"termination","type":"string"},"datatype":"string"},"type":"statement","id":"Q2873673$8E4CA003-050A-4FB1-AF94-C69C5320A289","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"0c26e6916e0b9de30d3647f7e9e3f53ff40f0334","datavalue":{"value":{"entity-type":"item","numeric-id":19846,"id":"Q19846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2873673$1CD435FF-392C-48E5-9995-8C52BE8517AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ed30c00dba43cb7404d541bb6de7a2ebb027c287","datavalue":{"value":{"entity-type":"item","numeric-id":22083,"id":"Q22083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2873673$34809BC1-4DD0-495A-A233-4E91AF25B921","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":"Q2873673$0D4F3A04-0630-4FA2-8C04-31EA97F81DF3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b661990c1a722ca79a3580fed2721e933222d804","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2008.03.050","type":"string"},"datatype":"url"},"type":"statement","id":"Q2873673$0E45AF1D-2EA7-4CB5-AF05-B622B3E14052","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8893ba8b8e018f9493863834dfe504d8789f6c8d","datavalue":{"value":"W2028113860","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2873673$D7AC5023-4AF6-4F8F-87F9-30ACACB8C951","rank":"normal"}],"P223":[{"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":"Q2873673$54257FC1-C440-47E0-B528-3D185C824288","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d8b329bf10cc5a34d4fd7d10861e1d1307af8679","datavalue":{"value":{"entity-type":"item","numeric-id":877836,"id":"Q877836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2873673$4E900D67-ACD9-4DEB-B3D3-C9FBF9BAE5FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c7856ad3e68b361b381b29e3873c81e58b2f4ef2","datavalue":{"value":{"entity-type":"item","numeric-id":3527304,"id":"Q3527304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2873673$1F31A898-72A3-4C28-BB39-0FBE22F834E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"876f8e9697a35a1fa4e631a25500a97f4e320208","datavalue":{"value":{"entity-type":"item","numeric-id":876042,"id":"Q876042"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2873673$1CF6C7CE-6600-4CF7-9127-9B5464AB3444","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"73d65ac77a8a30bcd5de43ba1a0927b49fd2ae01","datavalue":{"value":{"entity-type":"item","numeric-id":3527299,"id":"Q3527299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2873673$0FA898FE-8A9F-4A6D-9CD9-2787C2F51ABD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9625263c650f6e2d7fda4d12a5569489fe270f62","datavalue":{"value":{"entity-type":"item","numeric-id":3608786,"id":"Q3608786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2873673$A08E3EC3-B103-4B1C-9EF3-DC7EA8375BAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f0a6aa4f6ccda433cc6a678366748f1fc7a1e6b","datavalue":{"value":{"entity-type":"item","numeric-id":3613418,"id":"Q3613418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2873673$46CCEFFC-F708-4A13-AA39-1EB11A7B71D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c17bfb483d5172a78bdd7b00d1ae9a46a60c3539","datavalue":{"value":{"entity-type":"item","numeric-id":4847000,"id":"Q4847000"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2873673$7AF5D7B0-C013-481D-8EE1-DB887C3D54FA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d35d440e9285c950a843feeceb4ebfe5ef524d5f","datavalue":{"value":"10.1016/J.ENTCS.2008.03.050","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2873673$AB846176-7F59-4961-B426-AB4F372CCCF9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a10ad35066d4110d387f068b2c4fb3148928dcef","datavalue":{"value":{"entity-type":"item","numeric-id":1805401,"id":"Q1805401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"be11378123bc759e3a120a7c51f3a6407ff70486","datavalue":{"value":{"amount":"+0.9078523","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2873673$DA84D1A4-08FA-4485-A463-3E918B607421","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"19212de72591fe548066e57870061bb9cc748f9d","datavalue":{"value":{"entity-type":"item","numeric-id":4412115,"id":"Q4412115"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"da8006e0f836854719136299b89f147607242f4f","datavalue":{"value":{"amount":"+0.90371454","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2873673$134B644A-131B-4A95-BA2D-9738815BFF8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3bccde482fe6ab066f2f526036df3e530826de93","datavalue":{"value":{"entity-type":"item","numeric-id":4847000,"id":"Q4847000"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d6ff6ed25c85914c429b39b86c41716c83b8dd1e","datavalue":{"value":{"amount":"+0.90012765","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2873673$484F8FAF-E3C1-442F-86FC-4CE783F374B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4d7725392132cdba5f03ccf1995b80047465cf0a","datavalue":{"value":{"entity-type":"item","numeric-id":2723890,"id":"Q2723890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6c6bd5f750f4b7a1c7d6b61e16c87703e120c62a","datavalue":{"value":{"amount":"+0.8885796","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2873673$E2B47E39-A16E-4223-86E1-473E7215BBE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4519d5a74bcac466672871c4fca01e38fe88f517","datavalue":{"value":{"entity-type":"item","numeric-id":5389154,"id":"Q5389154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"989407ea3f48347de2ec05df3a433631ac4a08f7","datavalue":{"value":{"amount":"+0.88325065","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2873673$F83D1AF2-9296-4D54-9706-DD133F60059B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ca2761631fb905da6079785d5a1ef901bc820b76","datavalue":{"value":{"entity-type":"item","numeric-id":5941751,"id":"Q5941751"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5ed458558a9afe5b4b95e7602520ef2d6e98a9e8","datavalue":{"value":{"amount":"+0.8831464","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2873673$571F196D-B88A-43FE-AC71-4FD57B5A9E5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"76d15fb2518b9f8adb7c5c23e6ebcaad4b5732bc","datavalue":{"value":{"entity-type":"item","numeric-id":2321950,"id":"Q2321950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2806ed72a978f34c9e62972592769ec375f6a296","datavalue":{"value":{"amount":"+0.8821684","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2873673$7315D149-1FAC-400E-AB4C-F22DDD8082F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9a8aa5714219a846aadc9363d4c887796910cef5","datavalue":{"value":{"entity-type":"item","numeric-id":5277878,"id":"Q5277878"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"26c3d0ff4f3833cd0671a6e259bdb73c1cd9dc3d","datavalue":{"value":{"amount":"+0.88207686","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2873673$08925E17-7EB5-4F19-8416-CD06B0220D06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f8df82ae38b436e6d989f41c9dfc2ebf1459aa75","datavalue":{"value":{"entity-type":"item","numeric-id":2980977,"id":"Q2980977"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"26c3d0ff4f3833cd0671a6e259bdb73c1cd9dc3d","datavalue":{"value":{"amount":"+0.88207686","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2873673$23401716-F2E7-46DC-854E-5AE9015AC5F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7569ff2508a166ed73be1ccf83d65a91a3bcaf2b","datavalue":{"value":{"entity-type":"item","numeric-id":2778883,"id":"Q2778883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"28e3d20b149cffece386a6e61f26c47de04b19d6","datavalue":{"value":{"amount":"+0.88207275","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2873673$00F39E0D-9E47-461B-BB1D-18D407497792","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fad073a2de318f5b3027fedacd8c05e5f72ae1f6","datavalue":{"value":{"text":"Innermost termination of rewrite systems by labeling","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2873673$299728DF-89DF-43B8-AE1E-7E8E8E37A941","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2873673","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2873673"}}}}}