{"entities":{"Q5859679":{"pageid":7889230,"ns":120,"title":"Item:Q5859679","lastrevid":93528131,"modified":"2026-06-05T04:33:06Z","type":"item","id":"Q5859679","labels":{"en":{"language":"en","value":"A proof of Parikh's theorem via Dickson's lemma"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7334853"}},"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":"Q5859679$B4927A0C-6E50-41A5-9B3A-4569833220E7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"eaed8b0c3e5cadb7439de724544f4d615edd235c","datavalue":{"value":{"text":"A Proof of Parikh\u2019s Theorem via Dickson\u2019s Lemma","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5859679$DA132EB6-2BD9-4303-A0E6-B42D9A9FCAB1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"07ff8eb21acf04cae6b3b67cc29055d7b94c4674","datavalue":{"value":"1474.68175","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5859679$3DB02158-4CE9-44B0-B401-C3E2F1EA214E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"32f6ace871c07c7c661ac9a219ddfc97061b8172","datavalue":{"value":"10.1142/S012905412150009X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5859679$46ED8F9E-7762-465A-BE4D-E89B57D4D8B6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e4521bd04ef6b91211f24265c755b46812b5cadb","datavalue":{"value":{"entity-type":"item","numeric-id":2105457,"id":"Q2105457"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5859679$F21166B5-768C-4453-A2A6-99E398798AD7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"47adaa7123c6f3744cf7fa8eab088d52b4982295","datavalue":{"value":{"entity-type":"item","numeric-id":2703009,"id":"Q2703009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5859679$FAAED792-3B15-48EE-9C46-12BF936918D1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a9a75ecc8651000ecb4ff9566ba97a118200de08","datavalue":{"value":{"time":"+2021-04-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":"Q5859679$DDF98FB7-B0F0-429B-929B-CA1BA8A1E608","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5859679$E975C00F-537C-4F45-A084-97E21D192B89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1f2d51749736d7a35abf742f9ac7394f1aeed58c","datavalue":{"value":"20M35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5859679$8F9D6A06-9015-4DAC-861E-4FC03CBDD1A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5859679$640F6ABF-40FE-43EF-ADA2-598313434256","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"68accc53b2fb9aafb84249035b17f7ce3ae29bc0","datavalue":{"value":"7334853","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5859679$5E56AA0C-D491-4D18-8384-F9B74596FB77","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3cce6d341d819e09322510961aab563a2fb1bcf8","datavalue":{"value":"commutative monoid","type":"string"},"datatype":"string"},"type":"statement","id":"Q5859679$1EE875AE-9CA1-445E-BE2B-703B1AA8C357","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9a040a5dba498a200351938de52da6e265190a2a","datavalue":{"value":"Parikh's theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q5859679$0170249E-40D9-42A5-A89A-09A074D7010A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"795414f846fccd6517b35b46d219d01dfd08d3da","datavalue":{"value":"context-free languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q5859679$72A0115C-565D-4508-B480-78A446DB7BD3","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":"Q5859679$0FF4378E-A2A7-4350-A8AA-9D2FBB7D25F1","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"628ba835d5c7bbbbeca2860ad8139eca3bf76753","datavalue":{"value":"Q124818868","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5859679$5C6E88DA-1CBA-47A2-8BC3-8931F8D4348A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"243a974194fa34fd25722575e1666811518331c8","datavalue":{"value":{"entity-type":"item","numeric-id":2542523,"id":"Q2542523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5859679$18D6307B-6F2A-4FD9-BCFF-8FFE01BBDB0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc13080c5dbaffc8febf13688b4dafd45fc198df","datavalue":{"value":{"entity-type":"item","numeric-id":1944966,"id":"Q1944966"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5859679$D4D104DE-8C31-41AF-8C8D-CB74BB4E8CB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"18cf1df53bd1a33a2ed3a22525f69d2d43c7efb9","datavalue":{"value":{"entity-type":"item","numeric-id":2523032,"id":"Q2523032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5859679$FF63C3DD-F447-4899-9290-510B5C40C99E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c2fb560808bcffaf146923e2253068d2e9aa9eeb","datavalue":{"value":{"entity-type":"item","numeric-id":1241068,"id":"Q1241068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5859679$CFAD00C4-96FF-4BCC-ACFF-97BB9AF383BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37bb26cb01dbf8dbc1346e89d38ef4b617f99f8c","datavalue":{"value":{"entity-type":"item","numeric-id":4506483,"id":"Q4506483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5859679$D2AC2F28-8C25-456E-BF1D-C532A8C26D8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b0c7a786d50b61b81c837f107881a4b9a94a2f0","datavalue":{"value":{"entity-type":"item","numeric-id":5394623,"id":"Q5394623"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5859679$412A05CD-1FCE-4F59-AC55-043AAF9004B2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2c5e70e59d7b90ab81497135bde91166d5c452a4","datavalue":{"value":"https://doi.org/10.1142/s012905412150009x","type":"string"},"datatype":"url"},"type":"statement","id":"Q5859679$70191064-3BFE-462B-ADC6-73C04DB82F1C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e05b77823aa2598c98f444b4da164abcd1adca9e","datavalue":{"value":"W3118657126","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5859679$EACAFDED-5E4E-4B5C-B2AF-4527ED28EA48","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"68973e755418bfeadb7e18092c4edcf1b7b29b60","datavalue":{"value":{"entity-type":"item","numeric-id":4787831,"id":"Q4787831"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d2b7d1dcb0da89c9f8b9f3182f19b756df917136","datavalue":{"value":{"amount":"+0.7381914258003235","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":"Q5859679$61EA2329-6CC1-4CCF-8214-15CD47C08D4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"79a930a7f3ae3b6aa061f0ff8257cd8d4e91fd52","datavalue":{"value":{"entity-type":"item","numeric-id":1944966,"id":"Q1944966"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0945b9f0abcd468169299d7c1abb12f76eeb55f2","datavalue":{"value":{"amount":"+0.7294390201568604","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":"Q5859679$B53AD252-9EB4-4671-8CE9-9134C560F911","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0d0a5c47775f4c4b8a516cbcc4ed8b8fdb6d6ae3","datavalue":{"value":{"entity-type":"item","numeric-id":5261299,"id":"Q5261299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c5915f8bd999f2755cfd301616eec61a01517699","datavalue":{"value":{"amount":"+0.7058537006378174","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":"Q5859679$414B8130-A5FA-4B9F-9F0F-9C97263A9F8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f5bdac2a0e62336004c23566aca5dee3507efa6e","datavalue":{"value":{"entity-type":"item","numeric-id":3408130,"id":"Q3408130"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"67b15dbc149800cbf585bc63e68b48494cda3a37","datavalue":{"value":{"amount":"+0.7013548016548157","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":"Q5859679$C426D7FA-1B84-41A2-BCD5-7906651C0A44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4115e76d2c8c1db7b9627e76ded168c94e3852cd","datavalue":{"value":{"entity-type":"item","numeric-id":5195278,"id":"Q5195278"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f3d33a91d3f09df3620d485447a1438694ae46ab","datavalue":{"value":{"amount":"+0.7012149095535278","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":"Q5859679$63C96D79-4B4F-4C8B-8CCD-AEF861DD7DEC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A proof of Parikh's theorem via Dickson's lemma","badges":[]}}}}}