{"entities":{"Q1400716":{"pageid":1411456,"ns":120,"title":"Item:Q1400716","lastrevid":68623440,"modified":"2026-04-13T00:59:48Z","type":"item","id":"Q1400716","labels":{"en":{"language":"en","value":"A characterisation of multiply recursive functions with Higman's lemma."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1964178"}},"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":"Q1400716$B2B163C3-B789-4597-8F7E-47CEEE584EAE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"44260339f8586686698ea6cedcf3222403fa0593","datavalue":{"value":{"text":"A characterisation of multiply recursive functions with Higman's lemma.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1400716$0BC9430E-1EA3-4169-A695-2D52807EEF88","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ab90a3007b18456b709ed4d2a217495a2496a101","datavalue":{"value":"1053.68056","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1400716$24088CCA-4925-4074-B0C5-E335DF0D2AB8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fac57ac5b28708232fa91007aba8af0493575b16","datavalue":{"value":{"entity-type":"item","numeric-id":925063,"id":"Q925063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1400716$5CC71923-9A22-4CAE-A272-18098DE0FC5E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fa2d1ad91af9619c8dd37ab889fe279a84c4057e","datavalue":{"value":{"entity-type":"item","numeric-id":259032,"id":"Q259032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1400716$0C9EB483-90F2-4C4B-9F83-8987DB292975","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1164e2a9c28144da81c4177eacb0191278982fda","datavalue":{"value":{"time":"+2003-11-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1400716$03B973DE-DA53-47EE-A342-B21CE5EDC8E3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1400716$D2676737-B5B8-40BE-AA65-FE615A7B1E00","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a5ada2447b042638ded08369840c13d43a58c325","datavalue":{"value":"1964178","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1400716$934E43E7-DBB1-4193-93D6-1D98CDAE464F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8ae56fc627e36c80644a749f0f194a2a9784098a","datavalue":{"value":"string rewriting systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1400716$FE5EDB6E-D4F3-4785-BEFF-F4FFA4802FE7","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":"Q1400716$81A966A9-ABB4-4576-A32D-E1D14E56391E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"850910d281dbb25c0787c7281f5fff7e820ecdc6","datavalue":{"value":"https://doi.org/10.1006/inco.2002.3160","type":"string"},"datatype":"url"},"type":"statement","id":"Q1400716$445B0CD5-72B4-4F16-9E52-E46E2EF6908D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8cdf2ab6a07b05a84bafd4c1108c7dfc7bcd3207","datavalue":{"value":"W4246897387","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1400716$567F7407-24CE-4181-AAB4-EB6E50A39F37","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4069fc99cb46e4a17e82773855cf96a50af6be28","datavalue":{"value":{"entity-type":"item","numeric-id":4750638,"id":"Q4750638"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1400716$550BF8D5-726C-4716-84CC-5DD22324FA53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b48f619e2e9aae0c428d8521137e2561a8f3c25e","datavalue":{"value":{"entity-type":"item","numeric-id":1129003,"id":"Q1129003"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1400716$BF3B9A71-0C45-4BB5-8A3D-B1EAC1880D26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4fb1c53dbd3af349891a0e5e82b13b1ecf008b4c","datavalue":{"value":{"entity-type":"item","numeric-id":3874266,"id":"Q3874266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1400716$ED020884-9AC0-47C1-B08F-52B7CF023D58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"378088a63ec20245823db74d6a8845609e39ce21","datavalue":{"value":{"entity-type":"item","numeric-id":593789,"id":"Q593789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1400716$877DD38A-C340-493D-97FD-75770426EC56","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":"Q1400716$94D66D33-AE76-48EB-A5D6-72B62BB9D024","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"58709679cfff7718457ae5dbfaa34a4e9b17219c","datavalue":{"value":{"entity-type":"item","numeric-id":5812263,"id":"Q5812263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1400716$1F505D41-6405-4303-A5BD-56F74AB37962","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b1f24d53123d6885e349219044cd2216b80aec1","datavalue":{"value":{"entity-type":"item","numeric-id":1200982,"id":"Q1200982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1400716$19BE657E-1A47-4F4E-958D-1DFB21FAC57F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a4afd0b3b0b8757574f62e3ae80a63d3876f24e","datavalue":{"value":{"entity-type":"item","numeric-id":5533181,"id":"Q5533181"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1400716$84B93CF6-B692-4EB4-852B-047292E981E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d25837ded14d6394ff95e33c185112b70434e94","datavalue":{"value":{"entity-type":"item","numeric-id":5297489,"id":"Q5297489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1400716$D8412D9F-EA98-476A-BB97-8B7AF2D4C4B2","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"b7c9655a6e5715b060ce0bccdc6571e111a2f9d3","datavalue":{"value":"Q124902244","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1400716$74B869EE-2211-4E34-886E-6C75B0CAAF98","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1e7303c29dd477d5cf120958dc1f803a2fde0b1b","datavalue":{"value":"10.1006/INCO.2002.3160","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1400716$C2962A24-718E-4B24-AC3D-D8775CCB285A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b95fe98b0a64a750f5a2f2bb878ccaee51e39e43","datavalue":{"value":{"entity-type":"item","numeric-id":4938604,"id":"Q4938604"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3f122b8ade7aa0620626a22fe33fa66b7800f358","datavalue":{"value":{"amount":"+0.9857525","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":"Q1400716$1C3A4893-3797-4F94-99ED-B5181BEA178B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b25294d774d0b485ad04bc87410ea426b1e062c4","datavalue":{"value":{"entity-type":"item","numeric-id":3012939,"id":"Q3012939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0de4cf4b476799a40570ded391e405fa7aed57d7","datavalue":{"value":{"amount":"+0.89249325","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":"Q1400716$C487D973-84CC-4F6E-BCDF-943480979D09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1a950fdd805b2278b89eb55d4be6622b5cbfd501","datavalue":{"value":{"entity-type":"item","numeric-id":1202816,"id":"Q1202816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ec5f3b6bb194b24243016b5e20838cb765f45a59","datavalue":{"value":{"amount":"+0.84895337","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":"Q1400716$195AA8CB-3021-4CE7-AB51-8E7482E10075","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fa258d6f9910be8b237855634737e0f22d53267b","datavalue":{"value":{"entity-type":"item","numeric-id":1106201,"id":"Q1106201"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"02387dd0041a6cc878020495187d3cbf7c54869c","datavalue":{"value":{"amount":"+0.84796745","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":"Q1400716$ABA1FAEA-F08D-407A-9365-F55068B41667","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2d7c70e5bcb93b906cd394324ffdfbba4d4b45e4","datavalue":{"value":{"entity-type":"item","numeric-id":2052794,"id":"Q2052794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"012eecc62169a37611252d68110d947e3567225f","datavalue":{"value":{"amount":"+0.84074533","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":"Q1400716$6A684051-7388-4E9F-A2BB-73A1C609D89A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5d1e9f399ee888ef2abb9799e6ab62b2f0b30791","datavalue":{"value":{"entity-type":"item","numeric-id":3808091,"id":"Q3808091"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"95bdf44975b95d9ab989d83c6c0283d7b3875e60","datavalue":{"value":{"amount":"+0.8360107","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":"Q1400716$7A24BC0E-CF00-466F-8E04-2A9403050C25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"205c2c4c5230487d5dd7df257513ae167fdfe9b6","datavalue":{"value":{"entity-type":"item","numeric-id":5932681,"id":"Q5932681"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"04413fc6128212ce46c57c7ac99cdc8ec269382a","datavalue":{"value":{"amount":"+0.83183444","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":"Q1400716$C4C52CEF-5939-46A6-827F-91E8A45B91F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c1451e6b1341ebb867fa6aa1f7885f8f3cf1c855","datavalue":{"value":{"entity-type":"item","numeric-id":1359069,"id":"Q1359069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9f90c46fee73f58c6cbf2a2ff7b43c5ca4947b27","datavalue":{"value":{"amount":"+0.8299806","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":"Q1400716$0F9C98C4-C3D2-4F1D-A6C8-E6F2E69DF2FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cb0b3a633451c8f676c731b8235aee8bb0d33a5a","datavalue":{"value":{"entity-type":"item","numeric-id":4340505,"id":"Q4340505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"05f924e982a834324516b76e0de9ba1bf2d06527","datavalue":{"value":{"amount":"+0.8293556","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":"Q1400716$B105B908-1DDC-46F1-9F04-9DB335936326","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2ef3d3a1dcdb9344e53c968634be2413b17df58b","datavalue":{"value":{"entity-type":"item","numeric-id":3774154,"id":"Q3774154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cb501eaa3458fc7681dd1abc3f83cf7f3bac41c5","datavalue":{"value":{"amount":"+0.82892466","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":"Q1400716$A16BA229-60D9-4FF2-85BA-BA49DAEFA793","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A characterisation of multiply recursive functions with Higman's lemma.","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_characterisation_of_multiply_recursive_functions_with_Higman%27s_lemma."}}}}}