{"entities":{"Q1701040":{"pageid":1711781,"ns":120,"title":"Item:Q1701040","lastrevid":68169756,"modified":"2026-04-12T21:53:56Z","type":"item","id":"Q1701040","labels":{"en":{"language":"en","value":"Automated reducible geometric theorem proving and discovery by Gr\u00f6bner basis method"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6842148"}},"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":"Q1701040$EAC66477-6499-40C5-BABA-20A2629419F6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"081e00dacaa523b1944074f1add095a8019ec649","datavalue":{"value":{"text":"Automated reducible geometric theorem proving and discovery by Gr\u00f6bner basis method","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1701040$F47D3572-7751-4B37-BD70-494448701F5B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5e42ecf8871b13ec2a7daf17dfac11511744a87b","datavalue":{"value":"1425.68383","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1701040$86FE3266-273F-48E9-B703-686CCA3534BD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"de4b2f011cb5d4d7be470fb7d56b94bb5c1bf3ca","datavalue":{"value":{"entity-type":"item","numeric-id":283634,"id":"Q283634"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1701040$49F0D7D0-0C2B-468E-90A4-A1463C7196CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"394e19da42dd7ab336207071aa9aaab498241766","datavalue":{"value":{"entity-type":"item","numeric-id":301015,"id":"Q301015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1701040$2C59C81C-5EFE-4F62-8E9B-AD68A2483C73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2827f69f6a53ca24980e284b4b44ab25eb588340","datavalue":{"value":{"entity-type":"item","numeric-id":1895165,"id":"Q1895165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1701040$AFFD29C7-07ED-4F15-8CF6-C828ADAA991A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b84cc8b5923f45dc86ae69f67f68bf56d7ecfce9","datavalue":{"value":{"entity-type":"item","numeric-id":174771,"id":"Q174771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1701040$78DE0CAB-594F-4E9B-A429-6381F0089893","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4c98dc438f41659f2d190c3ff2966dca049d17da","datavalue":{"value":{"time":"+2018-02-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1701040$C52F06AF-846A-4072-9CE8-94211A83354F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1701040$E8C42C88-C9A3-41D5-944B-EEA8EDBB6C10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1701040$10133493-3189-496D-8C87-BE886DB286B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"173b0c3afec7c4f9f987722665cc7bdb6b8f5813","datavalue":{"value":"13P10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1701040$87F0C5AA-A15D-4E90-89EC-0187F4FFDDF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b143b79160ecbd84018a9432f7528f4f2e56eb50","datavalue":{"value":"51M04","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1701040$432652C8-D15A-4337-8857-7FFD31EFBCDD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a40a5349e58bbdbb2856e90589614ab13642d977","datavalue":{"value":"6842148","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1701040$B812528B-92EE-4D1C-9327-E799C4B05F18","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6783b4465da096e2b20e93facc93d88aee7c4b0f","datavalue":{"value":"zero divisor","type":"string"},"datatype":"string"},"type":"statement","id":"Q1701040$98A00E48-14B1-48D8-8E54-A16BD87101A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bdb523050aa75eec8c94e3252c91c4bbba8fae09","datavalue":{"value":"true on components","type":"string"},"datatype":"string"},"type":"statement","id":"Q1701040$E0A1B1F2-CB93-43E2-A36E-AEE12F104DE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bae09195fd611bccf15c25e209f2742706bae66d","datavalue":{"value":"Gr\u00f6bner basis","type":"string"},"datatype":"string"},"type":"statement","id":"Q1701040$071BAB67-9194-47DC-A2BB-29E7FF94DFB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ca129ce76b2a8d1c22f51ef4e8ee73c3678863e","datavalue":{"value":"geometric theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q1701040$3D8AE8AB-B059-4DC2-AC52-567E46F7A896","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"19a73ab4107701c71b0d4da9e1c1ca20b7d21f5c","datavalue":{"value":"geometric theorem discovery","type":"string"},"datatype":"string"},"type":"statement","id":"Q1701040$3C5CCA77-F556-4263-8942-BC24A3023DFC","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"89db137cec90f8abdbabbfea3a6c6d56528b960a","datavalue":{"value":{"entity-type":"item","numeric-id":13458,"id":"Q13458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1701040$D7EAF38B-B526-4E03-9A37-5BF917F3EE9C","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":"Q1701040$92E7C2CD-9BBF-4BB2-BA93-0D5BFC5A2C84","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"84628c99565b366225e324e817a3d56bf26d9e41","datavalue":{"value":"https://doi.org/10.1007/s10817-016-9395-z","type":"string"},"datatype":"url"},"type":"statement","id":"Q1701040$2870D5F8-E882-4656-84BB-6C0E65149099","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4dfa6919d5853f1d11f8f543ba3f0544a677355c","datavalue":{"value":"W2551115919","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1701040$2937F421-E244-416A-8AB4-7A814385E594","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"61d81add882687483fd918df0010fcaf5b17ef28","datavalue":{"value":{"entity-type":"item","numeric-id":846167,"id":"Q846167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1701040$78A1C350-A6E3-42E1-98F9-6F5375E83CC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"87660c9c5fdc45e0d7335aa6496613f4289eb45a","datavalue":{"value":{"entity-type":"item","numeric-id":4391214,"id":"Q4391214"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1701040$9A385454-FB5B-4965-A4CD-419C2672DFB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"813f00e49fcb12172c27504dfeecb9018f840f1f","datavalue":{"value":{"entity-type":"item","numeric-id":2651859,"id":"Q2651859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1701040$3CACF52C-54CB-4C6A-9201-7FB2D9D93C50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4277508a115054262dca54aae3f84f05d7a748d1","datavalue":{"value":{"entity-type":"item","numeric-id":4391215,"id":"Q4391215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1701040$5633A019-4F0F-4DF8-B945-7A3C9ADCA343","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d57db4d3216bc53e46ae99a268680181eb65b5a","datavalue":{"value":{"entity-type":"item","numeric-id":4153620,"id":"Q4153620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1701040$D94DFC47-1E8B-4DDC-841F-172E9CC436C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56c15d5596ad06ea9c33077147ea3f9457eecb7e","datavalue":{"value":{"entity-type":"item","numeric-id":1101257,"id":"Q1101257"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1701040$63BFE9CC-5789-4C29-A419-D92D1240E27F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"953e262a3244da8dda3464b2c191683b0afa692b","datavalue":{"value":{"entity-type":"item","numeric-id":3994509,"id":"Q3994509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1701040$69A948F8-31C2-4FF5-996A-62D106C84758","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5107dc2805878ace8909c9d9b3a5ceeaec8135f6","datavalue":{"value":{"entity-type":"item","numeric-id":1101255,"id":"Q1101255"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1701040$BDAB8671-60F7-4682-80D5-EE13C1BED09E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"027e018eef8810ffaaa3893bf67adf6d2ef52c6f","datavalue":{"value":{"entity-type":"item","numeric-id":1094149,"id":"Q1094149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1701040$4DC88B79-83DC-4CD2-B068-5892989F9DBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"355a6dee4cf2373d18dad360831d6ff9802813dc","datavalue":{"value":{"entity-type":"item","numeric-id":3273607,"id":"Q3273607"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1701040$7FED756C-0103-4B0F-A231-4A5081F55E02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a1b3c6224d579bc78205bdd4ccc1c8cca23ac1c","datavalue":{"value":{"entity-type":"item","numeric-id":5493318,"id":"Q5493318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1701040$E64A0D03-C0DE-40A3-8AB1-E8CC667AE305","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e2465a00ab72d72703d1edbffc3412e3c3d4677","datavalue":{"value":{"entity-type":"item","numeric-id":5453488,"id":"Q5453488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1701040$C3C4AFAD-534A-403D-9348-9D4A320BFB35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"236ff075b6336e5a62a73c551fd46afb75eb22f7","datavalue":{"value":{"entity-type":"item","numeric-id":1808565,"id":"Q1808565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1701040$5973E7CD-C7F4-4E44-ADBE-0E766E148701","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a610ceea0d0b3eb6c6f91e35e578f645aa376f4f","datavalue":{"value":{"entity-type":"item","numeric-id":5203713,"id":"Q5203713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1701040$3BE1D1C1-07CE-4B2C-9274-CF9E14FA914C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc344f73d3fa279ecc5abe0d69502a54269b540d","datavalue":{"value":{"entity-type":"item","numeric-id":1199704,"id":"Q1199704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1701040$8511D1D7-EABE-4EF2-BA27-584E06398611","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e071291676910b088d23a45c88c9c50889e14fe3","datavalue":{"value":{"entity-type":"item","numeric-id":1878492,"id":"Q1878492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1701040$BFBF031D-95B6-45A4-9B6A-191901526B58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b2e0d7b7f532a496fc39b62046307d198e66dd44","datavalue":{"value":{"entity-type":"item","numeric-id":2946517,"id":"Q2946517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1701040$1AA43EF6-A493-444E-8369-52308CA05E4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6cb19d590007445759327e0f9a05c975c2cf2683","datavalue":{"value":{"entity-type":"item","numeric-id":1599542,"id":"Q1599542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1701040$0788FC40-381E-4758-924C-FB53A4A4D716","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"599705c67b08e966df95cea5de53eaef2bb21a66","datavalue":{"value":{"entity-type":"item","numeric-id":607062,"id":"Q607062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1701040$E5F1E810-04B3-4DFD-9586-572B0BA12E21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9a31551d89e937cc3614264a6ccdf15aa2d7db5","datavalue":{"value":{"entity-type":"item","numeric-id":5301685,"id":"Q5301685"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1701040$398DBA11-4EFC-4E0E-A6B4-56564C93BB11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f3b31070bfd6a7c1a91f51971bf9bc78ff15e86","datavalue":{"value":{"entity-type":"item","numeric-id":1878493,"id":"Q1878493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1701040$CF29CB46-16AF-4783-A7DC-C2889505A6EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e632f26f4174a244020bc5bd286cc88d93be581b","datavalue":{"value":{"entity-type":"item","numeric-id":1012136,"id":"Q1012136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1701040$F5BD2108-A9BB-4217-BE50-37BFCEAD6FAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"180dcdcd70e7dd722922a02e19e8df3d14ff3abb","datavalue":{"value":{"entity-type":"item","numeric-id":3413659,"id":"Q3413659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1701040$567CC004-02C0-4925-8FA6-08C92F178673","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b52e72616ded2d6da296915bd7ea9a95aafc7680","datavalue":{"value":"10.1007/S10817-016-9395-Z","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1701040$722E1FDB-81B9-4F58-AC5C-BCEBA6C2617F","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":"964acc1a48eedc42f94116eba4b52ec60cc8d17d","datavalue":{"value":{"amount":"+0.8504143953323364","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":"Q1701040$CA821C0D-61B0-4567-B4E9-992A1CD96B13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c5de2920f592edbe5f550d8ccc7bfeeeca50aa4a","datavalue":{"value":{"entity-type":"item","numeric-id":5203713,"id":"Q5203713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3c3d12bce871b98d8d4881a2177dfe09bea2a45a","datavalue":{"value":{"amount":"+0.8041154146194458","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":"Q1701040$3CB6AAE6-4626-43EF-A1F8-BCB883ACA800","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":"27d38525e7f791f1ef3cba887807f3d1c2526135","datavalue":{"value":{"amount":"+0.8032678961753845","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":"Q1701040$874DD5D2-706B-4B92-85B8-96AB2F08600A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4f8ab7a894f20d30190c83003c877fc78269f660","datavalue":{"value":{"entity-type":"item","numeric-id":4550487,"id":"Q4550487"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"874a29babec408a6249dc6ff7b47ccc0ff65b0ba","datavalue":{"value":{"amount":"+0.7976134419441223","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":"Q1701040$76C23C78-87B0-48E6-B618-C63BC272FF27","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":"cd7ec00e8bb08c3ee0bd7a3ca9e4b7ff4370f361","datavalue":{"value":{"amount":"+0.7871826887130737","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":"Q1701040$D4079FEB-049B-4C8D-A9CE-3150ADD77442","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Automated reducible geometric theorem proving and discovery by Gr\u00f6bner basis method","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Automated_reducible_geometric_theorem_proving_and_discovery_by_Gr%C3%B6bner_basis_method"}}}}}