{"entities":{"Q6856041":{"pageid":20632885,"ns":120,"title":"Item:Q6856041","lastrevid":84259916,"modified":"2026-05-14T07:58:03Z","type":"item","id":"Q6856041","labels":{"en":{"language":"en","value":"A general constructive form of Higman's lemma"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8161594"}},"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":"Q6856041$A626F8BF-C69B-45AE-B90F-D44D9B4D6489","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b1c3b21ce0971ffc1334af91d429ce11f8d7647a","datavalue":{"value":{"text":"A general constructive form of Higman's lemma","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6856041$79A82A79-90A0-4E9B-B14F-6303FC4171A0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"93f396b4f4c8f09465226051a75d917806fdc2bd","datavalue":{"value":"10.4230/LIPICS.CSL.2024.16","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6856041$1A6E7F76-86E9-4260-A3B7-9DF2CE4F9ADC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b83ed7e99eb27f1c55fbf572cae2ecab18119ca4","datavalue":{"value":{"entity-type":"item","numeric-id":428881,"id":"Q428881"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6856041$8F3B678B-0B13-4D8D-BFD4-502B9B07A965","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b6d38806d93c68ec2953ae091b9ce33de79850b2","datavalue":{"value":{"entity-type":"item","numeric-id":2699965,"id":"Q2699965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6856041$881117F9-A16A-4178-9AD9-13C612FA159D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2c560b31bb9f1f00731745c94c8d48f1f5e52ff8","datavalue":{"value":{"entity-type":"item","numeric-id":591967,"id":"Q591967"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6856041$4C096DEE-D948-4175-A306-293A3A2BF2D8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c0acc3e310b002e7d9eb6bd1bd0a699ed13f8904","datavalue":{"value":{"time":"+2026-02-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6856041$FD16886E-1194-44D4-8DE3-336937905CBF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6856041$5CF89343-7442-43AE-BA87-473C1C8F43CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6856041$4AABB178-3977-4953-B7B2-73B8998389F4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8e63c216aec7ae7165c067931f6de974f97997da","datavalue":{"value":"8161594","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6856041$8ED4D49C-02C2-478A-AA2D-2BCB682BBEFC","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6856041$A430BBDA-8830-41F0-8D8A-917C4E6E8F7C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d450f4b3083fe34d24db452ee74b92106c27a96e","datavalue":{"value":"intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6856041$5C7A4C44-9C59-4354-8F68-F0BD20D43966","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5830bc9df856ae2559fe681dc92cebe9ada5b3da","datavalue":{"value":"constructive mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q6856041$7A47039E-72FF-41FC-8B4F-1BCE1B94201C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"326c300cf62efa849a7bdb94dd90663d744d9f5d","datavalue":{"value":"formal proof","type":"string"},"datatype":"string"},"type":"statement","id":"Q6856041$E4DBE364-7BD6-4F88-B06C-06279899B866","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"769386bb097a15ee56d21e91ddbea3b0e9beac70","datavalue":{"value":"inductive predicate","type":"string"},"datatype":"string"},"type":"statement","id":"Q6856041$EE8F203A-E011-4532-8265-91DCB948F875","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3ecd18eca3fc9713df6a82ddda202d74f024f012","datavalue":{"value":"bar induction","type":"string"},"datatype":"string"},"type":"statement","id":"Q6856041$84EAF3D0-4083-4172-8791-037ED30EE88B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dec74f64f61bac0fb1ca0e4438851dd63ab4c27a","datavalue":{"value":"well quasi-order","type":"string"},"datatype":"string"},"type":"statement","id":"Q6856041$6421E3F6-3117-4F14-8D77-90A963A281D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d39209d488652367428ee47b9a50e6491f07de09","datavalue":{"value":"Higman's lemma","type":"string"},"datatype":"string"},"type":"statement","id":"Q6856041$46996FD3-B1A8-4C25-9A1E-5DE838678AEB","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":"Q6856041$F6918520-2AEE-4503-8D9C-7EF83714B05B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"06000fa8404fb2a0dbf0bbf3cac377adf488d968","datavalue":{"value":{"entity-type":"item","numeric-id":4977228,"id":"Q4977228"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6856041$A743677E-B546-44B8-A754-5E2920D022AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eeddfec2d6761bcca5b706cfa4f21836083ab429","datavalue":{"value":{"entity-type":"item","numeric-id":5712322,"id":"Q5712322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6856041$DEF4AFDE-D708-40BD-9C13-9996774EBB73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84f5f00376ce40e7c5e95eb21ebf38fad1c6f5bd","datavalue":{"value":{"entity-type":"item","numeric-id":2873661,"id":"Q2873661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6856041$A68D0774-0C56-4B85-ADE0-D7FE1C7EC979","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bbe4699150a6b58e6228e9b4ae900f6dff860c8f","datavalue":{"value":{"entity-type":"item","numeric-id":6149029,"id":"Q6149029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6856041$6447A3D3-2121-438D-AF63-99A29A6567EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0b1174e25682c6db55f75a0aae038d55e05f0e39","datavalue":{"value":{"entity-type":"item","numeric-id":4944848,"id":"Q4944848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6856041$22A9E9C8-96C2-4BD9-BDBD-6BED9261E400","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e536c2e036a8a917ff323395f95e0681780f584","datavalue":{"value":{"entity-type":"item","numeric-id":2849896,"id":"Q2849896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6856041$D1F38A26-1F3F-4409-BE43-2445C7DC9072","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":"Q6856041$932677E6-8B95-46F7-9455-BB67C04B01E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11e5b43c5f0e711ef91c4f8e7255199d25558fbd","datavalue":{"value":{"entity-type":"item","numeric-id":5541375,"id":"Q5541375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6856041$E340C112-D997-4A08-92DC-FB9C2BEA37E0","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":"Q6856041$C30D2DDE-02C5-4819-BCB7-94E8708E0BFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"364715fdc2f0e93e050fee5206acb2c2513c84c0","datavalue":{"value":{"entity-type":"item","numeric-id":1210701,"id":"Q1210701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6856041$E960152E-BA6C-416F-BFAF-3E4C1AD8EB72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0ed0853d5d25943754f0b88d3bc5a4e688b584cb","datavalue":{"value":{"entity-type":"item","numeric-id":5734436,"id":"Q5734436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6856041$6E6ACD69-8C60-4CBC-B1D0-33808DB5CCAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"688262f3a104fdad6883ab8facbb707ae543c2d6","datavalue":{"value":{"entity-type":"item","numeric-id":2643522,"id":"Q2643522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6856041$919522F3-C0D8-445E-9198-EC713F1E6338","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4b1e98351e05502307c043aa3e452df938009a0","datavalue":{"value":{"entity-type":"item","numeric-id":3081324,"id":"Q3081324"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6856041$76CFAA57-9DCE-4A56-8C8F-08CB30617937","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a19424dcab1b0758ca560086e569b9dd82877f98","datavalue":{"value":{"entity-type":"item","numeric-id":4986736,"id":"Q4986736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6856041$13661818-B562-4004-B1E1-F956F6B2E2B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"356a1f93abcac1950764c50942c8612a35064261","datavalue":{"value":{"entity-type":"item","numeric-id":3295153,"id":"Q3295153"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6856041$96F022FF-701A-4815-A4CC-F5B5DC35EEF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c8335c4d9cfa350e9089d9fe819cf6cedcbfdd0","datavalue":{"value":{"entity-type":"item","numeric-id":5718561,"id":"Q5718561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6856041$444F5C53-6F6B-403D-956B-C42F31E34895","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"20d8ad24cb4bd25b66b08a8a88a01461662f8272","datavalue":{"value":{"entity-type":"item","numeric-id":1803588,"id":"Q1803588"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6856041$A7932660-2A42-4768-9D8E-E1A08EF6CFB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed201b22ef1a4e26ab767034f85a72d6913cb4a0","datavalue":{"value":{"entity-type":"item","numeric-id":3305561,"id":"Q3305561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6856041$8555F589-1218-4B4E-88E7-DA6395ABF68D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6428c4cdf39c49636a72e8d219cd294de7df3a27","datavalue":{"value":{"entity-type":"item","numeric-id":4552751,"id":"Q4552751"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6856041$5A342094-B8F5-4AF5-84FF-EE562923B88F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb17f238b9d5a084ee6cf633ecdce2b70b9fdf0d","datavalue":{"value":{"entity-type":"item","numeric-id":3295156,"id":"Q3295156"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6856041$3D614914-B571-4329-8C75-3C3894FC1216","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3970a8bb63aa33027515329082f5a7037e0f8e71","datavalue":{"value":{"entity-type":"item","numeric-id":1879322,"id":"Q1879322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6856041$56679B1B-7887-43BB-A149-9C8B9897C949","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A general constructive form of Higman's lemma","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_general_constructive_form_of_Higman%27s_lemma"}}}}}