{"entities":{"Q5367069":{"pageid":7396643,"ns":120,"title":"Item:Q5367069","lastrevid":58545969,"modified":"2026-04-05T16:50:51Z","type":"item","id":"Q5367069","labels":{"en":{"language":"en","value":"A bound for Dickson's lemma"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6790167"}},"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":"Q5367069$C8C3BCB2-DA4B-4A84-82E7-95C3A29737E9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"060f38f360c7e174ee67ff3b0516a1e3ae4b5ec9","datavalue":{"value":"1459.03092","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5367069$C16CF829-06F1-48A0-8CA5-91884C074AB2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0aa3409f580227c511ac225227322db62d8bd066","datavalue":{"value":"10.23638/LMCS-13(3:30)2017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5367069$E42D5271-065D-42CD-8176-BF1B274D16CF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b297e870ab363601f4b2bc889f037e2eb84a7725","datavalue":{"value":{"entity-type":"item","numeric-id":306580,"id":"Q306580"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5367069$571FA3C3-50C3-41DD-85EC-2EA4D6C2C272","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7d89967a655d20159aa875a5d9fe1d91c6683b97","datavalue":{"value":{"entity-type":"item","numeric-id":234585,"id":"Q234585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5367069$B637F3FE-1DB6-4487-912D-2ECE45FBEC01","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9c0381aec861f5a199f46f1776607b0e02f2cdf4","datavalue":{"value":{"time":"+2017-10-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5367069$1E7D91CB-65DC-44B3-B45A-4883BF3462B4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7882906fe13c738bad9b2fcf2825980408fe5a21","datavalue":{"value":"https://arxiv.org/abs/1503.03325","type":"string"},"datatype":"url"},"type":"statement","id":"Q5367069$EF34D5A3-3462-4BC9-B84E-9F02D27C249C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0282342b24b585fa878a09dabeb8eb52c72be5a3","datavalue":{"value":"03F60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5367069$DF39063E-D782-49B1-B929-C552CBD58C6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5367069$2231D33B-514C-4835-A8BB-C0B2B0404756","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"32a5bd3a386d77cf0b599ddb070b983955a8a568","datavalue":{"value":"6790167","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5367069$70FC0FE6-8CDB-4850-AC89-DDBF542ADAC6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5fd36654122c82617dfa5410e3b47723b9c997b3","datavalue":{"value":"Dickson's lemma","type":"string"},"datatype":"string"},"type":"statement","id":"Q5367069$AC49FB0B-9EDC-43F7-BE6C-E6EDF957C35B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aa38691124448294c235c23fcbd65ac5d257e954","datavalue":{"value":"finite pigeon hole principle","type":"string"},"datatype":"string"},"type":"statement","id":"Q5367069$EC87FFF5-C13D-47F5-9083-884DDA79651B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"65ed99d94397511bd8e22ab2437f30b726b49b0b","datavalue":{"value":"program extraction from proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q5367069$CCFBE9E2-4913-46B5-B646-C71144FFB138","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8b8caca6b59c17d63a5834d2809c7c09bc362d93","datavalue":{"value":"non-computational quantifiers","type":"string"},"datatype":"string"},"type":"statement","id":"Q5367069$728332F8-F2DB-46C5-ABAB-B01579813515","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":"Q5367069$3B72AC6B-9106-4CE6-A899-2282518E9F4F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"35437e6701c525d7c6cc80e1a50dcb5d2c771a42","datavalue":{"value":{"entity-type":"item","numeric-id":1734268,"id":"Q1734268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dc5fa1fcc81c83c4615cba205117ace491d16190","datavalue":{"value":{"amount":"+0.7272194027900696","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":"Q5367069$5A460D96-4791-44A4-A41C-1CBE958F6C38","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":"299f30a15d633862e2b9f61edb1927c02518c74e","datavalue":{"value":{"amount":"+0.6995143294334412","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":"Q5367069$7E2E8A69-6F92-41B4-AD9A-BD54935F1117","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"75cfc7d997c33ab783a0f8b7577b99fbfdcdaeea","datavalue":{"value":{"entity-type":"item","numeric-id":1595930,"id":"Q1595930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0c310c2ead569c01c5af6670fb8800398f8a5c9e","datavalue":{"value":{"amount":"+0.6716884970664978","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":"Q5367069$93D433E3-474D-42C5-9258-86E323AFD57A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d48ab7ba3c64ae2a85fb7f7e8484f0fd6fd551ea","datavalue":{"value":{"entity-type":"item","numeric-id":3068162,"id":"Q3068162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b75151920f2d85a8407546e2461bf3b337548ea8","datavalue":{"value":{"amount":"+0.6636924147605896","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":"Q5367069$3E649A80-3E28-426E-B0CE-7DD8C6A637EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"84f00e0bc0fc6c7e1a655ab224b119d647bd93f2","datavalue":{"value":{"entity-type":"item","numeric-id":4986736,"id":"Q4986736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ec5ff5c606d042931e93d09d35a6771e0f71ee4a","datavalue":{"value":{"amount":"+0.6618716716766357","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":"Q5367069$A8AEEF52-64CE-4C37-8277-EC34118FC7DD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5367069","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5367069"}}}}}