{"entities":{"Q2881086":{"pageid":2891806,"ns":120,"title":"Item:Q2881086","lastrevid":58048620,"modified":"2026-04-03T14:39:54Z","type":"item","id":"Q2881086","labels":{"en":{"language":"en","value":"Derivation lengths classification of G\u00f6del's T extending Howard's assignment"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6021336"}},"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":"Q2881086$41B7872A-D9F8-416F-9493-3564E2A438C6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"28be756cf1d1abd8bde2f047400535d7303aa75d","datavalue":{"value":"1238.03025","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2881086$F26BE581-750A-4624-8482-71E7C1BC151F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6ecc3e504cd21e8d5a6bb361ef710f0b8dd10471","datavalue":{"value":"10.2168/LMCS-8(1:19)2012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2881086$E1BE057A-1CCA-402D-AE12-927F055D026A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3f21c141d1f4dfddbdbe81814e287bb01978856c","datavalue":{"value":{"entity-type":"item","numeric-id":490675,"id":"Q490675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2881086$BC6D4D10-E269-44A6-A66E-F1B0C6EDCBC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"35c1c300a719bd5f4d1087a4b9df89abcc695541","datavalue":{"value":{"entity-type":"item","numeric-id":408159,"id":"Q408159"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2881086$B298916A-28C8-4244-BE3B-F52CB891FFFD","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"da58c52dc46c86e7440f2499c9e1bef3537c5562","datavalue":{"value":{"entity-type":"item","numeric-id":2786118,"id":"Q2786118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2881086$73DB2A28-E150-40FC-89B7-112B0E3B4FCC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d567b51f320d6b206f1e246178a080db047a3948","datavalue":{"value":{"time":"+2012-04-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2881086$0854FD1A-4DA4-48ED-863B-0E80F0EF2717","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"25ff5c8deed0f3346ed24553fdecf4ce4e671b69","datavalue":{"value":"https://arxiv.org/abs/1203.0115","type":"string"},"datatype":"url"},"type":"statement","id":"Q2881086$B22E64DB-4D25-4083-A851-F7E2E95CAAA1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2881086$29533E6B-036D-46C1-AC1A-BB8946D2A38B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2881086$8B6FD477-7B22-4B82-9370-F7F9F797E6E9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4a01862cae5ce513354c3e56b914939963888749","datavalue":{"value":"6021336","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2881086$BAE2FFBD-BEF6-42AC-946D-C2CD5C85572E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e2fcdabc34faec2b0acf7add19f8dba3e97fa0c0","datavalue":{"value":"typed \\(\\lambda \\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q2881086$E5FF5524-86C7-494F-8BAD-CE68238B3ABA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2937b973c91d3b5515ba93a4c99f71fc3b17f60d","datavalue":{"value":"rewrite system","type":"string"},"datatype":"string"},"type":"statement","id":"Q2881086$87641D92-DF34-4E65-8E96-B653C28E32C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7555859ae20fdaa5ecc81828fcb5d97eb98312c1","datavalue":{"value":"G\u00f6del's T","type":"string"},"datatype":"string"},"type":"statement","id":"Q2881086$911B642D-0BA3-48DD-AAFB-1223079E158D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"af462e56ed2ce88a42c8df0ec7f2dc6a55ded212","datavalue":{"value":"strong normalization","type":"string"},"datatype":"string"},"type":"statement","id":"Q2881086$F7EDF64B-22CF-4D4D-9343-F8EA305EDBF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4befa4ca20f2beabcfa09e8a92ae13c21cb4934a","datavalue":{"value":"termination","type":"string"},"datatype":"string"},"type":"statement","id":"Q2881086$EB02701E-DD75-443C-8DC1-32A8002FF4FB","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":"Q2881086$318930A3-265A-42CA-9196-97D4DEEEF9E7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3790c6345c8166994eea1b12712b5a4ea67e5fe6","datavalue":{"value":"W2036716130","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2881086$9AA112A9-AF26-4651-A2EB-9966D0C5DCF5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ce097c72792ea69adc8f868592adf87fb96ab85b","datavalue":{"value":{"entity-type":"item","numeric-id":5055719,"id":"Q5055719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"437024e4bfe982f404901cb26b3b3e6f581410a5","datavalue":{"value":{"amount":"+0.83864","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":"Q2881086$1C47DF6D-697D-41D4-8870-7D8495DC85FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"65a8ef237ce09e61ce0d3afe062b3d2fb03d9821","datavalue":{"value":{"entity-type":"item","numeric-id":3197824,"id":"Q3197824"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"edc80634c172cc943466d566b96240067490e2fb","datavalue":{"value":{"amount":"+0.8351853","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":"Q2881086$38AEB163-2CB6-4C93-8B4B-729133654881","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2e22a88ad6af643a9d7e4300bf32b20bec52fef7","datavalue":{"value":{"entity-type":"item","numeric-id":4521126,"id":"Q4521126"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b8709b5d7cb09c5f8d4d988653e9578dbc42dc18","datavalue":{"value":{"amount":"+0.8154429","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":"Q2881086$B69EDB12-C6EF-4B6D-A3CD-A3CD033C2AD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6baee11bddd38f248e5ee900d09d949d8dc92d4c","datavalue":{"value":{"entity-type":"item","numeric-id":3637208,"id":"Q3637208"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"04850ff3566391f6c723a536f66f00bfd4c871cf","datavalue":{"value":{"amount":"+0.8102199","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":"Q2881086$F75AE06C-4664-48FF-B700-C96485954521","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"853e4068d9e73effa2ffc4e1e0f447ca4578af6e","datavalue":{"value":{"entity-type":"item","numeric-id":960861,"id":"Q960861"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"866733b931c45ea70385ebd1aa25b22bc999b594","datavalue":{"value":{"amount":"+0.8083045","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":"Q2881086$07889F9B-32DF-49CA-9EC9-6E7C8E0F2379","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d0e4ccdb193f8f770b6fe8b208bfb731484f2e1f","datavalue":{"value":{"entity-type":"item","numeric-id":1029989,"id":"Q1029989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0b940198619366dd7bebc904a54765472f8cf6ca","datavalue":{"value":{"amount":"+0.8059331","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":"Q2881086$A8C57857-9FF7-4275-9502-8FB8698AA22F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"69c86b3bd55dc230c7661188d46a7e8d7946c74a","datavalue":{"value":{"entity-type":"item","numeric-id":4218926,"id":"Q4218926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e5b80a8ea348e803b6aac8c9411e2da361aa4988","datavalue":{"value":{"amount":"+0.8037232","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":"Q2881086$47502F4C-5D68-4587-BE61-66B886CC7F12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"34b2867fb11f062d789e0282ecb8061554b5b50b","datavalue":{"value":{"entity-type":"item","numeric-id":5294136,"id":"Q5294136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"246ca18ae3348fb95466c751e64ecb438991a446","datavalue":{"value":{"amount":"+0.80252177","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":"Q2881086$EAE96A4B-1996-4B3B-8AAF-1EF74D812AE3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"725f7b5d33d0a4db9060499d3c66825f7c5e821d","datavalue":{"value":{"text":"Derivation lengths classification of G\u00f6del's T extending Howard's assignment","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2881086$DBB56CBF-1039-40B6-8667-2DC841FBA8D2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2881086","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2881086"}}}}}