{"entities":{"Q3838770":{"pageid":5868675,"ns":120,"title":"Item:Q3838770","lastrevid":54495848,"modified":"2026-01-27T10:25:19Z","type":"item","id":"Q3838770","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1189068"}},"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":"Q3838770$42D1C369-7EC4-40BC-A552-6D28B6B038CF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9a521da0ba5d6a2bc61e0ac75c6cf46ec9a7ba2c","datavalue":{"value":"0910.03010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3838770$51376FBE-157E-4F96-AFCF-FF49B4B9348A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7a60a38320311da18eda10821922742954865726","datavalue":{"value":{"entity-type":"item","numeric-id":394492,"id":"Q394492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3838770$42A6BCE2-0432-434C-B8A6-065B22CB744A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"aa1149445dbfd9f2ca7dd0bddef406ecc8c892dc","datavalue":{"value":{"time":"+1998-08-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3838770$CF3BD81B-8BFE-4013-AAED-D4F0B82E30B3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3838770$B2E573CD-DD5A-487E-B8CC-4B0BD5B02341","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0166df3f2ef85a87e85fad615c3f5cc3979e4161","datavalue":{"value":"51M05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3838770$7E52DA42-039E-4903-8C91-476AF6D361D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3838770$52BEDB84-3B82-47EC-8481-1AB687E6864A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3838770$7597B3E1-4A4E-4FFE-B30D-CE66B832F7C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"89663cdc2c9f64b2cd0a104bcac86329d89b9b2d","datavalue":{"value":"03-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3838770$F5326A5B-E72D-4685-8312-B8B9C19D82C7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2a2a0e849ba2c1953b89072832255abfc1fae26f","datavalue":{"value":"1189068","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3838770$88CC6AB2-A4FF-4DD2-9440-95F37D06D3F5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"89c25d3f6f572bb0904496bf5bd0b0b2464fa99c","datavalue":{"value":"research survey","type":"string"},"datatype":"string"},"type":"statement","id":"Q3838770$6E669781-C0C4-483E-B630-522AD4958B86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7164fb1a146782fc3fc30b688b30936e08cdee92","datavalue":{"value":"geometry theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q3838770$10E11D39-57F9-4575-8B4E-FA2D199E3B8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7b0eac1d48523811b3e5b5a66438267c84f94afd","datavalue":{"value":"refutational approach","type":"string"},"datatype":"string"},"type":"statement","id":"Q3838770$E3162D91-E3D7-42CC-8F0A-8570367F3359","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"99c239dc77a316f7da47f9d2d7c645993f6cd8d7","datavalue":{"value":"Gr\u00f6bner bases","type":"string"},"datatype":"string"},"type":"statement","id":"Q3838770$B4CDBEE2-A04B-4182-8E70-E24116E26665","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3570ca5ec7e211f7047dd9a59eafeea1905a86e0","datavalue":{"value":"Dixon resultants","type":"string"},"datatype":"string"},"type":"statement","id":"Q3838770$B99829BE-912C-4E55-AE2F-9133B7F5C942","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bf4f874faee3dc71c6cbe73e6a540d28902548cb","datavalue":{"value":"proof-by-example approach","type":"string"},"datatype":"string"},"type":"statement","id":"Q3838770$8981120C-1DFB-4142-82FC-101235C61813","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":"Q3838770$13367C14-370B-4FCB-96F6-BF7CDB62F0E6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b0107a06ec47bf222f855a218ce6a9d76213f3cc","datavalue":{"value":{"entity-type":"item","numeric-id":1701040,"id":"Q1701040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a9d56a1c2990a3db67d27c4fbdd90a57b51b4dbe","datavalue":{"value":{"amount":"+0.9132679","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3838770$5D20E3C9-6945-429B-A64E-991BF28D7233","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":"1234327713864b9b8f24cbdf1ecbe3c93c5a6d4b","datavalue":{"value":{"amount":"+0.9039255","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3838770$84411387-831C-4C12-9120-55C43EC9E632","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"31e9d2d45ab21c50e3825ee0ba1d3122969196f5","datavalue":{"value":{"entity-type":"item","numeric-id":915799,"id":"Q915799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ef1deedb23ed9571cc60f646689c2b76e7759a07","datavalue":{"value":{"amount":"+0.896577","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3838770$E46F0C15-7E2D-447B-8C8D-017602F25D75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3d9b80e26694703bda0bc360c98010f9a51c56c7","datavalue":{"value":{"entity-type":"item","numeric-id":5453488,"id":"Q5453488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5111fc0de61444927328933c6894778cfdba03c1","datavalue":{"value":{"amount":"+0.8951497","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3838770$19E4512C-F299-491F-8E22-2AB73C86AD97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9c2c0a4e54e73b504601a52cd7495beac115090e","datavalue":{"value":{"entity-type":"item","numeric-id":5315154,"id":"Q5315154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"48273be35d43b6bcd998628a8f442b35997859ce","datavalue":{"value":{"amount":"+0.89115345","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3838770$ECEE49D5-3429-41D0-B7B9-5E626BF46580","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"abe8b5501d108671703e4f4f70ce26184756f503","datavalue":{"value":{"entity-type":"item","numeric-id":3804232,"id":"Q3804232"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"17f5182017112f76f49b78a0c2342db84860e29a","datavalue":{"value":{"amount":"+0.886835","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3838770$038EBAB7-1BAB-4036-989B-5433320FE2EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e1456c5e173edb10267c5c555c60aefd4a3d3dee","datavalue":{"value":{"entity-type":"item","numeric-id":5902026,"id":"Q5902026"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"58cb3f5c0c3c93bceee0392c104f01dfc93ac679","datavalue":{"value":{"amount":"+0.88472295","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3838770$49D474E4-AADC-4449-A4D9-55966DC263F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"de47d80f306373d000b734218feb3a1192f8a047","datavalue":{"value":{"entity-type":"item","numeric-id":4234211,"id":"Q4234211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"34f3dc8556e9b64ca8e5138ee07a73a6642e7a52","datavalue":{"value":{"amount":"+0.879841","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3838770$3B66822A-BCC3-4F55-A30D-391A5DD34C2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4759887f2efde6f52432de8771c4b96c2f71989d","datavalue":{"value":{"entity-type":"item","numeric-id":3486876,"id":"Q3486876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eec1c63ce5dd3618d0e20e618d802a792807ee70","datavalue":{"value":{"amount":"+0.8793306","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3838770$C018C9C3-AEE5-423F-9B3D-95B23409512D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"23c5e7849e22b1cceab9e5813888dbad99caf919","datavalue":{"value":{"entity-type":"item","numeric-id":3155101,"id":"Q3155101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9ae3e7a8128fa4980c61968875aa5526cfb625fa","datavalue":{"value":{"amount":"+0.87835115","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3838770$5E0E2558-323A-4517-AAAE-3EBA07C4C96F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3838770","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3838770"}}}}}