{"entities":{"Q3608762":{"pageid":5638668,"ns":120,"title":"Item:Q3608762","lastrevid":50592098,"modified":"2026-01-14T12:18:24Z","type":"item","id":"Q3608762","labels":{"en":{"language":"en","value":"Automating Elementary Number-Theoretic Proofs Using Gr\u00f6bner Bases"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5523765"}},"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":"Q3608762$43DD5ECD-442B-4BA8-A6EE-64B31C79EDA9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f28836fed857ba73469f5932a7355df2dc7e8962","datavalue":{"value":{"text":"Automating Elementary Number-Theoretic Proofs Using Gr\u00f6bner Bases","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3608762$166DF568-4C6D-4286-B5C1-85EE5ACDBEC6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8a56e94d19818f3c875088cddcac33901fc31243","datavalue":{"value":"1213.03020","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3608762$F9E59549-0052-4CC3-B1AD-C09A2849E14D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9d5dbe457f21541ef50d8c31ae7f2e39c84e7252","datavalue":{"value":"10.1007/978-3-540-73595-3_5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3608762$9A3224F5-1D1C-408E-A6C9-D390A52F7F96","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a99c28302e4dd8894739792255bebe5f186782f2","datavalue":{"value":{"entity-type":"item","numeric-id":3608758,"id":"Q3608758"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3608762$0463390B-4BDF-426B-A70A-075A42406F8B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"19a1026dd4f6172034494e7235e1c6afaf15c529","datavalue":{"value":{"time":"+2009-03-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3608762$6A2692CB-5D66-492A-84AD-B2F1189C9266","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3608762$5C184E0B-D7AC-49F9-8021-84C4AF3804E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5f6f2e73ebe360c69b5f99d6be8e06f538650497","datavalue":{"value":"11A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3608762$B89CD5B7-B08B-4DFC-B5C2-F87EDFF693A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3608762$40E053D8-6A52-4E4D-904F-6B3EDCC3DEFD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"86eecbc841bc17f79e17ed0cb817fd161497d3c3","datavalue":{"value":"5523765","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3608762$9B77E13B-D386-4AE9-8064-0F4BCB2890CC","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ee80fa482e8c030191fc3263e069d0dc0cdf7815","datavalue":{"value":{"entity-type":"item","numeric-id":18672,"id":"Q18672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3608762$BBC65C0A-889D-417A-8962-C9BBC91BE9CE","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":"Q3608762$6E03BD0C-E3AD-4285-86D0-E8EF0E148786","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"80f01316a36a55bc8f0cb1eb6de5df9a9d275e78","datavalue":{"value":"https://doi.org/10.1007/978-3-540-73595-3_5","type":"string"},"datatype":"url"},"type":"statement","id":"Q3608762$6C44171F-61B6-4794-88AE-0EF766B4D034","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7d121ce2bb2cc3ca9153c13edf3f95726cbb6aea","datavalue":{"value":"W2050804394","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3608762$E0A72D68-02D8-49D3-B428-44E9AA281280","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"79880f78afc173acbe09e6a0ceff77095bf92ed1","datavalue":{"value":{"entity-type":"item","numeric-id":2702494,"id":"Q2702494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5f47f0bb6a2c62294984a9e7c1e7d75a989a6f21","datavalue":{"value":{"amount":"+0.7942065000534058","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":"Q3608762$E08EDAFF-C834-44BA-A6D2-68772DE86497","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0813dfe95787ad1413f2a4848eca42d6ac901e87","datavalue":{"value":{"entity-type":"item","numeric-id":4357060,"id":"Q4357060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1ebfdf78d5e9c74d1a00a2f7da1929d82fdb156e","datavalue":{"value":{"amount":"+0.7623204588890076","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":"Q3608762$7D89234E-5305-46F2-985A-4572856E9753","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cfa5e2f930f6f1104fd31b9245654d4a423cdfac","datavalue":{"value":{"entity-type":"item","numeric-id":4008398,"id":"Q4008398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cedbf4b78f3ea1a48a9e60336e892785d51e97b7","datavalue":{"value":{"amount":"+0.7623199820518494","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":"Q3608762$2F0E58F5-1A35-4FAD-B659-3007FF55483D","rank":"normal"},{"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":"e31e912c5570874e9361488803cc61d8acf042aa","datavalue":{"value":{"amount":"+0.756148636341095","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":"Q3608762$BC9320AC-3E48-443F-8D69-58662F400AA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"816c9a0df76b51fe8c12d3110f1fabe3069a190e","datavalue":{"value":{"entity-type":"item","numeric-id":4841300,"id":"Q4841300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1d1614c164fb91a2446bb84d2354684fb280b039","datavalue":{"value":{"amount":"+0.7545772790908813","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":"Q3608762$C8D4208F-1825-4B73-B5DE-DEE5A8842E0C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3608762","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3608762"}}}}}