{"entities":{"Q5166638":{"pageid":7196210,"ns":120,"title":"Item:Q5166638","lastrevid":41174053,"modified":"2025-04-18T16:55:49Z","type":"item","id":"Q5166638","labels":{"en":{"language":"en","value":"New Undecidability Results for Properties of Term Rewrite Systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6309654"}},"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":"Q5166638$7248983A-3CF2-4691-A117-0C52A3250940","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2ad60b3fd6d165e381277c4a638f89db4dda235d","datavalue":{"value":{"text":"New Undecidability Results for Properties of Term Rewrite Systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5166638$D500C41D-C068-4A4B-B81E-CBDD6F0ED3B7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6abcca01b7385ed7c6f96e777578fd8ea4de1330","datavalue":{"value":"1291.68222","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5166638$C8ADB955-C536-4502-A024-B3EAFA0EC9D9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"78e9d6aca34018820a8270a63a5c8a8d5a7e983c","datavalue":{"value":{"entity-type":"item","numeric-id":287152,"id":"Q287152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5166638$23E317EC-E0A9-4DC6-BCA7-C2C156A4F047","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":"Q5166638$AC0AC49E-7243-4B6F-964F-C49CBB2EEC8C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"251e0e848447c04df22617da60cec84f2100f397","datavalue":{"value":{"time":"+2014-06-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5166638$C7B5C40F-DA4B-4AA1-8A86-0BA040F4DF83","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5166638$2C8091B0-B860-4788-8DF1-D979054BB8DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5166638$FB1F91F7-C21A-40B2-B5D6-76738E679F53","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d4e57a21b0600d24dcdb780e9567427b3b557350","datavalue":{"value":"6309654","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5166638$D971E2AA-02A4-4EB3-9B1C-4512B7830334","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"24a223a0ab5013fdb11c009715195fec61d7b496","datavalue":{"value":"term rewrite systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q5166638$E33C6C71-6608-4822-BA2B-2FEE68733FFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"27638d630e18a79d37aae3ab247a2d08a15508a4","datavalue":{"value":"decision problems","type":"string"},"datatype":"string"},"type":"statement","id":"Q5166638$6E60942A-E154-4331-97D7-56EA6FD869DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a618b40b0e1c60d8f3695a0363009e29e3d436f0","datavalue":{"value":"reachability","type":"string"},"datatype":"string"},"type":"statement","id":"Q5166638$5D9FE96E-1B7E-43DF-B804-77250D94596D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b38049d159af5d6c62de79db7ea882fef0c299bd","datavalue":{"value":"confluence","type":"string"},"datatype":"string"},"type":"statement","id":"Q5166638$A3F1EDA5-8878-4954-AEE4-47447B0F1C89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a65efa19a1afb8e3c4cd832f090fd9764fcfdc0d","datavalue":{"value":"normalization properties","type":"string"},"datatype":"string"},"type":"statement","id":"Q5166638$6712022D-902D-43A5-9354-3F270B8FF6DD","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":"Q5166638$38A5D0E2-130C-4C3D-91B0-1DD2B5276CA6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"04b13efcb251ce0b7f293219089bca60ab4b3a5f","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2012.11.012","type":"string"},"datatype":"url"},"type":"statement","id":"Q5166638$61FFE1A1-A173-4796-B321-DC40147EA3DA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0e77174e07f1f2a0cd75ab969fd8d3c36f6955cf","datavalue":{"value":"W2140520835","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5166638$504055F7-AF99-43C6-8B4F-1EE88970E508","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"752c42506f4c0d3941eebee7fbf001c16e8b0a5a","datavalue":{"value":"Q113318030","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5166638$72FF9C4C-F852-495B-AD9D-81B5A982BEC2","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"efbc318032cec747535bd0c6935dca630a9056d4","datavalue":{"value":{"entity-type":"item","numeric-id":918215,"id":"Q918215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5166638$7DD3C690-50E6-41CA-B8BB-B11278EB2944","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db15afe119e4d8924199889dafaa491710809a5f","datavalue":{"value":{"entity-type":"item","numeric-id":2751361,"id":"Q2751361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5166638$82BEAF60-0597-47AB-AA79-8B9CB88F8192","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"842da22c1419bb2ac7a12aa45e86ebd6e6b1ba08","datavalue":{"value":{"entity-type":"item","numeric-id":3608777,"id":"Q3608777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5166638$57F764EB-31BD-4F43-9083-CCEAE8F230E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"facb68a3f5c3aaa7972b89a35e2b0770a73aace7","datavalue":{"value":{"entity-type":"item","numeric-id":5394600,"id":"Q5394600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5166638$4B87B54B-F60F-4118-807B-3E1C9AE32BF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"75fa58b29d51af741c3502d10b189f59ee582e1a","datavalue":{"value":{"entity-type":"item","numeric-id":1885352,"id":"Q1885352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5166638$2FF44CB5-DE7B-459E-8256-F15ADD04C96B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1758902a66e2332f9d1d0268ecf38eeeb4d377f","datavalue":{"value":{"entity-type":"item","numeric-id":3862379,"id":"Q3862379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5166638$A7E4DDD5-C06D-47A6-AE1C-35868A48CB84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"599c5dbf52817fbbe5f2f15e33a96dc6ac97514e","datavalue":{"value":{"entity-type":"item","numeric-id":3908463,"id":"Q3908463"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5166638$2DF3C2DA-42E7-4A77-85BD-073D1AB2D216","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f6ebe546bb22deea94d20817802960459c534e8","datavalue":{"value":{"entity-type":"item","numeric-id":5302902,"id":"Q5302902"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5166638$38C7DC0B-C17B-4B21-812D-04A269AB5B64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c111dde8836d3250a1b4c77d3e0b2294d216f195","datavalue":{"value":{"entity-type":"item","numeric-id":844204,"id":"Q844204"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5166638$A303C537-F778-4ABA-8B30-72FE69ED05DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea55a81052995ef9f8985de9d37248191f65ad26","datavalue":{"value":{"entity-type":"item","numeric-id":1349861,"id":"Q1349861"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5166638$CABA160A-B7D9-4F70-8DBC-5BBEA0D1F0FF","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":"Q5166638$6982D7F6-AFF0-4FF7-B212-3E74F7D79C07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2202ea6b7a5f8b2bf37b129e53958a44d2d21d02","datavalue":{"value":{"entity-type":"item","numeric-id":1133323,"id":"Q1133323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5166638$204A7F64-C8C9-48AF-AE0D-AEB05DF05288","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"53a2161d61de39868eace75d44b99156e6623a4c","datavalue":{"value":{"entity-type":"item","numeric-id":1100890,"id":"Q1100890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5166638$1A73D24B-1900-465B-8050-73AD2FD2260A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"edafba62d00799575259f2aceee787c8fe708247","datavalue":{"value":{"entity-type":"item","numeric-id":5277717,"id":"Q5277717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5166638$F444FC01-940F-4AE5-AAF7-40253CB80A7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0c628921a243b7adae9f2b6acaa6d3b1b9fd505","datavalue":{"value":{"entity-type":"item","numeric-id":2730723,"id":"Q2730723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5166638$1F1B41E4-00DA-4449-9EDB-4A51BAB32055","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"abca191593cc0371093408e35a00c4abc19a1fe8","datavalue":{"value":{"entity-type":"item","numeric-id":613611,"id":"Q613611"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5166638$47F8F35C-CE02-44FB-8BF1-0783A0B24043","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9785b4bf4224f1546576c174fa44d51b7d329e6a","datavalue":{"value":"10.1016/J.ENTCS.2012.11.012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5166638$482A1820-8246-47B1-BE3D-FB43243FB467","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b4f97b92586490fd2c6f65c10ae1ecca3d11b792","datavalue":{"value":{"entity-type":"item","numeric-id":4362915,"id":"Q4362915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4ffa3d6e014e73ebb6d0eeff5adc64aa809846d0","datavalue":{"value":{"amount":"+0.9049166","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":"Q5166638$412D8D89-8CCA-44A2-A4D9-10390C09BEAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0bb035a7060f6feed65bc97b6622819fb2f93499","datavalue":{"value":{"entity-type":"item","numeric-id":1061484,"id":"Q1061484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"62dd7a96d102dafea85b419199f803ea9199104f","datavalue":{"value":{"amount":"+0.90439713","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":"Q5166638$B8C525C5-8B40-4B31-AD86-4BB8B539601E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aec35960013665b110230748cbb897af20f4a1f5","datavalue":{"value":{"entity-type":"item","numeric-id":2873677,"id":"Q2873677"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"04a14d4c7e20016bde1002c82cb85bab66a91c64","datavalue":{"value":{"amount":"+0.9006284","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":"Q5166638$23A4C810-05C4-47EB-9AD1-2246E32A9B87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6df62854767ffb53976a88512f6b4cf56d67ff92","datavalue":{"value":{"entity-type":"item","numeric-id":5277717,"id":"Q5277717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cdf618903a6887ee8ae736f78047a7e2958f45f7","datavalue":{"value":{"amount":"+0.8989911","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":"Q5166638$BF94A4C5-9E5C-4222-8E7E-0DDD58DF91A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0b754178d023239cc098828c9a84fa899fd07362","datavalue":{"value":{"entity-type":"item","numeric-id":1854559,"id":"Q1854559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1fa97680ee47373a59edbc6d8018f5e377b661aa","datavalue":{"value":{"amount":"+0.8986692","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":"Q5166638$356D62EB-E1E0-4FD2-8AD8-9A3F22326693","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"21827a3dc87c99c55f72e37691772912d775e438","datavalue":{"value":{"entity-type":"item","numeric-id":3644753,"id":"Q3644753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"be03ce1570ec50e1e5959344f314a98fc9ab0d1a","datavalue":{"value":{"amount":"+0.89487654","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":"Q5166638$C19F672F-11A8-4CEB-9C23-8B4BC78755FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"00f8094e792cfb2a3f64409ed95b797e54c5bea9","datavalue":{"value":{"entity-type":"item","numeric-id":1325846,"id":"Q1325846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1e7bb30d57db9de9f4add02b2a5a9dd91de66b94","datavalue":{"value":{"amount":"+0.8939948","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":"Q5166638$D626618D-80EB-4C1F-9E87-8A80C2A8E3B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"83cc65cdf2044d1a4d927398a719f7ab76181f0a","datavalue":{"value":{"entity-type":"item","numeric-id":1077161,"id":"Q1077161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f6407cfa1628dc178d025bc89d5acec4b778151f","datavalue":{"value":{"amount":"+0.8875258","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":"Q5166638$1B21AF76-ADC3-459E-BA19-8BD9645C0DE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4615368289abc780bafd9d9e074f2a29b2b5d4bd","datavalue":{"value":{"entity-type":"item","numeric-id":1854560,"id":"Q1854560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"804f9029b45c49241ea8d6171299733e7f88fa5c","datavalue":{"value":{"amount":"+0.8817945","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":"Q5166638$DFD415E8-5F25-4196-8411-17CE74A95C41","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5166638","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5166638"}}}}}