{"entities":{"Q692309":{"pageid":694158,"ns":120,"title":"Item:Q692309","lastrevid":63538323,"modified":"2026-04-11T13:50:44Z","type":"item","id":"Q692309","labels":{"en":{"language":"en","value":"On the existence of solutions in systems of linear Diophantine equations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6112705"}},"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":"Q692309$D2430E39-D7DB-496B-8E22-00AEC445E530","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"12b377808ca5707af68ce2a7a123bbf4545bcb0f","datavalue":{"value":{"text":"On the existence of solutions in systems of linear Diophantine equations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q692309$01499A59-A39F-415A-9ED4-B91F144A7222","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"309ed2eb686ce0ce7d8495fec151a414c66cdf78","datavalue":{"value":"1348.11025","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q692309$4C7346FE-1813-4306-80D6-DCE8BE34BD92","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2ab1394d5eac7a8124f8ed5312ecee0b69edda73","datavalue":{"value":{"entity-type":"item","numeric-id":417947,"id":"Q417947"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q692309$4D699A32-94B1-4D99-8508-885394818870","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"431454e777d4b0e6bc71b82c09a4af2495d122a5","datavalue":{"value":{"entity-type":"item","numeric-id":692308,"id":"Q692308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q692309$E2E7AFD9-24FC-4917-B67F-DFD3E32C5504","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"5478ede943fb911760ea7d60e42b6d499b786ce8","datavalue":{"value":{"entity-type":"item","numeric-id":259732,"id":"Q259732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q692309$67DDEEFE-89DF-4CCE-89C9-68F6D43A066B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"274b4f10bacd64fd910a5a96b98db4fd6ecc7c72","datavalue":{"value":{"time":"+2012-12-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q692309$A28AC818-2CDA-4A94-96F7-737A9E9CDEB2","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"cd69e77c4a81ef3c02f61477d6eb22b4c80827c9","datavalue":{"value":"Let \\(A\\) be an \\(N \\times M\\) matrix with entries in \\(\\mathbb{Z}, \\mathbf{y}\\in \\mathbb{Z}^N\\), and \\(\\mathbf{x}=(x_1,\\ldots, x_M)^T\\) be a vector of indeterminates. The paper under review concerns the existence of integer solutions to the linear system  \\[  A\\mathbf{x}=y^T.  \\]  The main concept used in the paper is that of \\textit{tester}, that is, a linear function \\(f : \\mathbb{Z}^N \\rightarrow R \\) where \\(R =\\mathbb{Z}\\) or \\(R = \\mathbb{Z}/m\\mathbb{Z}\\) for some \\(m\\in \\mathbb{N}\\), such that \\(f(\\mathbf{a})=0\\) for each column \\(\\mathbf{a}\\) of \\(A\\). It is obvious that if the linear system has a solution then \\(f(\\mathbf{y}^T)=0\\); a set of testers \\(\\{f_1, \\ldots, f_k\\}\\) is called \\textit{complete} if conversely \\(f_1(\\mathbf{y}^T)=\\cdots = f_k(\\mathbf{y}^T)= 0\\) implies that the system has a solution.  The authors present in Section 5 an algorithm for finding a complete set of testers. However, this algorithm involves, among other things, solving the linear system \\(A^T \\mathbf{z}=\\mathbf{0}\\), so it is not clear whether this method is more efficient than the naive one of solving the original linear system directly.","type":"string"},"datatype":"string"},"type":"statement","id":"Q692309$ABBE4A73-B818-4E02-A61E-1BF11085FB5B","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"baf55dfa849e38480e51d76702a5867fe321a59e","datavalue":{"value":{"entity-type":"item","numeric-id":590999,"id":"Q590999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q692309$45D58DF6-E9D2-4B86-B4AD-C7FB3426265E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f31233b552eca4a4ba62dfc962e070217fef4dcf","datavalue":{"value":"11D04","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q692309$BF694907-833D-4449-93DC-E55386CCDCC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fd3338305c7226cafe57f7e996e08832c136703c","datavalue":{"value":"11D72","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q692309$8FCAFA15-FE9C-48AF-B046-2AFE75335AAB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"53a4872c3f605fd34765684c7d86e68efdc8cce8","datavalue":{"value":"6112705","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q692309$75F9A6AB-3E9B-410F-98F8-B9D1565E5F38","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eab51c424d43bacb14ff45257c4a203a8611f04c","datavalue":{"value":"linear system over the integers","type":"string"},"datatype":"string"},"type":"statement","id":"Q692309$326DD136-280E-4F92-9E33-249BDED5FE30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e9b32b92ef674b96b4ff85f50b28ee255fd649a3","datavalue":{"value":"testers","type":"string"},"datatype":"string"},"type":"statement","id":"Q692309$6ADAA6D6-A387-4073-8709-A7B0E3973004","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":"Q692309$FDB92608-A091-4E3A-91F5-1DD1D9FF6389","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a21916b2fb4417a3851257837e8f58006f491369","datavalue":{"value":"https://doi.org/10.1007/s13398-011-0044-4","type":"string"},"datatype":"url"},"type":"statement","id":"Q692309$F91CA6BF-B5D8-4878-8E6A-E4F379E28AEB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2a6bb9030c3f4c8aa4efc770c67e4b37268f41f3","datavalue":{"value":"W2152136218","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q692309$44D62935-0012-499E-A082-2385602325FD","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"007d28020364fa61db482d0ee2e50a45e3976a32","datavalue":{"value":{"entity-type":"item","numeric-id":4041633,"id":"Q4041633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q692309$20474E06-2E44-4720-B60E-9C0E2BDD8A62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2dd40fa73f1db45e31030e77c0a76effcadcc130","datavalue":{"value":{"entity-type":"item","numeric-id":3963952,"id":"Q3963952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q692309$277F1F53-28F8-479B-8C17-24781D0C90A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b4861404e50c5efca67ce9accf62570167fdaba","datavalue":{"value":{"entity-type":"item","numeric-id":1121310,"id":"Q1121310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q692309$0C85A5F2-1204-4D6E-B3DC-B1C4D837BB19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8fb08f06c41f5975360234b48d06eee1288d4114","datavalue":{"value":{"entity-type":"item","numeric-id":1333281,"id":"Q1333281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q692309$23D6F012-2830-4375-AE8D-801873E77ED1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a11f0a48305864bb77bc4186991f574823604c42","datavalue":{"value":{"entity-type":"item","numeric-id":4226934,"id":"Q4226934"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q692309$690D48EF-FBBF-46CE-A675-EA7EDC88A91B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee4468bcd3ed9561ec2e5e517c9be616739ed2ad","datavalue":{"value":{"entity-type":"item","numeric-id":1907269,"id":"Q1907269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q692309$49646269-108B-4DAA-B509-71D21C24250F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a3de441df60d8ceb2880ee6b110682b370a98651","datavalue":{"value":{"entity-type":"item","numeric-id":4227282,"id":"Q4227282"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q692309$478FF43E-90EB-4354-9661-28923C8DAA11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"babcf006738ef0e898c146e942fc31d96c1a3573","datavalue":{"value":{"entity-type":"item","numeric-id":2271591,"id":"Q2271591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q692309$26A55F0D-1C47-4C60-B8C4-400272538257","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"223544afa1516e67d249b75353abf8fe320d7074","datavalue":{"value":{"entity-type":"item","numeric-id":693286,"id":"Q693286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q692309$0FBE8F8F-B848-493D-8326-CFC0A14659C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ad03955cd9d1b12f908e9f0d19d305e55a944b1","datavalue":{"value":{"entity-type":"item","numeric-id":1246557,"id":"Q1246557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q692309$EBCB9FD1-D017-40AA-A795-D46CBBCB6CF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"93fcf90e4f1affa442683e90c304a84d14939f6c","datavalue":{"value":{"entity-type":"item","numeric-id":4654191,"id":"Q4654191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q692309$F95CA648-37B1-40BF-9653-641FD87E539F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e59832f60a314c8ca98a8ff21cfb1f65b631dd7c","datavalue":{"value":{"entity-type":"item","numeric-id":4227352,"id":"Q4227352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q692309$F90F1D9D-2123-4747-9490-88E8655FC7AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"30e7b17ca41241bf4283ffcf8acc09c6e2ab61da","datavalue":{"value":{"entity-type":"item","numeric-id":4366594,"id":"Q4366594"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q692309$9AF767A8-0AE0-4A2B-AF4E-935333B6BCC6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"02b8eea2948912799d53a9d78d1004b8295f7f17","datavalue":{"value":"10.1007/S13398-011-0044-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q692309$4B7D8389-CCF9-4E82-8A14-B4A606EC4377","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cec60249a1e26036fcbc3ef6c2fe7f4597d00d8d","datavalue":{"value":{"entity-type":"item","numeric-id":1570259,"id":"Q1570259"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2e65a67b279c80603b407387e0eda68d621dcd28","datavalue":{"value":{"amount":"+0.7607477307319641","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":"Q692309$7DFBB2D5-0670-4BF3-BDD3-A81B1F11C04E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bdb1ac8ca793e66b0d33e42a0e4cd234331f6230","datavalue":{"value":{"entity-type":"item","numeric-id":4848189,"id":"Q4848189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"013d990f624e1c091150818ca5ed3c71ec3571f9","datavalue":{"value":{"amount":"+0.7567844986915588","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":"Q692309$7A11F1BB-5176-4F1A-84DF-BAA10366ECC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a20096734259ab9f0212489a53ef308515bca0ad","datavalue":{"value":{"entity-type":"item","numeric-id":2271591,"id":"Q2271591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3a5ae89694b9d8d37933729e9a9b9757de2bba2b","datavalue":{"value":{"amount":"+0.7549702525138855","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":"Q692309$66204812-61A8-4026-8956-0516FFB6C31A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ffbb3d347287899c00f10624c9cae78fbd4aa212","datavalue":{"value":{"entity-type":"item","numeric-id":2371668,"id":"Q2371668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3480cd975baf67fa9ce49bb4fd8649199d3fdeac","datavalue":{"value":{"amount":"+0.7505428791046143","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":"Q692309$F0478722-D3AD-4D55-BC07-F73ED62EA45C","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":"d2516c575f896455facff58d7c34f5e01cf270df","datavalue":{"value":{"amount":"+0.7468612194061279","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":"Q692309$6C36FE7F-2650-4301-834F-45BCA375913D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On the existence of solutions in systems of linear Diophantine equations","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_the_existence_of_solutions_in_systems_of_linear_Diophantine_equations"}}}}}