{"entities":{"Q3126572":{"pageid":3137288,"ns":120,"title":"Item:Q3126572","lastrevid":45504001,"modified":"2025-12-09T18:37:18Z","type":"item","id":"Q3126572","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 994741"}},"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":"Q3126572$405255EF-FE06-4851-BC6F-D608730E4FAF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c995470dc064719f707f9693dcc356b98f121bae","datavalue":{"value":"0866.68110","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3126572$127218AC-667F-4C0F-8DF0-EE3B6D05B3CF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fb9ec420612a063f059cbe6ea0649d56ebd8db08","datavalue":{"value":{"entity-type":"item","numeric-id":242601,"id":"Q242601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3126572$28E4B938-F0F0-44A9-AB54-9993B3F416FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"629b2bbc2e7d5238e546439edac9cc4a1c3c9f0f","datavalue":{"value":{"entity-type":"item","numeric-id":242602,"id":"Q242602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3126572$D456A773-033B-4F6D-9F09-DA22D71AC153","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fcd7e9b932404b2d7437eb9b0338fa4972f62585","datavalue":{"value":{"time":"+1997-07-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":"Q3126572$E801A5D6-260C-42BE-8579-A1751233401A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"159426a5937e62cfbbcc198dd4848ab52d6e715e","datavalue":{"value":"68U05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3126572$CE2CFFC1-0427-4DA1-90AD-00BD813A1FB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3126572$E5EE8DB4-D02E-4EEF-9948-300F606141CD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d793d350170ef349ba586fc2f00d0094b18a05d8","datavalue":{"value":"994741","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3126572$4BBA6A72-1167-466F-9CC5-F62D07C19574","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6ab3abe25afe02748eb31a714dcf00eade3f91f8","datavalue":{"value":"mechanical geometry theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q3126572$B48A8132-AA32-4FC4-99B1-6B24A581EC4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"668ae909f3650f1a8f2ee97502b7814304133a91","datavalue":{"value":"characteristic set","type":"string"},"datatype":"string"},"type":"statement","id":"Q3126572$175FDE86-CA06-4C43-9D43-C1088067B573","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bae09195fd611bccf15c25e209f2742706bae66d","datavalue":{"value":"Gr\u00f6bner basis","type":"string"},"datatype":"string"},"type":"statement","id":"Q3126572$462733FF-91CA-4C33-BD34-52C72DC68F87","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":"Q3126572$1F51C232-20D0-4F24-946E-B6FE43E56CF9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0f7b60e1605e7f42178b8d7d7d5e757e69e556cd","datavalue":{"value":{"entity-type":"item","numeric-id":1855223,"id":"Q1855223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4d955118d82e88ab04b9db28e2fbf26a2a8775f9","datavalue":{"value":{"amount":"+0.9159111","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":"Q3126572$15F629E6-891E-4E1F-ADD8-952DC01FAB4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"997addbd2775ef980a0e8bbcd8a2eb7bc13d305c","datavalue":{"value":{"entity-type":"item","numeric-id":4012180,"id":"Q4012180"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8b51c34076d5452efe3b0ee6feb15b4f56acd74b","datavalue":{"value":{"amount":"+0.9107214","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":"Q3126572$A9FEE722-CBA8-48B5-B681-4C291891EDA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3b3edca2a20a77469c98ea451e3f79012c73bc94","datavalue":{"value":{"entity-type":"item","numeric-id":4946080,"id":"Q4946080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3d2a0b19cd473ce09f3a50a428b0fdf09dc4c632","datavalue":{"value":{"amount":"+0.9048726","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":"Q3126572$F645DED1-31FC-4381-9D97-0E3DCF52AA7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f686f34edc75d708271d57b58f4658b048b7c1e7","datavalue":{"value":{"entity-type":"item","numeric-id":3331266,"id":"Q3331266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"09b9eb87abd65d55e2c70efa048f4d92c6579250","datavalue":{"value":{"amount":"+0.9017126","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":"Q3126572$0EECFF8D-F4F8-44F5-AC3E-4E2DB9BCB7F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"471931a0e4f9bdfc0ece4ffdaf674932d3c4a80f","datavalue":{"value":{"entity-type":"item","numeric-id":5082244,"id":"Q5082244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4800bc8ef13a4ce6287b76a59a2c843662ac6ef3","datavalue":{"value":{"amount":"+0.89794207","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":"Q3126572$4245B452-E546-4D66-86A1-9A8AF46009CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b9c90de8ecea0b6a750ab61d8be00eabb80de99b","datavalue":{"value":{"entity-type":"item","numeric-id":4845369,"id":"Q4845369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d9ef413f9a3fbea211706a1ee6ab3e7a511bb7e5","datavalue":{"value":{"amount":"+0.8955439","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":"Q3126572$70887BF4-8F18-4E7F-A210-0D28BB97EAF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"42f770ce6f186528ff818568a69bf1e9b73d84ee","datavalue":{"value":{"entity-type":"item","numeric-id":4003863,"id":"Q4003863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c48203fae8702eee7958255282bd796c10f926fa","datavalue":{"value":{"amount":"+0.89504147","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":"Q3126572$50ECB773-7F15-4608-BB20-19E480F2D456","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6fa36f7fe09e5a0b270e1d75ef08b096ac968f39","datavalue":{"value":{"entity-type":"item","numeric-id":2361073,"id":"Q2361073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"61c9a79b1b1be2ffec78508b3761cb9850e27a62","datavalue":{"value":{"amount":"+0.8932208","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":"Q3126572$37914670-DB83-4DCF-962A-B7F4719D6686","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"040314b9abfa2dbff652ccea346890d31b7decf5","datavalue":{"value":{"entity-type":"item","numeric-id":5292191,"id":"Q5292191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1daa4d896eba8c67133baa2d9688739434120846","datavalue":{"value":{"amount":"+0.891881","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":"Q3126572$07694D40-DB7B-4CE6-B84E-64D986B15A98","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3126572","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3126572"}}}}}