{"entities":{"Q453200":{"pageid":454967,"ns":120,"title":"Item:Q453200","lastrevid":61947582,"modified":"2026-04-11T02:45:13Z","type":"item","id":"Q453200","labels":{"en":{"language":"en","value":"Computing maximal chains"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6083829"}},"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":"Q453200$5409D0F9-0A9A-4BD4-B94A-74AC7013F620","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6ab07cf6ba549498c64ca73e794170caad3b9521","datavalue":{"value":{"text":"Computing maximal chains","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q453200$63550D8F-B90F-45BE-A654-809E858B1CF3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"31528c4286ae3b2aa6cc29721441fb1f8bc3f8a1","datavalue":{"value":"1252.03105","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q453200$8F59E2B7-E974-49AB-909D-A4292BBBBA48","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"647f4d17eb87bf327562a875e1fc7cdb8bf682b0","datavalue":{"value":{"entity-type":"item","numeric-id":238867,"id":"Q238867"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q453200$21E3691B-52D0-422A-8944-B1C1ACBF132A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"79ce5ab41f7629f8f674c94fed05f6d1f4b53855","datavalue":{"value":{"entity-type":"item","numeric-id":453199,"id":"Q453199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q453200$4BB15A3D-AF1A-47DF-82B9-C604D53FFDF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"31b4e48a13833dd9894b366d4966e95d03977c89","datavalue":{"value":{"entity-type":"item","numeric-id":175054,"id":"Q175054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q453200$1CE7F684-E537-4E4A-B24E-0ACEE4A44764","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a0a7cd28a9f85b9c6ad57bd5bb1ae477bfe37846","datavalue":{"value":{"entity-type":"item","numeric-id":114337,"id":"Q114337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q453200$FD11D9CE-1466-4DB5-89CD-EC70A1D9DB7D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8116af7574c2cac3c55da1a071af8f6c18a63659","datavalue":{"value":{"time":"+2012-09-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q453200$9024BAFD-B4E6-47ED-BED1-9A49FBB82E0D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ad29e03d7987722da3b0dcc5fc6ee2bb92662768","datavalue":{"value":"https://arxiv.org/abs/1201.4408","type":"string"},"datatype":"url"},"type":"statement","id":"Q453200$57AF115B-13F3-4AE1-8D4E-52EC06ABC4C7","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"d6400b0869ecbb86cdf6e5404f915d0d05fa103e","datavalue":{"value":"This paper examines computability properties of chains of maximal order type (maximal chains, for short) contained in computable well partial orders (wpo's). The centerpiece is the theorem that, given any computable wpo \\(P\\) and any hyperarithmetically generic set \\(G\\), then \\(P\\) contains some maximal chain that is Turing-reducible to \\(G\\). On the other hand, the authors show that for any computable ordinal \\(\\alpha\\), there exists a computable wpo containing no maximal chain reducible to \\(0^{(\\alpha)}\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q453200$A31DAB9E-AD8A-4F1E-A7D4-7BBFE8545B56","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"918802f1a1362bd512279080eb151cb7e040bd3a","datavalue":{"value":{"entity-type":"item","numeric-id":588764,"id":"Q588764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q453200$A017058C-C7F7-4511-B69C-20BC16C9F3A5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"758b4d196a1f97708f26591fee42c00739e26cc0","datavalue":{"value":"03D80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q453200$B734EB88-8FD6-4B17-ADE7-917E4179F4E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1267197712a0b8481bdd51a65bbac0428b08dd13","datavalue":{"value":"03D45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q453200$CF740136-47A9-4FB4-A2C1-5862C04A9481","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3f3d0b1de78ad0e32d646815f9dc7561538cada7","datavalue":{"value":"06A07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q453200$D20CB0D6-F00F-405D-8121-7130A201CF2F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"887eba0229108fb0124ae1a06b8f9d2e72111955","datavalue":{"value":"6083829","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q453200$0074A3A1-A1BD-43F7-9614-9ED6EA99D516","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"24f294306de87a8f3686a31eaab484c91263d8cd","datavalue":{"value":"computable well partial order","type":"string"},"datatype":"string"},"type":"statement","id":"Q453200$F66AF8DE-B934-415A-867B-04BFE18E6AB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a2a48e98ee29236420fe4b66c926f90c8016d011","datavalue":{"value":"hyperarithmetic hierarchy","type":"string"},"datatype":"string"},"type":"statement","id":"Q453200$8C6B75EC-05FC-4586-A6E4-E42912F9EC6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4d69732846ae99eacccc87b92de613881c023d31","datavalue":{"value":"hyperarithmetically generic","type":"string"},"datatype":"string"},"type":"statement","id":"Q453200$EA8D0084-60A7-47E2-B6FF-1A861879870D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aa11204b7a828e30d93c966a7037c580ecfef23e","datavalue":{"value":"maximal chain","type":"string"},"datatype":"string"},"type":"statement","id":"Q453200$6A429FB4-DBFE-49E0-90E9-36484A2C86D0","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":"Q453200$9CFB16C0-F99A-4DC3-9991-C8FF93ECBAD4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"363bebf8c62b7ce1f5c30efd57f1aa75a76e3cc7","datavalue":{"value":"W2112872662","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q453200$8C3025C8-C83F-46CF-8CE6-159FB3B9F4E7","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"12465133a544550ec8800578943dc3d8c050d028","datavalue":{"value":{"entity-type":"item","numeric-id":923075,"id":"Q923075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q453200$03A426F7-497A-43D4-A7D0-FA620E9B1944","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0ced782eb6e7be2df0dbcea28ce1bb103b301bc0","datavalue":{"value":{"entity-type":"item","numeric-id":1193566,"id":"Q1193566"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q453200$34797DA7-8092-4E8A-B1A0-65A5ED2E923B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"31249b92dfeaf401d23506d80f01199453d80c11","datavalue":{"value":{"entity-type":"item","numeric-id":2554653,"id":"Q2554653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q453200$B94C669B-F994-41D8-87A8-B616E8D9D83F","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":"Q453200$7F8D4DA1-528F-4E76-A2F7-D5EB07209D71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa8aa05c5638662f0601198df4122785ac8efebb","datavalue":{"value":{"entity-type":"item","numeric-id":1769970,"id":"Q1769970"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q453200$B15BB14B-FD28-4353-80A7-6570614CDE28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37a74f4b1d8effd089dba853ee6630768c253298","datavalue":{"value":{"entity-type":"item","numeric-id":2385530,"id":"Q2385530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q453200$CD9C9204-1D03-4223-B213-0369D7D7BCCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"49f6ec2c18fbe650e412e0955597a8cc9ad61309","datavalue":{"value":{"entity-type":"item","numeric-id":3941409,"id":"Q3941409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q453200$F761A350-14F1-4FDE-9A6E-5F6BF5878D97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b402d4bf0781dc782d019ac9f2fd500522a65cc6","datavalue":{"value":{"entity-type":"item","numeric-id":634769,"id":"Q634769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q453200$7C2182B3-34F6-471C-A407-C55592CBD814","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e07ae007fd7d2773d6f84a20f1d34b8ce24af5d6","datavalue":{"value":{"entity-type":"item","numeric-id":4040890,"id":"Q4040890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q453200$2E8D4610-0B41-4100-B284-CD858E24D63A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d209d940a77a138aef5d545c237e80cee14d7f2","datavalue":{"value":{"entity-type":"item","numeric-id":4292597,"id":"Q4292597"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q453200$78ED054D-2ED4-435D-86DB-1E55F7A6FC1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0430e4a9fe16a78c945c278746cad2959afea463","datavalue":{"value":{"entity-type":"item","numeric-id":3395521,"id":"Q3395521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q453200$E584EAFE-E023-4E0B-AF41-7D6CB08C6B6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f53cfb68ec5afe5a789029a0dc16c302390c2746","datavalue":{"value":{"entity-type":"item","numeric-id":5532572,"id":"Q5532572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q453200$919C93B5-F573-4D8A-907B-35AC68EB3085","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f39e458c913ab4e90479307e28f34f9719567287","datavalue":{"value":"10.1007/S00153-012-0289-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q453200$1D294CED-6C52-4A28-B515-CDB94B58EC8C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aa05d00a195649024f3709c4f2ff16ab61499dfe","datavalue":{"value":{"entity-type":"item","numeric-id":2747728,"id":"Q2747728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"68c6923fd777660e6a379bd97bc6690261ab8f85","datavalue":{"value":{"amount":"+0.8030240535736084","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":"Q453200$42BD8C97-1F7F-4DA8-A650-68335DD2B14F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a5be9d35000596fed8d38ff691acbde6bee6d797","datavalue":{"value":{"entity-type":"item","numeric-id":1005926,"id":"Q1005926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"01d1fa2eb282e0267fa11b1d86bd97ebbf5b5aaf","datavalue":{"value":{"amount":"+0.7794755697250366","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":"Q453200$1CC130EE-AA37-4779-A02D-F5FF83A11F83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ab63af4174699787a0ca33a6573e5b43ef157679","datavalue":{"value":{"entity-type":"item","numeric-id":5444697,"id":"Q5444697"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8e42660d96ade46c537a39dd8ac3c263e7026b35","datavalue":{"value":{"amount":"+0.7541224360466003","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":"Q453200$ED168E4E-8556-4389-8EA4-5498AC677FB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2d498c129fc056629d99050b63a1c7fa6a3522b6","datavalue":{"value":{"entity-type":"item","numeric-id":2385530,"id":"Q2385530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3c0ffdbe7a2cfc3cb732e36dc1044fb09d36fa4a","datavalue":{"value":{"amount":"+0.744570255279541","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":"Q453200$2A46D064-3166-4F28-BF39-4B774CDEC51A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d47b7913e47f54f397e3cf7d7dfcb37edf2fd880","datavalue":{"value":{"entity-type":"item","numeric-id":3295157,"id":"Q3295157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1cdddd5a53771a5f223e0bd1180b1c97a791665f","datavalue":{"value":{"amount":"+0.7425827980041504","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":"Q453200$811E9D95-E729-49C8-8FB2-C8B651B97140","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Computing maximal chains","badges":[]}}}}}