{"entities":{"Q2873675":{"pageid":2884395,"ns":120,"title":"Item:Q2873675","lastrevid":56891334,"modified":"2026-03-24T12:16:30Z","type":"item","id":"Q2873675","labels":{"en":{"language":"en","value":"Decidability of innermost termination and context-sensitive termination for semi-constructor term rewriting systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6250411"}},"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":"Q2873675$624A6E0F-43B0-4F97-974D-3FE0DAC70692","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c11071a337db0018e61491c425537338f01de83b","datavalue":{"value":"1279.68122","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2873675$0C9DDA6B-7BFE-4BA9-B3A7-2E4B290E3B76","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9dd7d78793ab1cb7d622bf3b064e8037bf76e01a","datavalue":{"value":{"entity-type":"item","numeric-id":2873674,"id":"Q2873674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2873675$44FDA045-5B7D-4F70-913D-A043F85A6C4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6b66c1b86c92371b7f16ebf6453aeaedd4a478d2","datavalue":{"value":{"entity-type":"item","numeric-id":407554,"id":"Q407554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2873675$75F3F9AA-0A71-42C9-A80D-996DBAEA3EE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ecf90f946b2c89ca17522366492a000f00eed5be","datavalue":{"value":{"entity-type":"item","numeric-id":1248364,"id":"Q1248364"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2873675$8A46DE4C-E2FF-4A08-AB70-A10716627C7D","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":"Q2873675$71EC38B7-2433-4E55-BD31-7E5A4596A674","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":"Q2873675$A72A4747-E218-4913-ACD3-3795AC9D9097","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2873675$A241676A-54CE-4BCF-B606-8504186F83CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2873675$0B5FE5F0-3404-4153-9D55-B787E9BA50B0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e1fee5f8b2afe891bb7774e338788af56165edb2","datavalue":{"value":"6250411","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2873675$DE53212B-1D07-4EA0-9DAA-0E8413A77964","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ee4af2cf7f9226c5b104536228464dfb7888b53d","datavalue":{"value":"context-sensitive termination","type":"string"},"datatype":"string"},"type":"statement","id":"Q2873675$96E13992-BB3F-4F12-B679-E4BCC0D66412","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"338be0a54d5517286768661e66fda74e0ecff5d3","datavalue":{"value":"dependency pair","type":"string"},"datatype":"string"},"type":"statement","id":"Q2873675$6209A4A5-4D93-4893-9B13-1F797A25EB96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01d6f65dc8923a8cf7c5e4c6f73e623f063dc939","datavalue":{"value":"innermost termination","type":"string"},"datatype":"string"},"type":"statement","id":"Q2873675$2ECBC46C-2728-433D-AFDC-4C55E4823EC3","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9f397c52f37228d72babea7f4da967604853d803","datavalue":{"value":{"entity-type":"item","numeric-id":22077,"id":"Q22077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2873675$23E4B55E-8C1D-465D-B60A-2D8F05C7AE3C","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":"Q2873675$14574552-3283-4969-A8E3-21BE4656B923","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7761dcfd54a5e23438f38f25e23e22b53cfa1ddf","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2008.03.051","type":"string"},"datatype":"url"},"type":"statement","id":"Q2873675$3A755426-C431-40D5-8524-B68A3C32F01E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ec0f7f7464acbcd61d8013eb01cfe33a0e6dd434","datavalue":{"value":"W2155880381","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2873675$2EB6A2FE-B1CA-443B-A4B9-DA920170B78F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"73dd7d56f1e7c007ccdfe5831e818e4994071fc8","datavalue":{"value":{"entity-type":"item","numeric-id":5385994,"id":"Q5385994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2873675$3E81690B-4A52-4323-8AE6-9A11BE401B77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd79e92f1054e264c7287ed7c6cac5b66416ebee","datavalue":{"value":{"entity-type":"item","numeric-id":2867962,"id":"Q2867962"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2873675$31E35B85-7382-47B9-B9A6-A6D74C19A817","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":"Q2873675$6EE0F526-1601-48A6-970A-56BC5C0E48D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a5a19332cdd7c221673f31522d65352fc9bc422","datavalue":{"value":{"entity-type":"item","numeric-id":3917482,"id":"Q3917482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2873675$F73F8DD0-9158-43E7-BBC2-4B622C97337B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d31d24a311564e96c97e95598f7a6ed5e21d59e3","datavalue":{"value":{"entity-type":"item","numeric-id":5432342,"id":"Q5432342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2873675$6C579B04-25A3-4EA9-8FEC-8E60986DE622","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd8a4365446b80c9d7bd007e0d395427d9546477","datavalue":{"value":{"entity-type":"item","numeric-id":5394612,"id":"Q5394612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2873675$E2E23E6C-B31E-4C91-9725-A165BF25280A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4dda2f4b34510fccefb9279e83d8420e1934ba94","datavalue":{"value":{"entity-type":"item","numeric-id":859833,"id":"Q859833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2873675$963859FF-F2A4-4E55-BE33-7303F0F35890","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"27c744ac842daa3291322ad19f5608e67d17c552","datavalue":{"value":{"entity-type":"item","numeric-id":5901574,"id":"Q5901574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2873675$3929C6D4-4DED-408E-BCB6-6BEA268AADD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e49dd04201c59095126ace1b445dd17268a9523b","datavalue":{"value":{"entity-type":"item","numeric-id":1400714,"id":"Q1400714"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2873675$36CDE359-0398-499A-84AC-1BA4D2AE0BC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a85429a98d5911d473b5c440c645ef66775e9d2","datavalue":{"value":{"entity-type":"item","numeric-id":3527306,"id":"Q3527306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2873675$865D2E52-550E-4693-B024-A92D539EBE41","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"521d867564bcbd1f7b754420bbef85fe8557dbd0","datavalue":{"value":"10.1016/J.ENTCS.2008.03.051","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2873675$B7955260-FE20-4775-80C2-BC38E828AFD0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cbe5976829bfa1531f7c70917734f972f6cc8f76","datavalue":{"value":{"text":"Decidability of innermost termination and context-sensitive termination for semi-constructor term rewriting systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2873675$BF6A4050-477B-43F5-9895-4C1D4E8A42E4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c5e196a5284b7fcedd79723d41857118e389d43a","datavalue":{"value":{"entity-type":"item","numeric-id":3527306,"id":"Q3527306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3fa6efa4b023a8f22fcc3315879d2452c2b0e2fc","datavalue":{"value":{"amount":"+0.8747584819793701","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":"Q2873675$A86AC831-201C-4DD1-8AA2-14D9CD62F70D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"05e49eb1c24d0f4103d52b4dac0c0d347ed252d1","datavalue":{"value":{"entity-type":"item","numeric-id":3522018,"id":"Q3522018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8bdaf297e3b3f39ec95c65fdbdb3305650862d62","datavalue":{"value":{"amount":"+0.8077055811882019","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":"Q2873675$6CCED5BB-8658-4DF3-82F6-FC1AB07846F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d335f8145d775bc612764758c98b47919c42e90e","datavalue":{"value":{"entity-type":"item","numeric-id":1911402,"id":"Q1911402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cae2948cbb7a52456dc3fb721fdc7bbfea9c4da7","datavalue":{"value":{"amount":"+0.7772293090820312","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":"Q2873675$BC7C88E7-4686-4D40-AE5F-693A894F422B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2b8b1e4af45c6abca0f8445efcd001520a6103c9","datavalue":{"value":{"entity-type":"item","numeric-id":5394612,"id":"Q5394612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6c445d7e0d3c4f1edc727eec8cc5542a85a88065","datavalue":{"value":{"amount":"+0.7768315076828003","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":"Q2873675$B3652E46-1428-4695-93B1-DDCA1DCFBD39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1bd5eaf51e05b1c90484d83647abfcc2a7d12235","datavalue":{"value":{"entity-type":"item","numeric-id":1343111,"id":"Q1343111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c5be50c2ca700d459230b30566b1c5edcc3af781","datavalue":{"value":{"amount":"+0.7682804465293884","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":"Q2873675$066A2A4F-C2FC-4764-9874-06CBD78BF6C0","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"c39a117a349789e54237c0a3254f5a10c0a6517e","datavalue":{"value":{"entity-type":"item","numeric-id":6830565,"id":"Q6830565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2873675$4ECF4C32-7A37-4D79-B9CF-F8C12C493854","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2873675","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2873675"}}}}}