{"entities":{"Q5203713":{"pageid":7233284,"ns":120,"title":"Item:Q5203713","lastrevid":49489717,"modified":"2026-01-07T07:14:54Z","type":"item","id":"Q5203713","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4197462"}},"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":"Q5203713$8995F55E-A11A-498F-9BEE-BD4CC0038219","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"537c59d8b332abf47231c037355146ed83032453","datavalue":{"value":"0725.68090","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5203713$155582DB-4C0A-4B19-AF3D-B7CF7EA010D9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"70d2fbf8bcd48a5ca1ac752985098b379d0dbb65","datavalue":{"value":{"time":"+1990-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":"Q5203713$2CABA2B0-CEBF-4DF5-AED3-8B63E81B4876","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6661a0bd45477dfe90c09acb0f8986a7d5d877ba","datavalue":{"value":"https://eudml.org/doc/226707","type":"string"},"datatype":"url"},"type":"statement","id":"Q5203713$C5271872-B2B1-434F-9A81-2C5FDEA85F4B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5203713$0347F2FB-D753-4B74-A245-EE511138FDD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5203713$71D389F2-4D05-4966-BCB0-429BA643EB23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"23117a89d3983e500a3b09b9e4836cdf368918b3","datavalue":{"value":"13A15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5203713$F57ABC88-06D4-4768-BD13-469059F21588","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"391950414a099d56bc54d4355f229d909cdcb643","datavalue":{"value":"13F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5203713$46565178-267C-4198-B5B9-CA24B046681B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0d8912a48ac60770db1c80088e9517c70dd683cc","datavalue":{"value":"51-04","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5203713$F83AC9F6-FA6A-49A4-B7A3-87638C56B82D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"683c02f69d99f7b1814b7411561918922757779e","datavalue":{"value":"4197462","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5203713$EADC8651-1C2A-4DD0-9D1D-2FA2E161A9B1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9d2aa687cef17cd912aad76972cec097c0540be8","datavalue":{"value":"automatic theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q5203713$BB4D0E59-5EFC-498E-BFED-1F99948C4D62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"627d7afe796bf6d7e8d6de2b545ee44f2d589374","datavalue":{"value":"degeneracy problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q5203713$77C36454-4DC7-4215-A5D3-7D4080DEED34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c5360818106ae9d64168ea3e50bd5d4bb0b35983","datavalue":{"value":"Gr\u00f6bner base","type":"string"},"datatype":"string"},"type":"statement","id":"Q5203713$4202591E-7486-4CFC-9AEF-801D1BEFFDC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5023897ec9d3342789edb939d61d76a432c70635","datavalue":{"value":"module of syzygies","type":"string"},"datatype":"string"},"type":"statement","id":"Q5203713$9ACA490A-5135-4321-BB62-63364323FB9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c83dc51e06c69918346d0a495f7c075eb19c6949","datavalue":{"value":"subsidiary condition","type":"string"},"datatype":"string"},"type":"statement","id":"Q5203713$B844DD04-1DE0-46C9-A850-6A4513121751","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3c5822c01d59acd9d21b669ed8a606fdc656d524","datavalue":{"value":{"entity-type":"item","numeric-id":394457,"id":"Q394457"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5203713$87CED9A9-F455-404E-B6DB-A6CD09A61E60","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":"Q5203713$E912CD01-E447-4B70-BA40-CE25D6D5EFC0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a7a235146cc86d5fa16ec0b00fc940d2b85007b1","datavalue":{"value":{"entity-type":"item","numeric-id":676849,"id":"Q676849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"55e6b34b37b2e9d0b266e404ec1955f17aba3c3b","datavalue":{"value":{"amount":"+0.8441660404205322","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":"Q5203713$72A4C1BF-28FE-4F9A-80BF-986C111C865D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"602600e7166d4fbeb1bec8dbee66427995e22ff5","datavalue":{"value":{"entity-type":"item","numeric-id":1094149,"id":"Q1094149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f47a4bdb5e343d548a14bc9b56ab78b8af3fd2f1","datavalue":{"value":{"amount":"+0.8429290652275085","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":"Q5203713$5B22F007-8F70-406B-B98D-E66D5F308BD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d95f1d7edfdf6257ff9ad7c232192df093ebf87f","datavalue":{"value":{"entity-type":"item","numeric-id":4011813,"id":"Q4011813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5b0f82a6e33ebfc1633610b99134a5edaf5112f1","datavalue":{"value":{"amount":"+0.8398005962371826","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":"Q5203713$89785FD6-E092-4948-9ECF-E3B363282300","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb405d1b4c8caad47f3e50a43fc27fa01b73dfa2","datavalue":{"value":{"entity-type":"item","numeric-id":1118424,"id":"Q1118424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2b153650dce6f969f842075a3fa6a09cb8b0962b","datavalue":{"value":{"amount":"+0.8398003578186035","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":"Q5203713$1582D6F7-C5AC-452B-A130-45600607975C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"94a839d74007af1c3930450a763c8b9ef35f3d0c","datavalue":{"value":{"entity-type":"item","numeric-id":4394960,"id":"Q4394960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"09752990b8ff4589209a5b7f1d04aecb0d61c59e","datavalue":{"value":{"amount":"+0.8350356221199036","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":"Q5203713$32C923D3-0D37-4B3D-9F00-5D6F1D51A217","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5203713","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5203713"}}}}}