{"entities":{"Q3012939":{"pageid":3023663,"ns":120,"title":"Item:Q3012939","lastrevid":58100799,"modified":"2026-04-03T19:36:49Z","type":"item","id":"Q3012939","labels":{"en":{"language":"en","value":"Multiply-recursive upper bounds with Higman's lemma"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5918165"}},"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":"Q3012939$855FE365-A8BF-4122-97AC-16E7F8B9E6FC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a7ccceffd3a40d4449f68aae3ef984f2b856652a","datavalue":{"value":{"text":"Multiply-Recursive Upper Bounds with Higman\u2019s Lemma","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3012939$C1308520-610D-4638-8C90-E79E87C1C3E7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6a1024a809f70a1bc929951e7f70aa0d47ea0238","datavalue":{"value":"1333.68179","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3012939$E9C6F4ED-9AB1-4C9C-87BF-31543C3B2D09","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7baac64fa8d29581fcf9d473217337363affb4c5","datavalue":{"value":"10.1007/978-3-642-22012-8_35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3012939$2637AB41-D3C0-40F7-B9CB-737330450EFE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b35206703f13d65f73634741bdd21f6ff4941d38","datavalue":{"value":{"entity-type":"item","numeric-id":3012786,"id":"Q3012786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3012939$C2D83226-7B10-423C-A239-6D6669221842","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9100d2d5a7227329353887f5d42429d935897bcc","datavalue":{"value":{"time":"+2011-07-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3012939$E31DA989-3D1C-4DE8-B673-D17A442D860B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"425d56b9de33070a6c7d578afba46b2e2ff70ec6","datavalue":{"value":"https://arxiv.org/abs/1103.4399","type":"string"},"datatype":"url"},"type":"statement","id":"Q3012939$E01C1ED6-31FD-41C1-9B32-0DC225DFAFB1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3012939$B06294B2-56F2-4CBB-9900-365F891049A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6ee9f5484d11a01fb95552e5bea2154ebac0877","datavalue":{"value":"03D20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3012939$4471A4C0-BD86-4326-A77C-C744931AED1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"da00c812255bd7f02dddc14c65a56e042cf0446e","datavalue":{"value":"03E05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3012939$06EF1C74-1D69-4747-AE17-809021099667","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"eb2ecf6c5019476a514fc0a548b855f355486e1a","datavalue":{"value":"5918165","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3012939$059FCA49-F232-4F3D-8CDC-33D505418DF1","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":"Q3012939$FEA6BEF0-688B-44AD-9EFC-9878035AF6DB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"988e24ab46efc8040edab6dbf06ebc75985b44dc","datavalue":{"value":"W2138781755","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3012939$BE6C9CE4-D0EE-47EE-859C-50DF796E7CCC","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a3e5ef7c21fdd47cd80f5739b2b231dead2ab9ca","datavalue":{"value":{"entity-type":"item","numeric-id":1854355,"id":"Q1854355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3012939$7BEE419E-D570-4604-BC98-7E31C87A972E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7fa35c0c7bf0cf019d342631a1fc438315dad93","datavalue":{"value":{"entity-type":"item","numeric-id":4304112,"id":"Q4304112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3012939$D6F6A1E5-2FB9-4066-9C14-D999D369B4AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea1a88e1793b677c3bdaf23f60c73e4af53bb964","datavalue":{"value":{"entity-type":"item","numeric-id":5458840,"id":"Q5458840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3012939$7BC89F32-C830-4A1D-BFBA-1F0B753A55F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0660db60517f7bbbdc16ceda004214c76c137343","datavalue":{"value":{"entity-type":"item","numeric-id":3587427,"id":"Q3587427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3012939$58205CB8-F9B3-4A17-98D2-5CD080111311","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":"Q3012939$A19187A5-1987-4AD0-8140-3E4F8E25CADB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8980b6993ce3666dca27b7f643b7108c1d208bfe","datavalue":{"value":{"entity-type":"item","numeric-id":1819937,"id":"Q1819937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3012939$4921B781-493F-4F3D-9DD8-795EB4CEE6B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c50fb2e1e8cf1b2f302165e38684d666bf1a4167","datavalue":{"value":{"entity-type":"item","numeric-id":5941101,"id":"Q5941101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3012939$3BA0DC1E-529C-40C1-9DD0-1903FCC4DA27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba42f9317a46939291644744f1171a9880a72213","datavalue":{"value":{"entity-type":"item","numeric-id":5277714,"id":"Q5277714"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3012939$288E44F7-0A19-4298-888B-25EFB3890B74","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":"Q3012939$225108B1-7E9D-4615-9920-928C864C4B3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c57448c3511c30ed92e5fbbbe68c6f2b95237a20","datavalue":{"value":{"entity-type":"item","numeric-id":2554710,"id":"Q2554710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3012939$7FF44F46-3B3F-452C-8C61-AB550375E713","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d4fcb498ec76618d6d4f59a39de4f22e52d70c2","datavalue":{"value":{"entity-type":"item","numeric-id":5612466,"id":"Q5612466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3012939$B9D3C857-3E03-49A6-8195-19B87F43D28B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3959ffb868545a66d56438fcd6e21698cad3375e","datavalue":{"value":{"entity-type":"item","numeric-id":1060848,"id":"Q1060848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3012939$A47C7292-11CA-4077-A171-F1F3ECBFEC2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d51672464030db7d9d5eb26cf1564be8ebb1d5e9","datavalue":{"value":{"entity-type":"item","numeric-id":4447240,"id":"Q4447240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3012939$82907CE2-B5D9-41E1-BC2C-A6CABFE24B73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b6d180c98b7518dfbe30d0622a6092abf2ce9eb","datavalue":{"value":{"entity-type":"item","numeric-id":3584961,"id":"Q3584961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3012939$68D1AB56-95EA-4BAC-8F27-2269FC9D5228","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f204446f2bbc2f432afaab1f10254083bd2c54cf","datavalue":{"value":{"entity-type":"item","numeric-id":1400716,"id":"Q1400716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3012939$59B20A0E-50EA-4695-9CA9-95F57A46AC22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e90dce10a942e4c996b7133a99b833d892b1cdf9","datavalue":{"value":{"entity-type":"item","numeric-id":1892123,"id":"Q1892123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3012939$40D971B6-3945-4411-A3E2-F7D6928D14BA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c6c04b99c0c066c77f30d46392f1e78260cece3e","datavalue":{"value":{"entity-type":"item","numeric-id":2915021,"id":"Q2915021"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"902e2d3b101769a2f87a2e90bcfa59ec51152bf8","datavalue":{"value":{"amount":"+0.7827045321464539","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":"Q3012939$57ED1449-69BB-43C4-950A-0F342ADBD59D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e4d2774e39d41f0e11313b8f84092e6b8e7a74be","datavalue":{"value":{"entity-type":"item","numeric-id":1129003,"id":"Q1129003"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cc269303dbf6d92c866840bb67f9c9285545ccbb","datavalue":{"value":{"amount":"+0.7732213139533997","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":"Q3012939$6936C621-46B7-4731-9F7A-3291B4E3919E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"abe71164e23ef81c6b51ebbfd72dd07eb101f398","datavalue":{"value":{"entity-type":"item","numeric-id":744984,"id":"Q744984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"46d2aaaf3c92f50e3d7a92259443ef239a6e1643","datavalue":{"value":{"amount":"+0.7700396776199341","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":"Q3012939$3EE2F0AB-4748-438B-A6F3-A08F95B0711F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"65276a25dc370568b6b05c0e712f0bd16b656faf","datavalue":{"value":{"entity-type":"item","numeric-id":1400716,"id":"Q1400716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"83b21c13f79df2c39db69075fad51714e8798ee2","datavalue":{"value":{"amount":"+0.7617580890655518","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":"Q3012939$A9B62868-B9C1-449C-A7A7-570087D8121A","rank":"normal"},{"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":"31c157c2b0234280c12d626e70028c918a195724","datavalue":{"value":{"amount":"+0.7518661618232727","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":"Q3012939$3FC9218A-B275-47DE-968C-F88BCC68139E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3012939","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3012939"}}}}}