{"entities":{"Q2423761":{"pageid":2434504,"ns":120,"title":"Item:Q2423761","lastrevid":74198064,"modified":"2026-04-14T18:54:48Z","type":"item","id":"Q2423761","labels":{"en":{"language":"en","value":"Some decidability results on one-pass reductions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7069242"}},"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":"Q2423761$DB6CF5D3-8307-4525-971D-1EF88FAE8EB2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b16947d367d316f0ca392f588c4680c4afde36f7","datavalue":{"value":{"text":"Some decidability results on one-pass reductions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2423761$0A6E7531-553E-40CE-82A3-549AD32370B5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5e7b9dc411b0888c516017d3b2aa5da95cae9f42","datavalue":{"value":"1429.68094","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2423761$B3113DEB-0AE5-4AD3-9B57-0574722EC488","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2532b82fbfd494721e144e8b872f80867d7316e9","datavalue":{"value":{"entity-type":"item","numeric-id":246441,"id":"Q246441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2423761$8A881FD7-698D-4E8D-8D2E-09F8A0DB41AF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"42d1f5c0f5e8db34a69e71d479f8d7faaf3c37a6","datavalue":{"value":{"time":"+2019-06-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2423761$039FA568-61F8-40BA-A07C-33F469FD754A","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"b6d3728a4e6d4f10947e84e528703411fc5c0e3d","datavalue":{"value":"One-pass reduction by a term-rewriting system (TRS) means that the processing of an input tree (i.e., term) proceeds in one direction, either inside-out (IO) from the leaves towards the root, or outside-in (OI) from the root towards the leaves, without ever rewriting anything already previously rewritten. In this paper the author considers some second-order decidability problems concerning one-pass rewriting; `second-order' signifies that the problems concern tree languages rather than individual trees.  Let \\(R\\) be a given TRS. The IO sentential forms of a tree \\(t\\) are the trees appearing in some IO one-pass reduction sequence of \\(R\\) that begins with \\(t\\). For any tree language \\(L\\), let \\(\\operatorname{IOSF}(L)\\) denote the set of all IO sentential forms of the members of \\(L\\). The set \\(\\operatorname{OISF}(L)\\) of OI sentential forms of \\(L\\) is defined in a corresponding way. It is shown that for certain classes of TRSs and any recognizable tree languages \\(L\\) and \\(M\\) the following questions are decidable:  (1) the inclusion problem ``\\(\\operatorname{IOSF}(L) \\subseteq M?\\)'',  (2) the reachability problem ``\\(\\operatorname{IOSF}(L) \\cap M \\neq \\emptyset?\\)'', and  (3) the common ancestor problems ``Is there a tree \\(t\\) such that \\(\\operatorname{IOSF}(t) \\cap L \\neq \\emptyset\\) and \\(\\operatorname{IOSF}(t) \\cap M \\neq \\emptyset\\)?'' and ``Is there a tree \\(t\\) such that \\(\\operatorname{OISF}(t) \\cap L \\neq \\emptyset\\) and \\(\\operatorname{OISF}(t) \\cap M \\neq \\emptyset\\)?''","type":"string"},"datatype":"string"},"type":"statement","id":"Q2423761$2250A2F2-5F51-4D04-8611-8F866F5600A9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2423761$9F8B3657-750D-4703-B1C4-8C6CA5D8D2A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2423761$A07A8260-A00A-456C-B16B-98EFE82FFB72","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"239417ad01fe3ae578fe425f8cf407ca33fdcba9","datavalue":{"value":"7069242","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2423761$D742CE90-305D-4AA9-BE65-F77100E6DC46","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9090eae54307f4cb4926123be61b267a50c76f98","datavalue":{"value":"term-rewriting system","type":"string"},"datatype":"string"},"type":"statement","id":"Q2423761$AC1B80E0-0BF2-4893-B008-A6B8B09BB528","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"665c37d5ccc472d18d694fa9275fe939b380bda5","datavalue":{"value":"one-pass reduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q2423761$5E9EBAD8-0DB0-4AC1-BAD5-C59B924E86F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1274a871b20a4df9063776eaf103bb1de2cf3dbb","datavalue":{"value":"reachability problem, inclusion problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q2423761$F433B415-971F-4C9D-A21E-CFE914756437","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2423761$1EBB169C-C7A0-4102-8EDA-89EBCD20B17B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f22839511b1b2e88121e4d8d7f81e307f8961a75","datavalue":{"value":"tree language","type":"string"},"datatype":"string"},"type":"statement","id":"Q2423761$F5F4EFF9-5FCD-463E-9ED6-E77789E33F39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a84ba88a223d66a255cf717873de1a17d0ae80a1","datavalue":{"value":"tree automaton","type":"string"},"datatype":"string"},"type":"statement","id":"Q2423761$DA6ACA40-A6B6-4BD4-B592-054D39DED45D","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":"Q2423761$6BAD1EE7-320E-4BFF-BC94-51E29C206F3D","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"6e07306c48ccd2e9c29ec0a26f6f3afb07223426","datavalue":{"value":{"entity-type":"item","numeric-id":591314,"id":"Q591314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2423761$CFC7179B-E991-4C80-A244-FA8AE6B75FB6","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"05ab5668d708c884e00e91bf8e8096cfef14a43c","datavalue":{"value":{"entity-type":"item","numeric-id":18478,"id":"Q18478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2423761$27CC4C82-EEFE-4510-B6C4-D76970B81B44","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":"Q2423761$3270CCB1-39D7-45B5-840E-B6E5DBE195B5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9ca37f1926f1268696d7bc572aa25e38f1270d26","datavalue":{"value":"https://doi.org/10.1016/j.jlamp.2019.02.009","type":"string"},"datatype":"url"},"type":"statement","id":"Q2423761$C4E1850C-B675-4B4C-B6A4-F628697C702F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e31868480e951e0660fe296d08b4a3f47c2e68f3","datavalue":{"value":"W2920974036","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2423761$3110C5F5-F6CC-42C6-8F07-1BA6398A3B82","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"92f0bc1d6da55f3b0d95a155b932e3d3e607429b","datavalue":{"value":{"entity-type":"item","numeric-id":3590971,"id":"Q3590971"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2423761$3EB5C9EC-FFBF-4E3D-A8C7-090EE93664B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"497554a73c429e1ee6dc99efab5d1309ed1c354d","datavalue":{"value":{"entity-type":"item","numeric-id":500276,"id":"Q500276"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2423761$133DA030-2C41-41B0-B971-12B22075D652","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e1b5284ac8114a0969b7aa548734036708bdc2a6","datavalue":{"value":{"entity-type":"item","numeric-id":3028337,"id":"Q3028337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2423761$8180A5AC-5A5A-4BA7-9030-72C2541BFAE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f795822a50f8c464c3462e79742cc6ef6b14c926","datavalue":{"value":{"entity-type":"item","numeric-id":4916227,"id":"Q4916227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2423761$021F118A-1CDD-4BC9-8C44-DDB28E752489","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d5183640ea17aee4713be4cc41f7f144d515a51a","datavalue":{"value":{"entity-type":"item","numeric-id":556686,"id":"Q556686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2423761$765D86AA-12B4-445E-9445-FA081D0DA1AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f1255268d9ef3e1e662dd18cfd2dd87b355dec49","datavalue":{"value":{"entity-type":"item","numeric-id":4269134,"id":"Q4269134"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2423761$164D5827-EBD6-4999-B012-80A244420F58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5709c2ffa01c029b486c6e705fa60fd703dea1c8","datavalue":{"value":{"entity-type":"item","numeric-id":4179852,"id":"Q4179852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2423761$1FEA5B5A-5A67-4951-9000-8CEF9423A4BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe929f01fa86af5ec1780a3fd0d8f9ac3346a63b","datavalue":{"value":{"entity-type":"item","numeric-id":4714446,"id":"Q4714446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2423761$5FA56FBE-B704-4E62-9368-EC7DB0198A40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"20863d4255c7026d2bcf774c23b3c4f8e315924c","datavalue":{"value":{"entity-type":"item","numeric-id":730470,"id":"Q730470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2423761$E0568172-0E4C-44E7-995F-21BC5242BC8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce0d33c582e8883e07383482f662ea72451b87b4","datavalue":{"value":{"entity-type":"item","numeric-id":2980977,"id":"Q2980977"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2423761$3422923A-1EE1-4719-9078-FFF0D8357733","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37dfc15837f84de69d2923418bbe22eb2d64a913","datavalue":{"value":{"entity-type":"item","numeric-id":4847003,"id":"Q4847003"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2423761$C80456A8-14AC-4862-975A-AC68084F0BF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e75609fb90ea800d27d0fc4f87283eb79e260d25","datavalue":{"value":{"entity-type":"item","numeric-id":5432341,"id":"Q5432341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2423761$DC8BC21B-42AE-4FCC-92A8-04F2FD4CC6CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"926e1c124ce65acb98298900b42930980762fc43","datavalue":{"value":{"entity-type":"item","numeric-id":1014436,"id":"Q1014436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2423761$5798CFAA-2FA5-430D-AD11-945BE599CD30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1598b42a0d0cd302314d6453395cf6853afd54f9","datavalue":{"value":{"entity-type":"item","numeric-id":5055873,"id":"Q5055873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2423761$4FBF397A-A470-415E-9E42-36088BD26286","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"353691f96b7258724f001a646d3c16cdac1b5b05","datavalue":{"value":{"entity-type":"item","numeric-id":3454088,"id":"Q3454088"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2423761$FA97ACF6-953D-433C-93C5-9B88B89270F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40a0bbe913d854bd2e5184ecb22ad6fc86b03a25","datavalue":{"value":{"entity-type":"item","numeric-id":311790,"id":"Q311790"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2423761$9B6C191F-1F58-42D5-BE22-97FE1AC96E30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"969944d805b4fe3bd06030b7da5aa6ca28484423","datavalue":{"value":{"entity-type":"item","numeric-id":4934355,"id":"Q4934355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2423761$32573418-6049-4822-A9BA-1F29638CBF7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3045000faba80d84e6adf9c03c630e8ac371018","datavalue":{"value":{"entity-type":"item","numeric-id":741821,"id":"Q741821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2423761$E9180EF4-1709-402C-B407-6E31F5859C96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bde07cdcf9f119afdf8d81a4464725f1ef280c9d","datavalue":{"value":{"entity-type":"item","numeric-id":2723905,"id":"Q2723905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2423761$6EF6BD4B-81AD-4107-A4CF-1ACA8119180C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"72a04350dc9480fc2452390fba22cda7f487634a","datavalue":{"value":{"entity-type":"item","numeric-id":4418865,"id":"Q4418865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2423761$0D1C2B8B-5606-447C-A2E7-C0A3331C36E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db4a04695b5dad98a47968095999400e0c93b3ec","datavalue":{"value":{"entity-type":"item","numeric-id":2820785,"id":"Q2820785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2423761$64A9F49E-38C2-4CA0-86AD-F67A17794A9D","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"2e83ae48c6b126b6045543afbcda6aade7423001","datavalue":{"value":"Q128268670","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2423761$21D3C285-0EE7-4496-BAAF-0A1A2E9CF957","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"54d23dcd00841fd1580ecd7b7b5143bbc1965def","datavalue":{"value":"10.1016/J.JLAMP.2019.02.009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2423761$438AE04F-1689-472E-9664-615219388A61","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ae28bbed80a4a22009360e7f876a6b0030ea61f5","datavalue":{"value":{"entity-type":"item","numeric-id":2820785,"id":"Q2820785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ab8fe8bd404fbfdb425f8e9cb5b61349af527329","datavalue":{"value":{"amount":"+0.9221299886703492","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":"Q2423761$376E5669-91FD-43EC-AE1C-CFD7C57BC0E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9e91d455f44ce428a39fabf67aac491e59ea98c5","datavalue":{"value":{"entity-type":"item","numeric-id":4269134,"id":"Q4269134"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dec789520d46d4cb0fcb60ec66c64005d7878c19","datavalue":{"value":{"amount":"+0.8096750974655151","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":"Q2423761$D213C385-FFDE-4A36-AC9E-34114096AFF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"49f026de1768067d5029c958be5d4e7a715aee57","datavalue":{"value":{"entity-type":"item","numeric-id":4035665,"id":"Q4035665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8ebfae97744015d309066ae2ae28b1d6f0a433b1","datavalue":{"value":{"amount":"+0.7666015625","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":"Q2423761$6CF3618F-6901-4571-B8CF-C2664875C30A","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":"4591a585514b0f4166f2cc82613977a83afd6b52","datavalue":{"value":{"amount":"+0.7661030292510986","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":"Q2423761$8AB941ED-2FF6-4B68-BAC1-49A4BCF4CBC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e796d03d85e164ac373cf0a8f6ff33b56a338662","datavalue":{"value":{"entity-type":"item","numeric-id":1341717,"id":"Q1341717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b557925484b0afc9c4ec4324f4570e1661e3dae3","datavalue":{"value":{"amount":"+0.7543443441390991","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":"Q2423761$D7FA6767-79AD-43EB-B1FF-ABF619F903DD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Some decidability results on one-pass reductions","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Some_decidability_results_on_one-pass_reductions"}}}}}