{"entities":{"Q818150":{"pageid":819998,"ns":120,"title":"Item:Q818150","lastrevid":64605465,"modified":"2026-04-11T21:00:49Z","type":"item","id":"Q818150","labels":{"en":{"language":"en","value":"On the solvability of a class of Diophantine equations and applications"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5015114"}},"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":"Q818150$7861BDA3-F6A3-4418-994F-B19966F92512","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6b9e8949a4c0f0c2a80bbaea42c6c3dad2879896","datavalue":{"value":{"text":"On the solvability of a class of Diophantine equations and applications","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q818150$222BA6B6-83B9-41B4-9842-0613AD35E532","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f5a18c2ae00251ba2521f697e335526a6997236c","datavalue":{"value":"1120.11017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q818150$A99AFFF6-8FCE-4FC9-BA65-A49E201FE792","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d0ccf6eb6c37793d5bd821ffa019f577d6c7be3b","datavalue":{"value":{"entity-type":"item","numeric-id":243823,"id":"Q243823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q818150$669A3C34-068F-4ACB-BCB7-40B7CC5D1807","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"77e44c9d54d0cfc71832e715dc19584237ba4067","datavalue":{"value":{"entity-type":"item","numeric-id":243822,"id":"Q243822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q818150$DD57FCD1-52B2-4968-9E94-6B0A5EE8E014","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q818150$2B97E3B9-2483-4E5F-A11D-44DE506BBB83","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c0fef8c9cf3d2f543921a74da5978434423c744d","datavalue":{"value":{"time":"+2006-03-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q818150$8EF1E404-DA2E-4EFB-A034-B7E188EDDCC9","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"c635b6009ec61616788abce3f623f2e9532122c2","datavalue":{"value":"For \\(1\\leq i\\leq k\\), let \\(R_i\\) denote \\(p_i(y)F_i+G_i\\), where \\(p_i(y)\\) is a polynomial in \\(y\\) with integer coefficients, and \\(F_i, G_i\\), are linear polynomials in \\(x_1, \\dots,x_n\\) with integer coefficients. Let \\(P(z_1,\\dots,z_k)\\) be a Presburger relation over the nonnegative integers. It is shown that the following problem is decidable: Given: \\(R_1,\\dots,R_k\\) and a Presburger relation \\(P\\). Question: Are there nonnegative integer values for \\(y, x_1,\\dots,x_n\\) such that for these values, \\((R_1,\\ldots,R_k)\\) satisfies \\(P\\)? Some applications to decision problems concerning counter machines are also presented.","type":"string"},"datatype":"string"},"type":"statement","id":"Q818150$EBF3C89E-F120-4399-A3BB-B94EEFE50699","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"064b38eff68046c6d1b31b861851977993fc36b5","datavalue":{"value":{"entity-type":"item","numeric-id":587182,"id":"Q587182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q818150$2DF2B16B-2C4F-4680-A849-6AD05AFAE343","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c62dcdab30534531627492ab560a7deb5759228e","datavalue":{"value":"11D41","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q818150$E2049240-06DE-482F-A85D-37427994157B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a7dde57cbaf704d564d8f981ca98d6340e3d4aaf","datavalue":{"value":"68Q05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q818150$24467CEF-F79A-4269-84E9-3D1BEE2630B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q818150$BC86844C-44F9-430C-BF02-2582D8E2FF17","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1d3974beb22a6e68e87a8cdbe0aa8549c9f128bb","datavalue":{"value":"5015114","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q818150$31FF943E-CF9A-42D4-A191-02608C39F567","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"33239cec92d8b53587fd8c3b366eae95c73ac1d6","datavalue":{"value":"Diophantine equations","type":"string"},"datatype":"string"},"type":"statement","id":"Q818150$22574BF8-4861-40F9-9188-4025325D9365","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dd5810e09eb9d045d853e6d3a83c77489d2c8b0a","datavalue":{"value":"counter machine","type":"string"},"datatype":"string"},"type":"statement","id":"Q818150$56910C2B-0C75-4554-9584-263F57F65AA8","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":"Q818150$93558B61-AC2A-4E78-87FB-773E8AD654DE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bbd46813ca9f487fe02c51a2e3d5d70961116250","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2005.12.001","type":"string"},"datatype":"url"},"type":"statement","id":"Q818150$9CE9A70F-253D-4F2A-AE15-66ED938D34E6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"723b02209d66b0ddc1cb771875f6e1645a6671a1","datavalue":{"value":"W2053402117","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q818150$EE089E14-DEAC-41AB-82A9-B9764A643C88","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"45d07a686abf4cfd8c3b87266fe0b19a84bae550","datavalue":{"value":{"entity-type":"item","numeric-id":5901227,"id":"Q5901227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q818150$F1795B5A-FE6E-410E-8EE5-291FD204E749","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"682ee0541c02bac3ae8263c7dfff4dab9eaf8af3","datavalue":{"value":{"entity-type":"item","numeric-id":1872706,"id":"Q1872706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q818150$BD466DBF-FDA5-417E-9F7F-E8C1EA21705D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3373c8fa81e763c7b84568b1d121432826d2f13b","datavalue":{"value":{"entity-type":"item","numeric-id":1884954,"id":"Q1884954"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q818150$1FC9F966-C619-4000-A008-AA78AFEC67E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf18b1b7082c5b5aca116009094845b843539349","datavalue":{"value":{"entity-type":"item","numeric-id":4412126,"id":"Q4412126"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q818150$DDCB1B48-DCEB-4911-9ECE-9E4FA4468F91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6744bcbd69b98e127a086f2b384ec2b564fb3bf5","datavalue":{"value":{"entity-type":"item","numeric-id":4326857,"id":"Q4326857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q818150$C87433D2-7E4F-43A3-AA12-081A61179336","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2edfe8015b58c579c54c78cbe4fe122a242df00f","datavalue":{"value":{"entity-type":"item","numeric-id":4152529,"id":"Q4152529"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q818150$6D449788-9C53-4CFE-8515-E9B57DF99137","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40359969f4f5859125eed64808cf617ffbded116","datavalue":{"value":{"entity-type":"item","numeric-id":3992465,"id":"Q3992465"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q818150$793CF68D-36E5-42C9-AF4F-863271FDB376","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a1b26bdc210a3d291b796088837bddd84cce8b4c","datavalue":{"value":{"entity-type":"item","numeric-id":775202,"id":"Q775202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q818150$0CD221BA-0DD9-40D4-9DF5-C6D7C53646F3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"80a93570e81553763e0c2b68be82638ee141567f","datavalue":{"value":"10.1016/J.TCS.2005.12.001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q818150$87F20DA0-022E-4B63-B068-9F5C0E5E8DED","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b75cbba724c23b279a0bd9d2b90970bdc98e8c7e","datavalue":{"value":{"entity-type":"item","numeric-id":5878899,"id":"Q5878899"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dd844ab5b226a4a0e2897f9ea6fac8043fe3e68d","datavalue":{"value":{"amount":"+0.809341549873352","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":"Q818150$24BEE3BB-2105-4B8B-95B6-99B4A1F93A3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c102b5e298637d32c2532084f334f8510bd5ee22","datavalue":{"value":{"entity-type":"item","numeric-id":3526543,"id":"Q3526543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b268fb31e3d74a9f4ecc425316a0029335cb8a46","datavalue":{"value":{"amount":"+0.7831020355224609","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":"Q818150$C6B04C93-8DA4-47D4-B1FC-4371A51AF9E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f8b6e1aa4ce29e369730f980a36f0dc4e44bdf58","datavalue":{"value":{"entity-type":"item","numeric-id":4449211,"id":"Q4449211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d3d955a1faf91d971f52349e5a2eb20c3d50dad4","datavalue":{"value":{"amount":"+0.758730947971344","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":"Q818150$57191012-80F8-4CCE-AB97-4983B34F9137","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"346ac0f616c7b23e80e87c10c30eae891ee0bda0","datavalue":{"value":{"entity-type":"item","numeric-id":3826638,"id":"Q3826638"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4306f58f0e937437ce82c2e4b2008464cf85eb15","datavalue":{"value":{"amount":"+0.7580707669258118","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":"Q818150$A1D5785E-0EA7-448F-BB60-D9388870F0E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c60123ea2bad0d2585ce6609bfe388b087a4ed3f","datavalue":{"value":{"entity-type":"item","numeric-id":1884954,"id":"Q1884954"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d87ddad8de380851ca32453dd90c0db32a9f65e6","datavalue":{"value":{"amount":"+0.7552138566970825","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":"Q818150$AFB3A95B-AECD-4B28-9B15-4FD10C3DB2E9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On the solvability of a class of Diophantine equations and applications","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_the_solvability_of_a_class_of_Diophantine_equations_and_applications"}}}}}