{"entities":{"Q3486876":{"pageid":5516776,"ns":120,"title":"Item:Q3486876","lastrevid":46924425,"modified":"2025-12-25T21:01:56Z","type":"item","id":"Q3486876","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4160161"}},"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":"Q3486876$4D0702F5-EC53-4FC8-BF31-F8F120C90346","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e962462a44fed5545f9996a15f971f14d67d99f4","datavalue":{"value":"0706.68084","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3486876$9A672D43-9FFB-48D3-A837-B4026EE737ED","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8934b36c73ee5d3627307837cc1f8c0d088756db","datavalue":{"value":{"entity-type":"item","numeric-id":795030,"id":"Q795030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3486876$909D7CC3-A0CA-4B3C-B948-2795BBD5568D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4737028d8d5fad77288f185569308c542dfa6979","datavalue":{"value":{"entity-type":"item","numeric-id":911791,"id":"Q911791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3486876$6611BCB5-18A2-4C43-89DD-8ABC7EE3E8F0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"31a1937240ca4a323604b4728c31d242b5596d7c","datavalue":{"value":{"time":"+1988-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":"Q3486876$C1662734-7EB8-44C4-86B8-0C325FCC3187","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3486876$C601F9BB-CBC6-4937-8EC0-20952D2CF533","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"24aafcf24a21bd70cd3b62d3f5f72a6d0d82d816","datavalue":{"value":"68-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3486876$3396D841-827A-4969-98CC-AB71CE814695","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"39c5712c230834bce7be14dd66775219958c0149","datavalue":{"value":"51A25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3486876$DA303DBF-5678-4036-82E3-9FA5F2FE0D89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b143b79160ecbd84018a9432f7528f4f2e56eb50","datavalue":{"value":"51M04","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3486876$1F923A6E-8661-4A24-9853-017A9AA91072","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e0371063c3b0b64a364daa070fc1018707cf7c54","datavalue":{"value":"4160161","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3486876$C6DF1277-69B3-4939-B862-4481012285FD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"415517984268443a241e10fa7e9096f19760eef0","datavalue":{"value":"verification of a single polynomial identity","type":"string"},"datatype":"string"},"type":"statement","id":"Q3486876$1DD8B7E3-1D22-4CFF-8805-1EBB236C75C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9feb88a81c9cbc7d767a2379c5c67c57c70b9929","datavalue":{"value":"non-resolution theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q3486876$A74B34DD-5BE6-4848-93A8-114FB930E20A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7164fb1a146782fc3fc30b688b30936e08cdee92","datavalue":{"value":"geometry theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q3486876$0B399D91-42A7-4D4A-9877-D6D8B060332E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"293a213408b3381f598fecc6c06c046f1189f302","datavalue":{"value":"membership problem for the radical of an ideal of polynomials","type":"string"},"datatype":"string"},"type":"statement","id":"Q3486876$E951C77E-CD6D-40E4-9608-03BF901518DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2996def86f7f14fc060d3701fd77cafd68962627","datavalue":{"value":"Gr\u00f6bner bases calculation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3486876$313AE98A-16B3-4FCD-B549-004717DD3A8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"698542b58ea564916b2ef53688be87fbd4e7199e","datavalue":{"value":"Buchberger's algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q3486876$AA8B2E6D-B9E5-468E-98E1-E9681463A08D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c832df3ca8d2e9d33c43708f41801499bdc9fa04","datavalue":{"value":"computing the dimensions of the hypothesis variety","type":"string"},"datatype":"string"},"type":"statement","id":"Q3486876$D4A60E4D-A568-4CC9-919E-A48BC45AE47B","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":"Q3486876$08B9602C-974D-48B2-B7B5-B1E53507324E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3486876","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3486876"}}}}}