{"entities":{"Q908692":{"pageid":910540,"ns":120,"title":"Item:Q908692","lastrevid":65267904,"modified":"2026-04-12T01:25:42Z","type":"item","id":"Q908692","labels":{"en":{"language":"en","value":"Non-negative integer basis algorithms for linear equations with integer coefficients"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4135394"}},"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":"Q908692$4BB06792-30D5-44FF-93A6-78C3D065D880","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"16d1f039831a06e27145daeab1f773b48141083a","datavalue":{"value":{"text":"Non-negative integer basis algorithms for linear equations with integer coefficients","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q908692$C0554D06-5D36-4E0B-8EDA-F6DF43BC8FA9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0f483776ac2a00ebe76f648c5ecf9d12cf91fc56","datavalue":{"value":"0693.68021","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q908692$2B7DFC1F-90E3-4338-B333-645CF48A82F3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f8e229060f58474e88d45e76f53f8621a65b6284","datavalue":{"value":"10.1007/BF00245019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q908692$27C53DA2-1701-49F6-9EB2-AEDF17DD722B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9a874160f72b1a68f4669e67c89de5a37374ed5f","datavalue":{"value":{"entity-type":"item","numeric-id":908691,"id":"Q908691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q908692$F9A8DF86-A2AB-4A9B-89DE-0A5B213926CD","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b84cc8b5923f45dc86ae69f67f68bf56d7ecfce9","datavalue":{"value":{"entity-type":"item","numeric-id":174771,"id":"Q174771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q908692$56C4BEC6-CFA4-4D29-A5D9-0BE07B0A8F29","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7211ad5ca16eb0d22cd0051fff3d0f3af254ceb6","datavalue":{"value":{"time":"+1989-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":"Q908692$05418CEC-5035-4BCC-B337-0982CFBEECEF","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"76ca99ce84a1dc77a1cee520b5c9f9c67e11cd96","datavalue":{"value":"Bei der Unifikation assoziativ-kommutativer Terme stellt sich die Frage nach einem effizienten Verfahren zur Aufz\u00e4hlung der L\u00f6sungsbasis f\u00fcr eine lineare homogene Gleichung in vielen Unbekannten mit ganzzahligen Koeffizienten. Dem blo\u00dfen Aussch\u00f6pfen von Restriktionen f\u00fcr die Basisvektoren [\\textit{G. Huet}, Inform. Processing Letters 7, 144-147 (1978; Zbl 0377.10011)] werden hier konstruktive Verfahren gegen\u00fcbergestellt, die auf sukzessives Erg\u00e4nzen einer Matrix hinauslaufen, deren 1. Spalte alle Koeffizienten enth\u00e4lt; erg\u00e4nzt wird die Matrix um reduzierte Summen von je 2 Zeilen. Verf. zeigt, da\u00df dies Prinzip terminiert, sobald eine komplette Basis erschienen ist. Aus der Trennungseigenschaft der durch die lineare Gleichung definierten Hyperebene gewinnt er dann einen eleganten Mengenalgorithmus, der dem Ref. Fragen nach seiner Optimalit\u00e4t als reizvoll nahelegt. Messungen ergaben durchschnittlich die halbe Laufzeit des Aussch\u00f6pfungsverfahrens; die Beispiele, in denen letzteres ``beliebig'' gegen den neuen Algorithmus abf\u00e4llt, lassen dessen genauere Laufzeitanalyse sogar dringlich werden.","type":"string"},"datatype":"string"},"type":"statement","id":"Q908692$22D2C6D5-396B-496C-9865-EE5955DC9FB0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q908692$8B3F1648-A1C8-459B-9F01-DD79AB50002D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e840e979351f221ec22f6596521c1e78c9e12ea1","datavalue":{"value":"11A63","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q908692$E9BC2B18-060E-4CD5-8A29-73BA0612157E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"df5b0a14114d9dc11b41087e2c1b032bd12c6248","datavalue":{"value":"4135394","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q908692$01F766C3-2C8B-41A0-A03B-D370DE0D1727","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c3922eb0b8235fb2b824bcb3eaa0c8d395dbd512","datavalue":{"value":"unification","type":"string"},"datatype":"string"},"type":"statement","id":"Q908692$753638E3-E84E-4AA8-80EB-62D184271E1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"552246d6ddb0b9cd51b1f847ec5c63e7bc8aa8d0","datavalue":{"value":"computation of matrices","type":"string"},"datatype":"string"},"type":"statement","id":"Q908692$F66F3A68-DDF8-4F1B-8EFD-AAB1ECA6F6DB","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"7992c414b07bb0c7b8ce201afc40a3ead3f70780","datavalue":{"value":{"entity-type":"item","numeric-id":2529043,"id":"Q2529043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q908692$4CD82CE0-B29E-45C5-B58C-045CEAC90F4F","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":"Q908692$030816B8-E895-47CB-B6D0-30A4F0B456DE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5653dd69dc627d1e253c149a0c1b8e0f9bd177e0","datavalue":{"value":{"entity-type":"item","numeric-id":2616617,"id":"Q2616617"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ede76c03fd5ee22e542304dbc7048165d6a94b02","datavalue":{"value":{"amount":"+0.7784171","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q908692$6CA7447C-5AE4-42F7-99DF-5BCEBDD509E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"88256544ede8a030f4a5d63d5c937588354ef502","datavalue":{"value":{"entity-type":"item","numeric-id":3703285,"id":"Q3703285"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a11e86cb4e56530f7f9030b17e18a9d15863310e","datavalue":{"value":{"amount":"+0.7708925","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q908692$F7CA0D5C-0207-4E98-B14B-24F36D1067F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6dc53dee213d65715c06a8cc08b5dd838bcd516c","datavalue":{"value":{"entity-type":"item","numeric-id":1459912,"id":"Q1459912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a0fb40f013e05e0c00e49c4508eed1532bbc2cb3","datavalue":{"value":{"amount":"+0.75265","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q908692$55ED08C0-27DB-4C02-A031-49EE231BA8BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3e068a9027030d2fed102d31f62f4416006d1fa8","datavalue":{"value":{"entity-type":"item","numeric-id":3690956,"id":"Q3690956"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"df6040ca8a61878439462a2da98ae2944a2511fc","datavalue":{"value":{"amount":"+0.73979473","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q908692$DB125063-03BF-4E19-B24C-514C9FF8BEEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dfd1c5b00dcef4e4bd06bf43181652e34af2f4f8","datavalue":{"value":{"entity-type":"item","numeric-id":3339168,"id":"Q3339168"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2f5bb300f79ef66fdfc1cdb2d914a61c0e56fc13","datavalue":{"value":{"amount":"+0.73452836","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q908692$2B1E5B3F-BC71-4D14-9335-B93DD0A4BD25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"83c64634ac7eb21499c9e84d54d4b963205d5753","datavalue":{"value":{"entity-type":"item","numeric-id":3694532,"id":"Q3694532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7b90fad342a1d0547988f9d8bfb78489ab1af042","datavalue":{"value":{"amount":"+0.7341797","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q908692$FB5EECAD-ED91-43D8-9B9B-1C13922FDE46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9acf89d6d7edc22a8a63796cb287d7ce8af40497","datavalue":{"value":{"entity-type":"item","numeric-id":5423851,"id":"Q5423851"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"703423aefed923a6f33388bc54b129fd1cfa8165","datavalue":{"value":{"amount":"+0.73382074","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q908692$866E6949-9300-44CF-A285-766F0E69BA32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5c021781ff19e952f43f7b80fce29c3fb3ef4707","datavalue":{"value":{"entity-type":"item","numeric-id":2605688,"id":"Q2605688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4635f1bce2ca1bb218ea6d3e16a2da3e738021d7","datavalue":{"value":{"amount":"+0.73298925","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q908692$5A1E8380-1DE7-4523-8FBA-930132141C96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"56c40cd0ae36433870101db9658957d0f8cf40de","datavalue":{"value":{"entity-type":"item","numeric-id":4327513,"id":"Q4327513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"580bcfae5513436a3c6fba0a1bd41b4f82b336c8","datavalue":{"value":{"amount":"+0.7319344","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q908692$13EB0604-9DE2-4573-A14C-855F0EF41DA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e7e1ccce6959ff1edb20c2c673246f94c0193a31","datavalue":{"value":{"entity-type":"item","numeric-id":3998307,"id":"Q3998307"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"44b2c80339af8b8f018ee7a8f0a6fb66c903948e","datavalue":{"value":{"amount":"+0.7312875","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q908692$68CFC487-E860-41E5-8201-9F72DFE7EA0C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Non-negative integer basis algorithms for linear equations with integer coefficients","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Non-negative_integer_basis_algorithms_for_linear_equations_with_integer_coefficients"}}}}}