{"entities":{"Q1803588":{"pageid":1814330,"ns":120,"title":"Item:Q1803588","lastrevid":47176660,"modified":"2025-12-31T22:22:20Z","type":"item","id":"Q1803588","labels":{"en":{"language":"en","value":"Well quasi-ordered sets"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 221228"}},"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":"Q1803588$A4C60D77-E4BC-4142-9BD8-D41B659E9067","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ae445109fb83d49def28a6375380c4b736b0b01a","datavalue":{"value":{"text":"Well quasi-ordered sets","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1803588$B9EB82E8-6635-4D82-B98D-284F5765F5A1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"38c33417f055d86a3b12d618d9a0590e70f0e78f","datavalue":{"value":"0771.03020","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1803588$9FFF3439-1002-407F-8C64-37F74782DFF5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fac2d97fc871faeeb1062a08181f0f0cc5094b16","datavalue":{"value":{"entity-type":"item","numeric-id":173439,"id":"Q173439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1803588$C3A00F2B-E4EF-4DC6-BD27-2DAD34AE1FF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"518b02b9363724d905c552ac41f9029e0a40cc6e","datavalue":{"value":{"entity-type":"item","numeric-id":1238734,"id":"Q1238734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1803588$367016BB-BACD-4B76-B3C9-0606C611B8A4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"87fedd43d9515b94c7651de65777aba7be17422f","datavalue":{"value":{"entity-type":"item","numeric-id":165833,"id":"Q165833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1803588$52AC5B8A-512F-4443-88D3-81A753474A70","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"be4381b75afe2df0dbe37cd1a66e006418c0c5aa","datavalue":{"value":{"time":"+1993-06-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1803588$C4C47455-B5E1-458B-9B58-11B1EA63DA2B","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"c7475aa61c5c30333cd1dd2a220a817678aa938c","datavalue":{"value":"The theory of well-quasi-ordered sets is developed from a constructive point of view. In particular, it is shown that the set of finite sequences of elements from a well-quasi-ordered set is well quasi- ordered.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1803588$B83355CC-9C8B-4034-A2B6-8AA15FBD85B7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e5d18442d459f776caea349da745bbaf9554be1d","datavalue":{"value":"03F65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1803588$D3061316-C1CB-49B9-A458-E58DE673B27A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b30f26ac05bb26ef446c264d30c31b04fcb7ca01","datavalue":{"value":"221228","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1803588$1EA60901-8499-46B3-9A85-8896EE351A23","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5830bc9df856ae2559fe681dc92cebe9ada5b3da","datavalue":{"value":"constructive mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1803588$299812FB-77F8-473A-8D42-EA467A73F0A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4442087ac4199848923fe48e084a1284b6d6718a","datavalue":{"value":"well-quasi-ordered sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q1803588$3F5A2D70-18A2-4B80-80BE-410B0A8D4DA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7559c75d918ff8ab8a28440dfc5d90e7ac8ecd5d","datavalue":{"value":"finite sequences","type":"string"},"datatype":"string"},"type":"statement","id":"Q1803588$C3EBFE22-6871-47D5-BF37-E59601537E9B","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":"Q1803588$5064CD22-3326-4061-80AA-FE934F614478","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"61ab6fba68b7b7635a6648b25acee2c2603ead3d","datavalue":{"value":"https://doi.org/10.1006/aima.1993.1004","type":"string"},"datatype":"url"},"type":"statement","id":"Q1803588$C50C6F63-A8B1-4BCE-BB80-5B24B1D24B01","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a33d00a01f5cecd0aaba0d22fea393db9c4db672","datavalue":{"value":"W2051505231","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1803588$5FC432F4-B68F-4F1E-AD4B-0597302F48E0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d2a8051903b27550e0f5479b3ddc53e88f2cdd6f","datavalue":{"value":"10.1006/AIMA.1993.1004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1803588$B40E21A3-94AB-44D5-8ADC-DC9B3E67D59C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"93ab39a622c9b9688b8edf75a5405489962af878","datavalue":{"value":{"entity-type":"item","numeric-id":1120606,"id":"Q1120606"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"66a6bbebfe36d14b20616c7c4253a783c49ffdbd","datavalue":{"value":{"amount":"+0.8270497918128967","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":"Q1803588$2A5A9E01-4438-4B4C-A2DD-C1D1FEFF4F1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e0f43894e5beae82546c070dd12916480b9452bd","datavalue":{"value":{"entity-type":"item","numeric-id":3691785,"id":"Q3691785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b0042e9cd5077c83471c603c8b50b1e2acf1cb41","datavalue":{"value":{"amount":"+0.8035156726837158","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":"Q1803588$ADDE6FA8-7F7C-418A-93F2-8966AF3E3020","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7215960e636e65adfc9cb77f389b6d5279622adb","datavalue":{"value":{"entity-type":"item","numeric-id":2412926,"id":"Q2412926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"21cee6c22e7a98271b603ca19990eab3e2a8f775","datavalue":{"value":{"amount":"+0.7867117524147034","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":"Q1803588$0267BACD-B94B-40AC-A846-E6AED003D000","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b68d06a8abf79c777d6044933d6b746eaca08e90","datavalue":{"value":{"entity-type":"item","numeric-id":3295154,"id":"Q3295154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f57067f595f4082afac6b79aad42c528c33bb8c2","datavalue":{"value":{"amount":"+0.7714547514915466","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":"Q1803588$5D069C91-B127-4C27-A4B7-C843C3D6DFAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4ff6ff1c8f10fa4fb949ae6bc9c6847edf38a07c","datavalue":{"value":{"entity-type":"item","numeric-id":1201238,"id":"Q1201238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0f68f27f64fc6113b8cdaf977a2f77451f005d69","datavalue":{"value":{"amount":"+0.768833339214325","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":"Q1803588$0B6CA689-1307-496B-8A83-B9551F368B10","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1803588","badges":[]}}}}}