{"entities":{"Q1127557":{"pageid":1138306,"ns":120,"title":"Item:Q1127557","lastrevid":69843402,"modified":"2026-04-13T10:43:17Z","type":"item","id":"Q1127557","labels":{"en":{"language":"en","value":"Edge reduction for weakly non-negative quadratic forms"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1185639"}},"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":"Q1127557$EBCD05D8-62D9-452E-BA4B-5AAC5DD1F586","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"37dda59815201cddae74c427baba3d3b366e91b3","datavalue":{"value":{"text":"Edge reduction for weakly non-negative quadratic forms","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1127557$BBA05A40-01DE-46EA-B0A8-9A952E35D32C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"460e78998b6b00ad5c59597be51d4f771adf7d1b","datavalue":{"value":"0912.15034","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1127557$6D85113D-1363-4213-ACC2-D5D8002A671E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fc1f584c704ca1f8fd2fc2d08bd33d1d055c5bff","datavalue":{"value":{"entity-type":"item","numeric-id":787250,"id":"Q787250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1127557$CD46FF44-AB77-4FB0-80AD-7109891B9BB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c984fa476c509a1b8216e2e5d8b36cf3bb8726ef","datavalue":{"value":{"entity-type":"item","numeric-id":403565,"id":"Q403565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1127557$B750412D-68FD-4782-BFE2-04DCA31A0BDE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"db22232807c795272dc3a83fabf3be514df44f25","datavalue":{"value":{"entity-type":"item","numeric-id":166039,"id":"Q166039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1127557$EADE0C37-4A7E-43C6-88D2-C67B00DB6302","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f9e2f38af2b9b50bb6524b19e002d57dc0f88b01","datavalue":{"value":{"time":"+1999-05-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":"Q1127557$99DBA3C6-B434-444E-9E86-D8D222D2FFB0","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"cde3646cbecef79a57d0a2223fbf0ad99629b379","datavalue":{"value":"Let \\(q: {\\mathcal Z}^n \\to{\\mathcal Z}\\) be an integral quadratic form in \\(n\\) variables. Here \\(q\\) is a semi-unit form if each coefficient on the square of a single variable is \\(\\leq 1\\), and \\(q\\) is weakly nonnegative provided \\(q(x) \\geq 0\\) for every nonzero vector \\(x\\) with nonnegative coordinates. The authors study a process (called edge reduction) of replacing \\(q\\) with an integral quadratic form \\(q'\\) in \\(n+1\\) variables that is a weakly nonnegative semi-unit form if and only if \\(q\\) is. (There is also a close relationship between the isotropic vectors of \\(q\\) and those of \\(q'\\).) This is developed into an algorithm to decide whether or not a given semi-unit form is weakly nonnegative. A computer implementation of the algorithm is working.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1127557$6EE258B4-0950-4AC4-9FC6-B420D1E9A0CA","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"367a4e47576f5012386833943293d1dbb7de262a","datavalue":{"value":{"entity-type":"item","numeric-id":557089,"id":"Q557089"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1127557$C551984C-0049-42EF-83C6-99B0F80B8590","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5aff12e0aaa0e845f49257674dee6d6b35fe2903","datavalue":{"value":"15A63","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1127557$BFFD18F5-8C0E-435B-A181-ED75F0749885","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"72309745094959b676ca20810c7af21a33fe24b5","datavalue":{"value":"65F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1127557$BB9C16E0-9855-4F15-B301-9914A2C264A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"20300cfcb1752afcf4cc1f390226296ea4d22bf0","datavalue":{"value":"15-04","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1127557$B53F5EC0-FC66-4886-9E9D-9EAB47FAFF28","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bc65d4953d9196dd24365648bed9d3b618ceeca3","datavalue":{"value":"1185639","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1127557$D7684D6C-2AA5-4C0B-8CAE-17C16584E409","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"03dfa13fa68db29805b8b6c9763385e44e8cce19","datavalue":{"value":"integral quadratic form","type":"string"},"datatype":"string"},"type":"statement","id":"Q1127557$07DC74C2-62A9-4CE0-9436-FFBA09705CB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7409a61857d3422d26a67b56ca2d002e7dd5ab47","datavalue":{"value":"edge reduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q1127557$C850F861-A7CA-49AC-AF9F-0755491522DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6dc910ae11e4a223fa2ad1ebf3f178c591ba578f","datavalue":{"value":"weakly nonnegative semi-unit form","type":"string"},"datatype":"string"},"type":"statement","id":"Q1127557$777D6D90-3907-4D84-A6C7-4E8FC14F04BD","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":"Q1127557$9C07D3C0-FA39-4320-8A9A-C4FE6DFF4B6D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"58119aa199285b297310585f746de8c380250327","datavalue":{"value":"https://doi.org/10.1007/s000130050195","type":"string"},"datatype":"url"},"type":"statement","id":"Q1127557$DF13048C-C33F-4EE6-BE5B-E31C2F015272","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2683ae35ffa98ce282d40c49ad88360f5369ce28","datavalue":{"value":"W131155666","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1127557$9E054608-330C-4588-9837-1A7F50A1ACA3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"91a98c2495cc83ef7e7168269739f99530caa0e1","datavalue":{"value":"10.1007/S000130050195","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1127557$AC22F73B-1165-4322-8A17-5EB97F19E58B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dbfabb0c52ed4d873fd4cad508f97aaaff946c69","datavalue":{"value":{"entity-type":"item","numeric-id":1901970,"id":"Q1901970"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b7947a0573a2838ef757754c9093d5e9ced9870e","datavalue":{"value":{"amount":"+0.9000435471534729","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":"Q1127557$D13A9EA8-34C0-4690-AF3C-FD697624F297","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f01fe6c88c9100227509b7833a85313520e027d2","datavalue":{"value":{"entity-type":"item","numeric-id":4270320,"id":"Q4270320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"67aff93d68c0fd6ca732832a44440e3d1130cedb","datavalue":{"value":{"amount":"+0.8418639898300171","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":"Q1127557$71F2B3C0-FA96-4DD7-BFE2-028746905EBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"882ae9661b0715c3a01deaa29762baf9cecf00df","datavalue":{"value":{"entity-type":"item","numeric-id":1911919,"id":"Q1911919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f15343918ebdae456cedc76b601543613cf4457d","datavalue":{"value":{"amount":"+0.7894437909126282","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":"Q1127557$CD574DF3-00E3-4891-A5E6-5B36E07B4C18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d5b56cd00ed4d1c529642e17144cca83c23073bf","datavalue":{"value":{"entity-type":"item","numeric-id":1266381,"id":"Q1266381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"15e88d6710fe49029f11cd219ab46068b417edd5","datavalue":{"value":{"amount":"+0.7768247127532959","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":"Q1127557$51847EB0-E1E3-482F-86B5-FFB75526D71A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Edge reduction for weakly non-negative quadratic forms","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Edge_reduction_for_weakly_non-negative_quadratic_forms"}}}}}