{"entities":{"Q5207449":{"pageid":7237020,"ns":120,"title":"Item:Q5207449","lastrevid":58478706,"modified":"2026-04-05T09:47:22Z","type":"item","id":"Q5207449","labels":{"en":{"language":"en","value":"The syzygy theorem for B\u00e9zout rings"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7146723"}},"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":"Q5207449$62B3638A-6ABF-4AD3-A30E-B116BF517DA4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d34c7f8eb3e07d99c5804fc2e0208a9a82bec530","datavalue":{"value":{"text":"The syzygy theorem for B\u00e9zout rings","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5207449$8917B600-BD38-4F32-8109-38EA53315251","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"dd9c83f06b28db9379b0ca1f335cd8efd194f02d","datavalue":{"value":"1439.13033","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5207449$2C333542-B262-4969-8954-D51290CCD516","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"13a4a749e7bf16456e3485dcf83d30a32e9c935b","datavalue":{"value":{"entity-type":"item","numeric-id":1999800,"id":"Q1999800"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5207449$8FD95FD3-0E0D-418A-ACE1-95AF5100B445","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"034f9a5ed642447d20b564d6effa648f9746422b","datavalue":{"value":{"entity-type":"item","numeric-id":208823,"id":"Q208823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5207449$BDC5855F-2F94-4993-8387-047FD1824212","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"34782918c7bfaa13a5f71af1fa06feee819605ce","datavalue":{"value":{"entity-type":"item","numeric-id":645115,"id":"Q645115"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5207449$6187521B-C403-4C58-9668-668DE55CB60A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4411587d3c1e55e23b2f9df508875f4e05601b37","datavalue":{"value":{"entity-type":"item","numeric-id":415465,"id":"Q415465"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5207449$9F7620E9-1D2A-4C7F-A836-DD176ED24849","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"baa5e802769412f0844a94f995d30b9509cb3673","datavalue":{"value":{"entity-type":"item","numeric-id":65726,"id":"Q65726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5207449$80EB7266-F064-4BA5-A278-9A52FE05E039","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"03234405970b92a1e1e92703ce8133c6083d387f","datavalue":{"value":{"time":"+2019-12-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5207449$BA216A13-74FC-474C-B81C-BBF7369CDFAC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"443b00df240377099a872028049ec4786d2e15ce","datavalue":{"value":"https://arxiv.org/abs/1905.08117","type":"string"},"datatype":"url"},"type":"statement","id":"Q5207449$44CAF840-429B-412D-9AB7-171C77FAEFF9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd4ec6e4b6aa854466b467ae20b9d087bcc2e35a","datavalue":{"value":"13D02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5207449$9959A352-68BF-49A9-A04B-3FABA3292BC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"173b0c3afec7c4f9f987722665cc7bdb6b8f5813","datavalue":{"value":"13P10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5207449$B1026EDF-B948-4DC8-9EFF-4203188B86E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0c6c0d35e6fccd0fb471822cfa3b5bcd398a274a","datavalue":{"value":"13C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5207449$366AB50D-F27D-424A-AAA4-0B16233D5F61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d9b4a24318cda797351dde93ed4502dfcf1f2931","datavalue":{"value":"13P20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5207449$B7475018-CDBB-4B2E-8F0D-D016EE94D15B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"65ef089ab6dd31e83c3611c992a3cfd8973b58bb","datavalue":{"value":"14Q20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5207449$F4C2AD2D-9E92-4384-B74B-BB7EF2C94CF4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0b87cdffe0931f0601c45e9d70bf9f349bcd3497","datavalue":{"value":"7146723","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5207449$A1D2A06B-1C6A-4EA1-BF65-BFB8CFB6C132","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2b36bbe26590a94d2fc608f7dc1198902bc6f0d9","datavalue":{"value":"syzygy theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q5207449$536D1729-DF6C-43C8-933B-1BAAFCD527E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a8a5d48c9d0c451eff9cb5bf9f8281865f31ab0c","datavalue":{"value":"free resolution","type":"string"},"datatype":"string"},"type":"statement","id":"Q5207449$E9C189F5-117C-4031-8FBC-7509A1CF4F1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"81ea0f2eafd521875bd7e049cd19844431e0a1fd","datavalue":{"value":"monomial order","type":"string"},"datatype":"string"},"type":"statement","id":"Q5207449$94EDEA19-C2E8-413F-8346-A079D22487F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1d4b113918b31c1545502243e47f8f732d6d3631","datavalue":{"value":"Schreyer's monomial order","type":"string"},"datatype":"string"},"type":"statement","id":"Q5207449$6E3EABCE-EC72-44D5-89DC-AF96ACF7972D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b14b3ae124ca4edac010b9d82668b4e93c31f048","datavalue":{"value":"Schreyer's syzygy algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q5207449$D24FEA05-C725-4A70-9C21-6AF774B641FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a6217978f2e174cff7dc7127fac08fe9e0291af5","datavalue":{"value":"dynamical Gr\u00f6bner basis","type":"string"},"datatype":"string"},"type":"statement","id":"Q5207449$8BCD886E-EECE-458E-8A7F-4E8402A745DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6626b4b8bd6386abcdedcc91770b6ca2be3bbb84","datavalue":{"value":"valuation ring","type":"string"},"datatype":"string"},"type":"statement","id":"Q5207449$074A50BE-18D9-4B52-85A3-3359AE35BF8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e6f88ace2ddd51341a086adfb0c397e86c1b9756","datavalue":{"value":"Gr\u00f6bner ring","type":"string"},"datatype":"string"},"type":"statement","id":"Q5207449$46A9CFA1-60C0-42F1-ACA9-BBF288AB27CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c4ce55e5e578c8dbc9fe2076e70fd44691e79431","datavalue":{"value":"strict b\u00e9zout ring","type":"string"},"datatype":"string"},"type":"statement","id":"Q5207449$75E2AC68-D330-481D-8CA2-DB01C2FB8025","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":"Q5207449$2C40C2D0-AA55-4507-8B1B-B3D5AA045D19","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a9581dec4b158113b9c67a1450834f7bf314bc8b","datavalue":{"value":"W2950664028","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5207449$684A191C-0BCC-45FD-B3C2-8745F671C561","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"de464f4aafb4e9508ba256e2980a33d9d5749fdf","datavalue":{"value":{"entity-type":"item","numeric-id":4305609,"id":"Q4305609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5207449$E0165644-E567-4C14-9698-36869C6E943E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4122519b918206897f0af20a4d6bc87fe7850995","datavalue":{"value":{"entity-type":"item","numeric-id":5573965,"id":"Q5573965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5207449$F8F016F4-1527-4461-8FB0-AAB5B7009D28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a02ebf0568f47635f182c488d881f7744ddea83e","datavalue":{"value":{"entity-type":"item","numeric-id":3803111,"id":"Q3803111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5207449$E89DEB11-3A0E-498B-B3C9-3E297D0A4744","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"48933c0d362727730cc1905c68ff87e3a22216cf","datavalue":{"value":{"entity-type":"item","numeric-id":2457345,"id":"Q2457345"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5207449$71B0BB7D-C107-450A-A1A9-91005B0FA3B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"256ba42ec934067ca6b3b59f0277c4be621b1d39","datavalue":{"value":{"entity-type":"item","numeric-id":4672512,"id":"Q4672512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5207449$02A9C71F-F48A-4DBD-A949-948DF07D4FEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf7e5ea8b887807f5a5d06a897412368d42a81e7","datavalue":{"value":{"entity-type":"item","numeric-id":5245268,"id":"Q5245268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5207449$0887F7FB-1DA4-4C1E-8245-64812C85E541","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"605b4853c9bb164c6358e85ec2f9b67709c2e3eb","datavalue":{"value":{"entity-type":"item","numeric-id":2931733,"id":"Q2931733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5207449$F9F19AF0-A804-4E7A-96E9-CF214B3D2728","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2dc2767324926ef06ec1ac7013047326a7395be8","datavalue":{"value":{"entity-type":"item","numeric-id":3108268,"id":"Q3108268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5207449$D4A7DD9F-7ED3-421C-9567-B03C32B2534E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9ded41841af041b06fc95dd10c4b7f4bd69407c","datavalue":{"value":{"entity-type":"item","numeric-id":2411397,"id":"Q2411397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5207449$612C3DE4-7832-4F21-BB60-3D5E53AF6A97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"57b61f2ebe31d75616dc456334c545b8459f5284","datavalue":{"value":{"entity-type":"item","numeric-id":984989,"id":"Q984989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5207449$9457CECC-ABA4-45E4-B701-404E3EE30EBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f6152ee39c3837507f82dd455429b31bc491a51","datavalue":{"value":{"entity-type":"item","numeric-id":2341091,"id":"Q2341091"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5207449$2F136F96-4C4F-4FE1-87AB-14DE8E1BFB8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"364715fdc2f0e93e050fee5206acb2c2513c84c0","datavalue":{"value":{"entity-type":"item","numeric-id":1210701,"id":"Q1210701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5207449$CFDF75AB-6835-408B-AC0E-920548E78EAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"93171fa660a44c7dad615fb4a7ff973ea00ac93d","datavalue":{"value":{"entity-type":"item","numeric-id":427775,"id":"Q427775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5207449$9F875CB6-A76F-4EE5-951D-14F5E7BF62CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"81a474fe41a7d5c91a937ba9e95da12771cfc446","datavalue":{"value":{"entity-type":"item","numeric-id":855700,"id":"Q855700"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5207449$6FB86DAF-27A0-42A5-A359-96810FF45E19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"54ed8bfafe29dfdda02ff4714671bddbb5c68fe9","datavalue":{"value":{"entity-type":"item","numeric-id":663594,"id":"Q663594"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5207449$DB2449BF-3EC5-4DA9-B034-6AAF0903371B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c02d3181b85c4d239459b56cbe6ccfeaf98ab4d6","datavalue":{"value":{"entity-type":"item","numeric-id":2636958,"id":"Q2636958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5207449$EF463B95-977C-4437-8F1E-F6625E237F46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5c3cafd2236f26ce933a975356c990aec10f958","datavalue":{"value":{"entity-type":"item","numeric-id":2348270,"id":"Q2348270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5207449$BFDD0214-654E-4BBD-A95D-824413810CDA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"408ba5f8731d1b337bbfb870b6ffed54a5fa964c","datavalue":{"value":"10.1090/MCOM/3466","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5207449$3AE66032-E68F-41A9-9FB9-5B705B331072","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"656cf7f77ed77576210ad77310503dc6430fd744","datavalue":{"value":{"entity-type":"item","numeric-id":4379286,"id":"Q4379286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2f37385bdcadc9951c3b8ab372bff79ac1cb4190","datavalue":{"value":{"amount":"+0.7801831960678101","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":"Q5207449$D8B6FD08-693E-44FB-A2AB-0EBFB6EC51DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"be271ac32b04a7bfd50deccdb54933f192053d49","datavalue":{"value":{"entity-type":"item","numeric-id":3686801,"id":"Q3686801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2af7421bd0997bdda95c13cbc4eeb5c8e47a6c49","datavalue":{"value":{"amount":"+0.7557275295257568","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":"Q5207449$2DFB3B82-F138-40D1-B48C-CC66975530FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ec35d72a4b473eacd1c76c01f921997f5f623393","datavalue":{"value":{"entity-type":"item","numeric-id":5092493,"id":"Q5092493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"29bd64c3633fd44577ac2ed67e7b98d29b75456e","datavalue":{"value":{"amount":"+0.7524732947349548","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":"Q5207449$61F424DE-BFE0-4E10-BFFA-9C8F48325EF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c0ac3a5acf9ad2a59b1389a66dfee137e24976d","datavalue":{"value":{"entity-type":"item","numeric-id":909718,"id":"Q909718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5964b3a39de9ad0f3aefac2d088db420f931b1fc","datavalue":{"value":{"amount":"+0.7348028421401978","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":"Q5207449$F0EB5254-320E-40CE-B99C-3996AE23DF18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b2ace49a5e6548c4fabe4e1ad44590f6b73e1e01","datavalue":{"value":{"entity-type":"item","numeric-id":1186713,"id":"Q1186713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3366d9c6bac9a3947159565599781485a9c7b8b7","datavalue":{"value":{"amount":"+0.73251873254776","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":"Q5207449$5C3E3EAA-15BD-4245-BA23-22CA0595B868","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5207449","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5207449"}}}}}