{"entities":{"Q4550487":{"pageid":6580079,"ns":120,"title":"Item:Q4550487","lastrevid":47972149,"modified":"2026-01-03T05:48:57Z","type":"item","id":"Q4550487","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1788245"}},"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":"Q4550487$95262B58-84FE-4D4E-82F2-B4B921DB4416","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"17c3cf193815b2da4e1f0dd3db5544afa3ac48e5","datavalue":{"value":"1002.51002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4550487$223B5975-9223-467C-AFF6-D837F8A0E70D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e39c75dbdb0e5cfa93130392340e01408549004c","datavalue":{"value":{"entity-type":"item","numeric-id":959870,"id":"Q959870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4550487$781AAD21-C760-4CF3-9947-F47DDB4C5CD7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"cd0578f1d544f2781cd188aa6601123c9a31981a","datavalue":{"value":{"time":"+2002-08-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4550487$ABC600C6-0DA4-4935-BD43-74B1C77DC8ED","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0d8912a48ac60770db1c80088e9517c70dd683cc","datavalue":{"value":"51-04","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4550487$70A2611F-752E-4E57-8645-984E9FD1587D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b143b79160ecbd84018a9432f7528f4f2e56eb50","datavalue":{"value":"51M04","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4550487$64597ED8-3C60-41B6-8EB8-EFF962EEA741","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5b3dc44be8746c3dc8f15113fa072f735fb5456d","datavalue":{"value":"1788245","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4550487$66F6B3D0-CA5C-4B3D-B7D5-FF65F48F432E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bae09195fd611bccf15c25e209f2742706bae66d","datavalue":{"value":"Gr\u00f6bner basis","type":"string"},"datatype":"string"},"type":"statement","id":"Q4550487$2417040C-DE34-49F3-A3BC-5546A1DF6C9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ca129ce76b2a8d1c22f51ef4e8ee73c3678863e","datavalue":{"value":"geometric theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q4550487$173A3C0B-C9D1-4530-830A-AB9277B0526C","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":"Q4550487$72016670-D2DA-471D-BE4F-74893E309B8B","rank":"normal"}],"P1643":[{"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":"288c70ff7dd3ab2217cf84a9acc805bc4a02f875","datavalue":{"value":{"amount":"+0.9002298712730408","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":"Q4550487$1201CDCD-F0C8-493D-8CD7-9C4A4ECE3E8C","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":"ee6323ae70094f6a8af23c9f9a8059ca19665b90","datavalue":{"value":{"amount":"+0.8687022924423218","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":"Q4550487$00F97357-83EB-449B-9E4A-F555A309B8E6","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":"81dc512d333dc421521a9902eb741747a605773c","datavalue":{"value":{"amount":"+0.853434681892395","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":"Q4550487$D522AAAC-491D-4A6D-80C0-458911842E0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1e7d2fc10ced0d9125f6ad91f7e15882a04f4899","datavalue":{"value":{"entity-type":"item","numeric-id":4807517,"id":"Q4807517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"10f6da958e90c8cd9eedd2856deb3f44e23e025f","datavalue":{"value":{"amount":"+0.8511742949485779","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":"Q4550487$D9462D68-56C3-42DF-B385-8679256A8D02","rank":"normal"},{"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":"5c6f07644fe16ac78787f1f1d9a323a54106429f","datavalue":{"value":{"amount":"+0.8351158499717712","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":"Q4550487$BDF8B0FD-5D6E-4889-AAB5-27983C01CA7F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4550487","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4550487"}}}}}