{"entities":{"Q1707978":{"pageid":1718719,"ns":120,"title":"Item:Q1707978","lastrevid":72827718,"modified":"2026-04-14T08:06:35Z","type":"item","id":"Q1707978","labels":{"en":{"language":"en","value":"Intersection of the reflexive transitive closures of two rewrite relations induced by term rewriting systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6855755"}},"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":"Q1707978$C3A513EC-73CC-410E-9814-49B8E663B7B3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"638089e096f26536d11e4436e45eb4b857644194","datavalue":{"value":{"text":"Intersection of the reflexive transitive closures of two rewrite relations induced by term rewriting systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1707978$696D0591-D185-46AA-B742-684AC06DE82A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1ab82d7b06055e31d372aff785b8193319442044","datavalue":{"value":"1476.68123","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1707978$4CE3ADA0-70CE-4A70-8617-1AE80B0242AA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1be1e97a61ec61b6b5428ec7bf911ab8a63c8c39","datavalue":{"value":{"entity-type":"item","numeric-id":389935,"id":"Q389935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1707978$60C3ED84-3A21-4CC2-8299-C55BD5A3C1D1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"52fa7d44b58d0511cb8993765bd916aef86052d8","datavalue":{"value":{"entity-type":"item","numeric-id":63092,"id":"Q63092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1707978$33CA7C56-1B0A-42CC-A981-083A85AE4C5C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8e8c11379e1af9eecedd8edafb2a17f000cccebf","datavalue":{"value":{"time":"+2018-04-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1707978$33C54600-742E-454E-BAA5-5DC4D034EA31","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1707978$6B0ACF4B-C08E-45E7-8DB0-CF646B724C8A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"339ed0735d979d7321e5f7c7bfd49b560fc28a86","datavalue":{"value":"6855755","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1707978$77CD2F0B-4588-40ED-A38E-6F3267D2D530","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"58acf4952d5f9adc27bc95a2037859c88d48f9a6","datavalue":{"value":"term rewriting systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1707978$75FDB363-8F51-4C50-88D7-645810912CFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2089572f0fb6132b1f06d0e9b780ef433f22f2b9","datavalue":{"value":"Post correspondence problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1707978$EDD46EDA-812D-418F-A460-B8F6C398226E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d1a02b4e020864e91f8b46070c7c982fa2878da3","datavalue":{"value":"theory of computation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1707978$86C20078-C022-484B-B808-CA4CE3B2D13A","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":"Q1707978$31056AF0-F85C-439C-A9FE-A60D38429317","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"09fd1fc7cc031e83ac220af8991dd451550cec6c","datavalue":{"value":"https://doi.org/10.1016/j.ipl.2018.02.005","type":"string"},"datatype":"url"},"type":"statement","id":"Q1707978$31F4F6EC-F707-4B22-8927-2B9C034B0132","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ff19d75675c394dbae3bcedfad349956e586bbbb","datavalue":{"value":"W2790812689","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1707978$10854618-1031-4C5E-B622-9D9277B274AE","rank":"normal"}],"P223":[{"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":"Q1707978$01DA9AE3-4436-4628-96BB-8B4408F4568E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5af7139c65837eb8115c64cb4d4e1bbefc86dded","datavalue":{"value":{"entity-type":"item","numeric-id":4198075,"id":"Q4198075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1707978$9875FB40-EC30-4871-8B82-6E58DDCC37DA","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":"Q1707978$BDD41F33-ABC9-47FE-9B63-50F9DCE50E9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2feea16d8b47c1a6fe48a821fb7a9a2005c01021","datavalue":{"value":{"entity-type":"item","numeric-id":1575250,"id":"Q1575250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1707978$0A2F6C09-CDA4-48F0-B197-F65AD001734F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b67a2a2142f8e602e5acaf95944c0ee284784c5","datavalue":{"value":{"entity-type":"item","numeric-id":1399965,"id":"Q1399965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1707978$7343A84F-0A4C-4C4B-90B4-2F3F7E0C523E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1629d988c185a1295e2aae85bb22dd9e511d6d19","datavalue":{"value":"10.1016/J.IPL.2018.02.005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1707978$833DEFCB-1DB1-44D5-975E-40F25A1642E7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8a27774b9897549967fd108552265fa090462b2f","datavalue":{"value":{"entity-type":"item","numeric-id":4846997,"id":"Q4846997"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ab13c003d5b24d3f67ec04c15d3f1bfdf4df441c","datavalue":{"value":{"amount":"+0.8612024","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":"Q1707978$3CAF0525-C86C-4AEE-90DF-D47455503959","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"047fe20b686478cc211a21d8249ca832543781e3","datavalue":{"value":{"entity-type":"item","numeric-id":5941203,"id":"Q5941203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d8dfc26e084d11842c0125abc03361903b0a5195","datavalue":{"value":{"amount":"+0.8596195","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":"Q1707978$CB05DB74-4BAF-41B2-93BF-CB2DFC94897A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"25fe34032f914519d13607676ce03e922b029be6","datavalue":{"value":{"entity-type":"item","numeric-id":1815344,"id":"Q1815344"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b438e1825c2689669fdc619e533162af23fd0e09","datavalue":{"value":{"amount":"+0.85174227","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":"Q1707978$3ABCD4BF-4EDE-405E-988E-30B3D6282747","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d587f0b2c0150750953b71f9f0299b99b298260c","datavalue":{"value":{"entity-type":"item","numeric-id":4522113,"id":"Q4522113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"55d48e12aa39d99013390f500a50aa52a70e27b6","datavalue":{"value":{"amount":"+0.84812623","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":"Q1707978$A7F0C6D1-A66A-4E25-AA9B-ED2D621216F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d35479ef071339f13d009c762cdf7e2e7847d779","datavalue":{"value":{"entity-type":"item","numeric-id":3619623,"id":"Q3619623"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1589ea8eb46b698fc5046a86254b0bb5494ad8a4","datavalue":{"value":{"amount":"+0.8446036","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":"Q1707978$B5338DF4-4EA7-4C88-AB13-1F737434C921","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b84d90643597556c2a1d648e2f9be6441ba81dfa","datavalue":{"value":{"entity-type":"item","numeric-id":5277874,"id":"Q5277874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0ec52a88955ba0a7e2a9bbfd85d70ba026e4398a","datavalue":{"value":{"amount":"+0.84394467","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":"Q1707978$E1D027BD-1B59-448A-A99E-07C4EA2E9DE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ebb9888aac49fca20e557ba55d9fe21cf06b3e7b","datavalue":{"value":{"entity-type":"item","numeric-id":2778880,"id":"Q2778880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"03040869036749e7ec5e4ec81d8576edfd1113bc","datavalue":{"value":{"amount":"+0.8432439","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":"Q1707978$C60B21AE-E859-46BD-8C37-1FEA0449F846","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d14b0b888df5f87cf5a228917eed7cf3bdf1c591","datavalue":{"value":{"entity-type":"item","numeric-id":1337642,"id":"Q1337642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"82803fb73422a4d902358f568c38e138d7e76a6a","datavalue":{"value":{"amount":"+0.8427721","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":"Q1707978$11D01F9B-FC78-4B39-B54F-4216D2C9884A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f8a514f487db152c1565a61912b39cda2c0a406d","datavalue":{"value":{"entity-type":"item","numeric-id":4880143,"id":"Q4880143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c184c6cd4b0a15ca4527ec0cc093541bcaccb756","datavalue":{"value":{"amount":"+0.84003407","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":"Q1707978$590070D7-7BF0-4282-928E-05517DA65870","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf2a97869af98f18763aaa8d7a88c62f50868fed","datavalue":{"value":{"entity-type":"item","numeric-id":1901710,"id":"Q1901710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"51baa256c07a29cadf4aacd2c6891a852e68a353","datavalue":{"value":{"amount":"+0.83974975","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":"Q1707978$5CE714F4-3CE2-4E03-8C6D-E4CB6B0A57F2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Intersection of the reflexive transitive closures of two rewrite relations induced by term rewriting systems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Intersection_of_the_reflexive_transitive_closures_of_two_rewrite_relations_induced_by_term_rewriting_systems"}}}}}