{"entities":{"Q4851806":{"pageid":6881386,"ns":120,"title":"Item:Q4851806","lastrevid":46341279,"modified":"2025-12-24T14:45:58Z","type":"item","id":"Q4851806","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 805101"}},"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":"Q4851806$AC5997F3-35B8-4773-ADBA-D3C67A2B18E1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4afd636fdb2e7b4b0eaeb0db988235890a4cd533","datavalue":{"value":"0831.52004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4851806$4D494DA9-2A5D-41FB-9928-07BE1CB88E6B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5bba72c8eb9eaf10ea81bf44a151e7bd722fbcaa","datavalue":{"value":{"entity-type":"item","numeric-id":1580761,"id":"Q1580761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4851806$A31ED688-5CCC-4E91-BA46-B30921DBA156","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f3d852f653188daf8a5a5bbb4b22d253c9f9cb90","datavalue":{"value":{"time":"+1995-10-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4851806$EB2A6515-6907-4D4F-893A-09CB940E6FCC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"78931806833c54190437f3675cf624ba3d256107","datavalue":{"value":"52B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4851806$B97C16AA-759D-4689-86E9-0543EE69936B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d4f0276e0c619dab9d633c8405f1bd597e78295f","datavalue":{"value":"52-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4851806$92193543-B26C-4551-889F-2083F8BA7EA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"36d142e7ea03446b1d7deb9627eedb9f0297f86a","datavalue":{"value":"90C05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4851806$C7D0EB7A-8366-4F1B-ABA7-11BDF7A2702B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"23483fcb193fd52a49909f09fe151b2057a312e1","datavalue":{"value":"805101","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4851806$08832C30-0A39-4C3F-99F3-5B9D58857EE1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66f1e294df7a5d06976a55a20b1c177f0977386c","datavalue":{"value":"Dehn-Sommerville equations","type":"string"},"datatype":"string"},"type":"statement","id":"Q4851806$3D6299E1-24D1-4E19-A22B-3EE25A172095","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8c1d0f70f95fe1bac8dd1459ed5212ba9d977ec2","datavalue":{"value":"\\(f\\)-vectors","type":"string"},"datatype":"string"},"type":"statement","id":"Q4851806$09966532-C8C6-4C12-A97C-64D12663BFD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c2f3b0d82c894e88c00a978795cca970ccc71ed0","datavalue":{"value":"flag vectors","type":"string"},"datatype":"string"},"type":"statement","id":"Q4851806$91A61216-3EB4-4EF6-B6B3-0C02DF3D597C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9d2aa687cef17cd912aad76972cec097c0540be8","datavalue":{"value":"automatic theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q4851806$1EEB49BB-B91C-48A2-AB0D-A72239C03965","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":"Q4851806$8FB48C28-5635-4DC0-BF21-AB53681C29B1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f0b1cfccb952c59a8410820f60fad8845de8b720","datavalue":{"value":{"entity-type":"item","numeric-id":1580762,"id":"Q1580762"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"751b211474d710c4985bd57f2c6d4d72285eaac5","datavalue":{"value":{"amount":"+0.831967294216156","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":"Q4851806$B080681A-B706-4FE2-A86A-22B8873F1BB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"83cff1b6f81f1866a596ffa62c0483961693db9f","datavalue":{"value":{"entity-type":"item","numeric-id":582295,"id":"Q582295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"be291b93bd3aa6d4b5a5812bb5342723f3fa19cd","datavalue":{"value":{"amount":"+0.8208603262901306","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":"Q4851806$620FA14E-9C43-4AF3-948D-A6413C25172E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0be7b0c16dafea8f80666df4eeb9adcc95b3b7bc","datavalue":{"value":{"entity-type":"item","numeric-id":3116044,"id":"Q3116044"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cf1e22cd9b2927187a648e9d3b8b8a1ab22b5455","datavalue":{"value":{"amount":"+0.8208016157150269","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":"Q4851806$18AEE477-BDE7-49C3-8989-3E73A9CCF941","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b02b5fe9bb16ab417da9ee70d95e1cbee4c1fa65","datavalue":{"value":{"entity-type":"item","numeric-id":878390,"id":"Q878390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f10ac1062a2cce143407007e58f6a95c0af0ce6a","datavalue":{"value":{"amount":"+0.8045031428337097","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":"Q4851806$35A0861C-D311-4FB3-AC3E-A1DA2663180F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4851806","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4851806"}}}}}