{"entities":{"Q908917":{"pageid":910765,"ns":120,"title":"Item:Q908917","lastrevid":65326356,"modified":"2026-04-12T01:49:44Z","type":"item","id":"Q908917","labels":{"en":{"language":"en","value":"Nondecreasing subsequences of t-sequences"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4135945"}},"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":"Q908917$E082F915-9578-4935-B5B1-48B76C540DBE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0fad5bf8fed72a50becc93a10c68f4faf516315b","datavalue":{"value":{"text":"Nondecreasing subsequences of t-sequences","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q908917$BAE067B6-67AE-4830-A332-8A23B4F5C2C4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3bee33a5c3899845a1ea4bdb1356a5cdb15d9939","datavalue":{"value":"0694.05005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q908917$0E027009-9E31-4456-B342-D9212A6A652C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"200e76da751b3dd9c9616dbf88b294935929264e","datavalue":{"value":"10.1016/0012-365X(90)90036-H","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q908917$196D19B7-B6F8-42F9-918C-1CFB11259CD0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"633d5065ff653e84748cc5c6ad260d59e322b0ac","datavalue":{"value":{"entity-type":"item","numeric-id":908916,"id":"Q908916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q908917$FDBA2995-431F-4C41-8C7C-A7A21B1D1DD6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"38665fe4ed2b835132254a58832c329597060029","datavalue":{"value":{"entity-type":"item","numeric-id":175483,"id":"Q175483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q908917$B9C7268E-C086-4656-BB03-637508460951","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"70d2fbf8bcd48a5ca1ac752985098b379d0dbb65","datavalue":{"value":{"time":"+1990-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q908917$6CB091DA-4BFF-450E-8317-8F2EA9F9F5C9","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"37360ea5c72801fc7f7153aff5bad3385c110df2","datavalue":{"value":"A sequence of nonnegative integers is called a t-sequence if consecutive elements differ by no more than 1. The integer g(m,n) is the smallest k such that every t-sequence of length k starting with m contains a nondecreasing subsequence of length n. The author demonstrates, with elementary arguments, that \\(g(m,n)=n(n-1)/2+m(n-1)+1.\\) This function is related to the longest path in a tree construction algorithm used to solve the boundedness problem for one-dimensional vector addition systems with states.","type":"string"},"datatype":"string"},"type":"statement","id":"Q908917$4EE760A4-0BA5-42C8-8122-07AF5E7A63C5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b6a686fef1013593a32f9e8e67eecdd50e96866a","datavalue":{"value":"05A15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q908917$EC0364C6-8EBF-4D73-B213-1C7ED45BEFD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e821df6326b3ec031e2707c7393053b1c25d6776","datavalue":{"value":"11B99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q908917$1D0FE235-9E0E-465B-8475-01DC60C8FD9E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"711ab7a953ca76572cff267857c7e0030008ac26","datavalue":{"value":"4135945","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q908917$69D60FC7-B520-48F6-8695-DDF5DE2E8882","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"93077cc6db36e07d535db7c75a2f03eb0743cd04","datavalue":{"value":"algorithmic complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q908917$A7902D03-8CD2-4988-9EE7-81ABD4BCD07C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e470e8d3e87e2162998119e6de9b6857788fae07","datavalue":{"value":"1-VASSs","type":"string"},"datatype":"string"},"type":"statement","id":"Q908917$2EB9AEA0-1AB3-4500-BF17-6E2F93E4E775","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"1bac2fb7c4cd76be4149a0748eeed51e5c6e8159","datavalue":{"value":{"entity-type":"item","numeric-id":1147741,"id":"Q1147741"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q908917$D59687A6-E181-442B-B742-DDA75F4FFFA2","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":"Q908917$EA713B9F-FA02-42CD-B7A2-71572C17F541","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"28a33b862f7d8441651d4cdc6c39e4250de110d1","datavalue":{"value":{"entity-type":"item","numeric-id":2540014,"id":"Q2540014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q908917$1D951592-A024-4090-BDC3-14B9E4A5484E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"969b23c15bda365fef0dcb143b85f2f64b2e439b","datavalue":{"value":{"entity-type":"item","numeric-id":1819938,"id":"Q1819938"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q908917$95057788-349B-4491-B483-DEA9152EBB4D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2ad641d5eb513db53ac977e851432a34570f8915","datavalue":{"value":{"entity-type":"item","numeric-id":5940305,"id":"Q5940305"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f76478c09810f0b67c649bfd0a1bd2009d92a371","datavalue":{"value":{"amount":"+0.7119986414909363","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":"Q908917$DA72622F-12F1-4FEE-9416-DAD3B4CF2549","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8db37a07775cdb5f53c8770a78e9c55558879923","datavalue":{"value":{"entity-type":"item","numeric-id":4367331,"id":"Q4367331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"360b1400e6332556ae87a381c0f6b738e391b4c7","datavalue":{"value":{"amount":"+0.7060500383377075","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":"Q908917$615A0DEC-1090-440E-9593-9DD1B90D5B9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9f558b2b067eff233aca7b6cca13a513a3bd78ad","datavalue":{"value":{"entity-type":"item","numeric-id":686269,"id":"Q686269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f15791e0b2dbaabbbf6bc6162f434e9c42bd9032","datavalue":{"value":{"amount":"+0.7052922248840332","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":"Q908917$A93A7EDC-BD28-4EB0-AE92-6A04EF19C24E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"548d0da735219142c0bb758d4e7cdbfd9772f7d9","datavalue":{"value":{"entity-type":"item","numeric-id":1916110,"id":"Q1916110"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c7f0c2b0f2077bb9737c7fa1c309cf9b9f49a995","datavalue":{"value":{"amount":"+0.7045999765396118","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":"Q908917$C1A4D287-631F-4FD1-A821-1B4FA6A1BE45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"92269594d95f5638786ba1e069d33c8738bc0259","datavalue":{"value":{"entity-type":"item","numeric-id":1097884,"id":"Q1097884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cf977d0a4c69feda1b024038fcb036088d5d6377","datavalue":{"value":{"amount":"+0.6956576704978943","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":"Q908917$6C0461B6-3465-4B3D-9582-6592272B502F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Nondecreasing subsequences of t-sequences","badges":[]}}}}}