{"entities":{"Q3382985":{"pageid":3393688,"ns":120,"title":"Item:Q3382985","lastrevid":88084937,"modified":"2026-06-04T13:36:04Z","type":"item","id":"Q3382985","labels":{"en":{"language":"en","value":"Combinatorial proof of the minimal excludant theorem"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7399186"}},"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":"Q3382985$F8A06DDF-3EB6-4A77-A3EC-64523C9B5D2B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"95f36932c4946b8a2fa0626f4ab3597fc05253c8","datavalue":{"value":{"text":"Combinatorial proof of the minimal excludant theorem","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3382985$E6634E30-6B49-4710-B3F9-F5F2A026358A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c97487dc9055ecad2f24074f5a29a37e32a6379a","datavalue":{"value":"1494.11080","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3382985$25EB5F3C-DF2A-4FE5-AE5B-45DC447DEB3C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6a8adcf3644e0a5f1b14a579be5032b091e15d0e","datavalue":{"value":"10.1142/S1793042121500615","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3382985$672910FD-9BEA-49A7-A2F8-0F959CF6880B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"48417364118ff50e16d37a14d9f5d8a4f9fefe63","datavalue":{"value":{"entity-type":"item","numeric-id":266630,"id":"Q266630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3382985$19C9F892-C4FD-438A-B898-1AAF3C1EAC85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a6de7bb494dc9f121d3bfd1c43c80280f55114dd","datavalue":{"value":{"entity-type":"item","numeric-id":1422482,"id":"Q1422482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3382985$4706AF34-C082-4F9E-8AA3-6CDB535B81DC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a035c107b10f77b626decca899281cb6367c70f2","datavalue":{"value":{"entity-type":"item","numeric-id":2789365,"id":"Q2789365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3382985$E872592A-25B3-45A6-B050-17BB3F0FE57A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5afea8bfa300e2edccd8cae8d27cb5676e5e281a","datavalue":{"value":{"time":"+2021-09-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3382985$1042A803-1A45-4160-BC92-00594702B6B7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2524531af52ab28930be26324dd496827294ac94","datavalue":{"value":"https://arxiv.org/abs/1908.06789","type":"string"},"datatype":"url"},"type":"statement","id":"Q3382985$21DAFA62-28D1-48DB-9C44-CFBF91D85D9D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"679ddfba371ea56c373d120bb6ab79b1a5d003aa","datavalue":{"value":"11P81","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3382985$112D3E3A-F5E9-40F4-9363-000653AB92E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fe20c11270a022ced6b6a582d87c0ca73a689567","datavalue":{"value":"05A19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3382985$7C3FC2AB-BA90-4B65-B256-48310AA12935","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e840e979351f221ec22f6596521c1e78c9e12ea1","datavalue":{"value":"11A63","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3382985$1ABE04EF-3862-40ED-B0BB-583711809953","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"84ec6038677b054e5a5d2c181c598b0bcb81d9cd","datavalue":{"value":"7399186","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3382985$8AA44D30-DA20-4394-B38C-7F85737E48EB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f7296064c9cef04ca2a8ea1c148190c005f390b4","datavalue":{"value":"minimal excludant","type":"string"},"datatype":"string"},"type":"statement","id":"Q3382985$C107BDCB-9F25-4CBA-81AD-FA2880DD36DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"234b049f41ec1042bbfaef356519cedf01e526b0","datavalue":{"value":"mex","type":"string"},"datatype":"string"},"type":"statement","id":"Q3382985$C6A8097D-9ADD-4099-AF5A-8F7A84F4822C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c747de908eeb9c0abe1542bb3bd33e49aa141f98","datavalue":{"value":"least gap in partition","type":"string"},"datatype":"string"},"type":"statement","id":"Q3382985$EC2C6C0A-FD12-4681-8DE6-93BFFC70F4FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"51df554145b60d94c69864664e49b02e152530ef","datavalue":{"value":"partitions","type":"string"},"datatype":"string"},"type":"statement","id":"Q3382985$1C891219-C9E0-46E8-9AD9-BB674B27CCE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"51e2d68de81b481aa928ab36f0b138811b35e443","datavalue":{"value":"\\(2\\)-color partitions","type":"string"},"datatype":"string"},"type":"statement","id":"Q3382985$6BCDAB1C-6D4C-478C-9066-9D9E5174C354","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":"Q3382985$FD520BE6-1EE0-4671-95FA-34DAD32AA1A1","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e15160697fcaba55e37e0e4c5b2a6ea3732b408f","datavalue":{"value":{"entity-type":"item","numeric-id":4218535,"id":"Q4218535"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3382985$D1299816-25D2-459B-983C-B93C00C01477","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21fd160adbff262f5e38e816cda13e83fbcaad5f","datavalue":{"value":{"entity-type":"item","numeric-id":444899,"id":"Q444899"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3382985$C432EEE2-CA6B-4AD6-8E93-AFB8A496E91C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"41bcce8af1de23de7a91bc4fc374dba83b47429e","datavalue":{"value":{"entity-type":"item","numeric-id":1679347,"id":"Q1679347"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3382985$8BD18432-31ED-4F27-83AE-B96C4FAF69F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"234dfb12d877c3eb0efb17a74c00bd496f6e951d","datavalue":{"value":{"entity-type":"item","numeric-id":2003725,"id":"Q2003725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3382985$4DABEA2A-0BF9-4F2C-9333-4CE48F2284E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c03bf40ba65fa4f277b02cd976f9e65d2c4e3fec","datavalue":{"value":{"entity-type":"item","numeric-id":5217073,"id":"Q5217073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3382985$3CDC37E1-53F5-419B-A723-519BB8C5F9CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"490ef895a6927b39ee0cdb3750728d3cf09f4291","datavalue":{"value":{"entity-type":"item","numeric-id":2181591,"id":"Q2181591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3382985$210A6FD3-884D-426D-A664-C343F29292A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"167c35296c06ff540f7d0eff2a2f07312a1aa5a3","datavalue":{"value":{"entity-type":"item","numeric-id":4441767,"id":"Q4441767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3382985$4D6A2708-7358-4EE2-BB9B-7851FF69E5AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e0bef08c5ab8c380bba3147e39a2b76ffdb1e78b","datavalue":{"value":{"entity-type":"item","numeric-id":874913,"id":"Q874913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3382985$28D021E2-8AEC-44F3-8FDC-73011A46629B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9df42ecaf6e94d5e65dc016283fb52848cbac4c0","datavalue":{"value":{"entity-type":"item","numeric-id":993485,"id":"Q993485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3382985$B30512A2-01DF-4ED5-929F-8C6187AEFB30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"234a611904dca77fb1e5ac1a7c4edc0c00f6d616","datavalue":{"value":{"entity-type":"item","numeric-id":5329212,"id":"Q5329212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3382985$8AA62CF3-8A78-4445-A531-024B2039C2A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d69e46470f1fa48ed547ce3ef391f1a427437f42","datavalue":{"value":{"entity-type":"item","numeric-id":476283,"id":"Q476283"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3382985$33C8D2EA-DA0E-47E8-B96A-9436509662E6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"eac49921e1fba614ec211e7c7665c8c1c39775f8","datavalue":{"value":"W3133811308","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3382985$D8DD8029-2582-4215-95AC-110DAC468607","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a5ceb85ce327110b23189c2ada68340acaa4bcd2","datavalue":{"value":{"entity-type":"item","numeric-id":4723794,"id":"Q4723794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e0f5427cb735025f77dd5696e84d347f54b2c7f8","datavalue":{"value":{"amount":"+0.9076083","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":"Q3382985$FA162F03-798E-4252-A837-3F83B89EA7E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ec54bb8ce709d546059741e6ed17e5b095d51624","datavalue":{"value":{"entity-type":"item","numeric-id":5109525,"id":"Q5109525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1d9b6c5155b49f4583f3c64a849d2ed816de210c","datavalue":{"value":{"amount":"+0.888329","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":"Q3382985$82A83569-4B45-4B63-86C1-9000B2641545","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf855b75fe10ef0e72a982b0cd5a68509b3e52b1","datavalue":{"value":{"entity-type":"item","numeric-id":2689482,"id":"Q2689482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f7e106a1fe10a53fcfb7f65e58306b3c773d90b4","datavalue":{"value":{"amount":"+0.8876846","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":"Q3382985$A8031FDC-C4B5-4E2F-97A7-B4A4748EDFD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"18e7398d219bd897aee1c6a969c7d2d54956bff4","datavalue":{"value":{"entity-type":"item","numeric-id":4306456,"id":"Q4306456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"87aca2769570450c0077c4f2f3dc3fc7fe88625f","datavalue":{"value":{"amount":"+0.8865029","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":"Q3382985$B2E112AA-0461-40E5-8D45-715A8DF03758","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"23d52b4b50fc4bc3a409d89ee2e4f83286623ebc","datavalue":{"value":{"entity-type":"item","numeric-id":679360,"id":"Q679360"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3f59745961c4c38aca6eddad380848e6b31ef63a","datavalue":{"value":{"amount":"+0.8849265","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":"Q3382985$C0AAB9CA-233D-4629-A8D0-80C165FBE9A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b840f97e3609dcef0617315546b3893d424f2b64","datavalue":{"value":{"entity-type":"item","numeric-id":1882147,"id":"Q1882147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f2f49d4a049937e0a36ae660a0507f80ea1c4dc1","datavalue":{"value":{"amount":"+0.88424754","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":"Q3382985$C48C9468-6002-43AE-944C-45D766E7EEFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c9e0bc8be8dd72ba170723e49fb07b0d55430744","datavalue":{"value":{"entity-type":"item","numeric-id":2474499,"id":"Q2474499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"89e1c1974ebe5d7e2f92174b844e006bd7173ed5","datavalue":{"value":{"amount":"+0.8838551","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":"Q3382985$3FD4BE7B-78CF-4B53-BC3A-BE06281CFFA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eeb7c81213142ecc1ce0e753cb6f0aa08ce31355","datavalue":{"value":{"entity-type":"item","numeric-id":5925767,"id":"Q5925767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"53404c4e68ec8e5aa32adc556cc86a302f671e0c","datavalue":{"value":{"amount":"+0.88303447","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":"Q3382985$3CA24E04-C44F-46FA-966D-022EBDE81A6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d7d394cc8dc7f542622833b8957c0dfa68097bd9","datavalue":{"value":{"entity-type":"item","numeric-id":3515981,"id":"Q3515981"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"37ffcee4d38de5979bede82d7bdeaf74dcebae78","datavalue":{"value":{"amount":"+0.8809642","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":"Q3382985$3C32FA74-92BF-4A9B-9100-225063D336A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8e4ef3b5c0fc85f792c706c14ca202a6db583ea1","datavalue":{"value":{"entity-type":"item","numeric-id":686967,"id":"Q686967"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2d5af39c028fe8dc6bc8f59b3fe2ee69cedb71a9","datavalue":{"value":{"amount":"+0.8802551","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":"Q3382985$4BCE15AC-485E-4D2E-B7AA-8996A4470F8F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Combinatorial proof of the minimal excludant theorem","badges":[]}}}}}