{"entities":{"Q4635865":{"pageid":6665446,"ns":120,"title":"Item:Q4635865","lastrevid":58313304,"modified":"2026-04-04T16:36:14Z","type":"item","id":"Q4635865","labels":{"en":{"language":"en","value":"The diagonal problem for higher-order recursion schemes is decidable"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6863479"}},"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":"Q4635865$EABD5C5E-C445-4728-A1F1-8458841F7EEE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"233d31d51deab35cc37474668f5bbe7155d4e570","datavalue":{"value":{"text":"The Diagonal Problem for Higher-Order Recursion Schemes is Decidable","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4635865$26148E75-B213-4C65-A568-8004A3B27D56","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3752d9bac60353666f6deb777bb86979f0417d3a","datavalue":{"value":"1401.68158","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635865$C756CE21-003A-403F-80EC-9A43EB987143","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"acfd59fb6a0bbb61efc4700f5073481eea165995","datavalue":{"value":"10.1145/2933575.2934527","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635865$DBE8432C-BC25-40F4-8BC3-2EAF54632FB0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"01e14a2ab9fc255c6552f3abb28f56fd94b40f3e","datavalue":{"value":{"entity-type":"item","numeric-id":2221810,"id":"Q2221810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4635865$9E8DC2F0-C346-4F34-8698-D73FCFEF487B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"40f8cdd386691c1fea5e73df605fd6f51a4e84c6","datavalue":{"value":{"entity-type":"item","numeric-id":894454,"id":"Q894454"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4635865$E3CE5E3F-A54F-49CC-B6D2-D6504580B832","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c362ac3b16803115650ca1635e62ab561b04cbac","datavalue":{"value":{"entity-type":"item","numeric-id":476195,"id":"Q476195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4635865$69809846-71B6-471C-87BD-9A76E6439004","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"775a644844a555d1fdaddfac8fec302da0d27d3f","datavalue":{"value":{"entity-type":"item","numeric-id":342706,"id":"Q342706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4635865$063A7AF1-CF28-438F-B045-DEB1F714C36E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"046029701eaa27e11deafdbb503d5ba484152a43","datavalue":{"value":{"entity-type":"item","numeric-id":4635856,"id":"Q4635856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4635865$EA9F7BEC-2145-4EF1-8A0D-05FF24A88D40","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8b5474500ed23a367f35223f2b97230670493d7c","datavalue":{"value":{"time":"+2018-04-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4635865$AE104C28-9876-494F-BBEC-68A12A5D9F6B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c2612b01612ad36477f353cdaad398b4b9e20199","datavalue":{"value":"https://arxiv.org/abs/1605.00371","type":"string"},"datatype":"url"},"type":"statement","id":"Q4635865$A9C5FC00-BDD1-4D58-866C-ECFDB1F906EC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635865$B6C5AD1C-B56B-421C-BCA0-A3641D8AA52E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635865$AEE5C382-58DC-4D78-AE44-9B4FAA771672","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635865$C094A375-EE54-4F9F-A14E-8739FEB94456","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635865$6C17521E-7A14-4421-80BE-4F484C639A2C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"de04d1c31119237729dfe853cba3703af524cf49","datavalue":{"value":"6863479","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635865$1EFDB791-7FF7-4EEE-AE01-628791F1FDA0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"14350bf3f8a6f6c0480fcdb0361c5cff21b73219","datavalue":{"value":"diagonal problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q4635865$12142D1A-DB8D-450A-9E5A-D1E3B09F06DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9ae4faaf87b6642a8bc8521a1de8dbb33a7d18ed","datavalue":{"value":"downward closure","type":"string"},"datatype":"string"},"type":"statement","id":"Q4635865$55214C1A-5AB9-457E-9EF1-115D40F7B21A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"74f244da0300224010732370f60e744b1b853ef4","datavalue":{"value":"higher-order OI grammars","type":"string"},"datatype":"string"},"type":"statement","id":"Q4635865$48791AB0-E70A-44E9-95F0-24C4E4E7DDAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"79b822a0d22ade9dd3983480f17f2ae01ee86295","datavalue":{"value":"higher-order recursion schemes","type":"string"},"datatype":"string"},"type":"statement","id":"Q4635865$495B0D30-FE43-4976-B420-C98B1FD442EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4cb8ba86b7e149466c52dfc8edbad39e27fabb39","datavalue":{"value":"separability problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q4635865$86FD4DAF-069A-46F4-ABFE-99F99762D015","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":"Q4635865$968B914F-7E43-4A39-BFBC-8F76F64E56CF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e8e660e41a7899f325a03664f0fd4c270b26d06d","datavalue":{"value":"W2346985033","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635865$3673DC6A-41BC-48E2-8177-60141023ED14","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e7fe2d070121f071d6a0d485fade03e01cb31f87","datavalue":{"value":{"entity-type":"item","numeric-id":5136337,"id":"Q5136337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"877854dcb8683a4f51130acbbac8963c065479d0","datavalue":{"value":{"amount":"+0.8974152207374573","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":"Q4635865$C625B357-9087-4450-8FBD-39B594789951","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b143ecc5518b188b309bae202f417aee6fc7d5cc","datavalue":{"value":{"entity-type":"item","numeric-id":3617724,"id":"Q3617724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b99185f35ba72c4f83e5479f2fcb081411678455","datavalue":{"value":{"amount":"+0.7788002490997314","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":"Q4635865$6680E8AE-2EF8-4D9F-94BD-3A647AD62451","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"707abaf20b0cbf31e002758f9be9690be89000af","datavalue":{"value":{"entity-type":"item","numeric-id":2828251,"id":"Q2828251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5adda1dbe5a2c086f29e52d00d08c7a37b9c2a4a","datavalue":{"value":{"amount":"+0.7695140242576599","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":"Q4635865$816CEE30-D693-43E4-B577-58E70A4D1B09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ca9b55e376ab0e6e1feb6579fa95b8cc8f2dabba","datavalue":{"value":{"entity-type":"item","numeric-id":5704028,"id":"Q5704028"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"635c0abc9ed5d0ce34f4796da33aae6a92d18f57","datavalue":{"value":{"amount":"+0.7648160457611084","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":"Q4635865$4DEF979B-932D-44F7-965F-DBC670585DF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"31ce4e8da4113540ca53f3d85bcb8424000dde90","datavalue":{"value":{"entity-type":"item","numeric-id":2753669,"id":"Q2753669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ef115c1dd701fc1fce7c258e98b7ab78bcfe3447","datavalue":{"value":{"amount":"+0.7616941928863525","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":"Q4635865$4219EB93-F797-421F-8A83-4AE29D095FA3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4635865","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4635865"}}}}}