{"entities":{"Q5055866":{"pageid":7085443,"ns":120,"title":"Item:Q5055866","lastrevid":40889345,"modified":"2025-04-13T19:47:09Z","type":"item","id":"Q5055866","labels":{"en":{"language":"en","value":"The first-order theory of one-step rewriting is undecidable"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7631299"}},"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":"Q5055866$F8883E62-A092-4D15-96C8-D810A14BC432","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6c45a60c94be51a8f40e6aff2a0443a09b124ef3","datavalue":{"value":{"text":"The first-order theory of one-step rewriting is undecidable","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5055866$74B9AA74-7BED-4E4A-BF06-07D7F255FA3D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"34f88e7db6f86a3d0dba56214cdd7ab54a4feaf9","datavalue":{"value":"1503.68162","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055866$C5AB406A-B472-44EF-92F2-6BC76B8191F8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ac61f5f29bad37e3a1db0e5c16c6aa146b5236e4","datavalue":{"value":"10.1007/3-540-61464-8_59","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055866$38E21D29-C03B-440C-9EB1-E3C68CEEF406","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4580600c65d33f1ab219084d83b64440a1c4781d","datavalue":{"value":{"entity-type":"item","numeric-id":3522004,"id":"Q3522004"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055866$F3CD84DA-0A98-4B84-8CE3-064D58C0B692","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"11447fc0ad9bdb1f5ac45f1763d7f4fd1b0676df","datavalue":{"value":{"time":"+2022-12-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5055866$F45BEEA7-8700-4F6B-9E21-9541A4F318A1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055866$4162ADC0-E9E4-471C-828C-542EB6F4497F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a27f9f06d965be24ec50f61065e06d2029a566a7","datavalue":{"value":"03D35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055866$053E06C2-BD58-416D-9C8B-61940C4BAA68","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3fa398e0c106864a34d6d405f466113467284f7f","datavalue":{"value":"7631299","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055866$9F21C12A-5EDE-4129-9696-A686325490AE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fa707505e4dc35c303a48188dedbdb1698ec813a","datavalue":{"value":{"entity-type":"item","numeric-id":437025,"id":"Q437025"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055866$27972D8D-349B-441F-A388-6A72D23AEDF1","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":"Q5055866$4B878EC9-B090-48C6-8C50-DF0B9061F7FC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7292dcfe19b36f8b39428ba5b2d4b08f59c61d6b","datavalue":{"value":"https://doi.org/10.1007/3-540-61464-8_59","type":"string"},"datatype":"url"},"type":"statement","id":"Q5055866$52273C45-7A1B-42B3-90DD-18E50245C840","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6194624f7d765798f94994f9b7560c5d290c46bc","datavalue":{"value":"W60855923","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055866$D40391B2-B048-49AF-8361-CF37C277FE70","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c525319ed7a0622a258a9434358c0414c7f08540","datavalue":{"value":{"entity-type":"item","numeric-id":4846257,"id":"Q4846257"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055866$A9BADD09-8098-4D60-B66C-DBCBFA967574","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ed1ef347d29b8f0be1edd97644c055691282378","datavalue":{"value":{"entity-type":"item","numeric-id":5055805,"id":"Q5055805"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055866$F561D673-51CF-40D6-BDCE-5B7B5C2BA618","rank":"normal"},{"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":"Q5055866$ACDC119F-FE7A-47D0-996D-12F0A348369C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce85daf6ad363841c9c10c0d5c7403f58e8278c6","datavalue":{"value":{"entity-type":"item","numeric-id":5055812,"id":"Q5055812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055866$A720456A-D687-4974-9400-2D77E8A3BC0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f70a696ea39022866171c805427d256d46ee4010","datavalue":{"value":{"entity-type":"item","numeric-id":5055847,"id":"Q5055847"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055866$DFE5CFEE-D872-44F0-8A87-2EEFD7AA0E85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5501613cddf33b1396dc7f1668c6f3991128201","datavalue":{"value":{"entity-type":"item","numeric-id":3999206,"id":"Q3999206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055866$BDB2EF8E-92A4-43B0-8464-F4331B5B3EAD","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":"Q5055866$36194E84-BED2-4FFE-B948-F0B1A6BF1066","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a1e0b4fc54e8c62a86959e50d4b1b27d9d9a092c","datavalue":{"value":{"entity-type":"item","numeric-id":5581665,"id":"Q5581665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055866$77EC2B70-F2A5-4B76-8DEB-87106C206300","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"76c55bcf6bd96c7c0d1e18adaf78c1df52ed3b03","datavalue":{"value":{"entity-type":"item","numeric-id":1309366,"id":"Q1309366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055866$35B6EA8C-195B-4BFB-A67D-D9B4FC19BACF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9d03a1c424bcaeb63f633ac851296a587c7c9dd","datavalue":{"value":{"entity-type":"item","numeric-id":3732980,"id":"Q3732980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055866$F9D5870A-E0F8-4CF5-803C-2EB0BF6E8241","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29a8d14eae1fab181499f44d4720082adebedfb9","datavalue":{"value":{"entity-type":"item","numeric-id":5845383,"id":"Q5845383"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055866$9EA09466-D636-4D48-8189-040218D7731D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f1d821bd2a1a38500df8bdaf1b0ad70b8c8ee08","datavalue":{"value":{"entity-type":"item","numeric-id":4385530,"id":"Q4385530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055866$49143B06-D10C-4ADC-850D-716325A5B2AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"109819f441e9248754f7e0208414cc1475104fb6","datavalue":{"value":{"entity-type":"item","numeric-id":1209623,"id":"Q1209623"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055866$E10802D7-D739-4C6E-8029-D4439DAE091C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eec66fa64dfef8f56381c0991953e048ebc1437b","datavalue":{"value":{"entity-type":"item","numeric-id":3999156,"id":"Q3999156"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055866$AC25D0A7-580E-43A7-8B37-1DD1C072D132","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"10c26c7a9ed2151b60f7622ce24d2ac4e1eb1974","datavalue":{"value":{"entity-type":"item","numeric-id":1275021,"id":"Q1275021"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"29b11a83bffa42fe8df55a2a20cabb4ac3ede08f","datavalue":{"value":{"amount":"+0.97934955","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":"Q5055866$DF3E7330-CD6E-4C52-9D74-D5F87E367568","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"698adbd703df6b50bb36ec31d57dc5a4139b1f0d","datavalue":{"value":{"entity-type":"item","numeric-id":4594232,"id":"Q4594232"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"09807d2f78c9989d866e81021f353cbcfdde7a42","datavalue":{"value":{"amount":"+0.9482562","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":"Q5055866$81AE9569-3911-4986-85B3-23CE2A835865","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0a2a166b1648cd7da23825ba731521cfe6d99c6e","datavalue":{"value":{"entity-type":"item","numeric-id":4594233,"id":"Q4594233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"056a0e6081af774d5ee766606cc98b1a534b58ef","datavalue":{"value":{"amount":"+0.9402898","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":"Q5055866$C130E580-5A4D-4FFB-88E8-245B771D59A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"15d73fc7f53fa052605ebfbce06c6385f0ac212f","datavalue":{"value":{"entity-type":"item","numeric-id":1854538,"id":"Q1854538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4b58e53e6c78ab7fcda2bb2422084fcd7dbf9679","datavalue":{"value":{"amount":"+0.9277619","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":"Q5055866$910C1371-0587-4F51-96B8-A80B06E4CD15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"65a0a86281dfe37b6610e547cdd3e7d214e70223","datavalue":{"value":{"entity-type":"item","numeric-id":3795205,"id":"Q3795205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b25b37be0187fa8203be47f8144c8cb973943caf","datavalue":{"value":{"amount":"+0.8817317","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":"Q5055866$9461978E-3428-4250-8DBA-40102BB8A296","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"57c1811bce0d61e1666e35f29a2a12d53fc691c5","datavalue":{"value":{"entity-type":"item","numeric-id":1764424,"id":"Q1764424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9953e5ff362cbfe2e2ae68fc6f7f3b9efe8f3b16","datavalue":{"value":{"amount":"+0.8798631","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":"Q5055866$A94CCF18-07B0-476F-B295-9B24445ED9CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6db7f0f9749b2280720341859b37b88f6529e6b3","datavalue":{"value":{"entity-type":"item","numeric-id":4938601,"id":"Q4938601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f46a9e20cf5224359e15fba8504f95f16c59fa57","datavalue":{"value":{"amount":"+0.8702396","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":"Q5055866$1A81E543-D542-42E8-A948-19CD50703BB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fbc386b2be4cc392c36a8b9ab614f5b7346c64de","datavalue":{"value":{"entity-type":"item","numeric-id":5960015,"id":"Q5960015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d5421c5cece72b75237e602cb12f958035a0546a","datavalue":{"value":{"amount":"+0.86454445","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":"Q5055866$575D9D4A-D4D4-4D8C-89A5-06B7B5FAD178","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2b713701d62b1812a72a660b2a8755f651cfd694","datavalue":{"value":{"entity-type":"item","numeric-id":3358706,"id":"Q3358706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"67b826783df63f4968f74cba72eb858af0ac43a5","datavalue":{"value":{"amount":"+0.8467802","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":"Q5055866$7A0E9C7D-C71B-44F5-A3C4-1649060B0DCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a8ed6f86b4945d6ca5ec2c243ac0969579285049","datavalue":{"value":{"entity-type":"item","numeric-id":1209623,"id":"Q1209623"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"67b826783df63f4968f74cba72eb858af0ac43a5","datavalue":{"value":{"amount":"+0.8467802","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":"Q5055866$AABAE672-9556-4D1C-9F1E-1103569C22F5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5055866","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5055866"}}}}}