{"entities":{"Q6535528":{"pageid":14146671,"ns":120,"title":"Item:Q6535528","lastrevid":57343800,"modified":"2026-03-30T14:05:05Z","type":"item","id":"Q6535528","labels":{"en":{"language":"en","value":"Fast approximations of quantifier elimination"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7787548"}},"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":"Q6535528$DCAD1EA1-570B-4FBC-9AA7-F7CE8E965094","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"891080d014d801b131550be6569a92ce5d05b5a5","datavalue":{"value":{"text":"Fast approximations of quantifier elimination","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6535528$29887BD6-31FF-4AF4-894B-3E48AE9FD129","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9cf50d65ab0a2ef05bd88c8aacc0e744117d89ef","datavalue":{"value":"1545.68136","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535528$16B56081-C586-459F-B6BC-324523B2DEE6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b67c7695cd31728c1fce62b515ce4707b9c81744","datavalue":{"value":"10.1007/978-3-031-37703-7_4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535528$2F845BF7-C707-4626-BB74-03BBB66E156B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"91ad0640b381063880ef2051bf9aeeeb65f0aad0","datavalue":{"value":{"entity-type":"item","numeric-id":4593053,"id":"Q4593053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535528$2F52C66D-D064-4D2E-AC03-37D315E64474","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a7c9f00629d543afe6ab49f6fb8f97b0240acedf","datavalue":{"value":{"entity-type":"item","numeric-id":1680248,"id":"Q1680248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535528$04AD3F7D-C6E5-4EF3-99AA-D3C325E94C47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cec177c60e5a5e06c4135c2d656205cdaac4e3ae","datavalue":{"value":{"entity-type":"item","numeric-id":259064,"id":"Q259064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535528$BD2491AA-C407-47DF-8795-CDE1E8075503","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"697eb087dc816293f4ade2b72dca7f3d4888f3b9","datavalue":{"value":{"entity-type":"item","numeric-id":246144,"id":"Q246144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535528$914F8F3A-870E-4B07-9FDA-C180BF2F28B2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"40fd68081729c6be8998aaadacd681a24ffbfcb3","datavalue":{"value":{"time":"+2024-01-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":"Q6535528$807AAEAC-0949-4318-A6F7-57873EA5D3F2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535528$9850A82E-CD86-4503-A2C0-E78AB5BE3224","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535528$B62245F2-5589-4E22-A90F-528E15BA658C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"176e47af9f9e7cf4ebff07fc1f9e4f94a83134c1","datavalue":{"value":"03C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535528$EEC9ECD3-4317-44F2-A2A7-6F79C92BA5B3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"28ae4c60a9b7a5d53aadb635433da350956a32f9","datavalue":{"value":"7787548","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535528$3B2DD3BE-D730-4A64-B1C8-2EC2F02ED948","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":"Q6535528$CE26F425-47AD-4CA5-99E6-E1CB97393001","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a5f7ec14119349332290c2a3236ae73e2231fc2","datavalue":{"value":{"entity-type":"item","numeric-id":3176369,"id":"Q3176369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535528$2222635E-D21F-4911-9C1F-FB552719A5D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"88b4b311763f66db187692c242b6954d5589ac66","datavalue":{"value":{"entity-type":"item","numeric-id":5711488,"id":"Q5711488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535528$BCEC36C2-ECC0-4758-A1A2-35AB9E87EB04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1daf6c1b27d4e2241acccb436e068cfc4f24ffff","datavalue":{"value":{"entity-type":"item","numeric-id":3546294,"id":"Q3546294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535528$FEBEE908-CACA-4AD5-BFF2-A8DAFE2DE808","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5bbf43fe8ce1d724a6507d2551b95fa071ea15a8","datavalue":{"value":{"entity-type":"item","numeric-id":2796038,"id":"Q2796038"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535528$30A9AAE9-F122-4164-BC1D-D061E6C48163","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f763f8883b47ea91c05cf921ac5570ce83dd6ad0","datavalue":{"value":{"entity-type":"item","numeric-id":5465863,"id":"Q5465863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535528$4F71CC41-CEE0-41A3-B603-E6E8786B7BA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f1060c39f6c78c6c906f6922c72b026efa0999e0","datavalue":{"value":{"entity-type":"item","numeric-id":518396,"id":"Q518396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535528$87C6EA2D-C05F-4CBC-A801-9DC1607FF3FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce7b2dd2863358cf2a528999ec6b006fdf400b99","datavalue":{"value":{"entity-type":"item","numeric-id":3899468,"id":"Q3899468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535528$019D869A-F70A-416B-9029-429D5EAE8EEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a8c0576a80ea35320dc73ac026073f8b09422c10","datavalue":{"value":{"entity-type":"item","numeric-id":5261523,"id":"Q5261523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535528$D7750BD4-FA00-46D5-A16E-F3442F613B39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"94c41224f0ad24421ded30ccf2d5610e86ab6ac1","datavalue":{"value":{"entity-type":"item","numeric-id":3003313,"id":"Q3003313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535528$99898B3F-F3C5-47FA-898C-F70B99656456","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1488344e517f490998946113a8b27a39e41b9289","datavalue":{"value":{"entity-type":"item","numeric-id":5505558,"id":"Q5505558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2cb1b50b20df55836ff3e69131f08cc11b796456","datavalue":{"value":{"amount":"+0.7386631369590759","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":"Q6535528$922C446B-6892-4500-8030-86991416D75E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"07dcdf6c64a75f52c3346e883ec6bc39c4fbcbce","datavalue":{"value":{"entity-type":"item","numeric-id":5175308,"id":"Q5175308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"323cb688667a2bc5802c454aaa541c55708aa82a","datavalue":{"value":{"amount":"+0.737205982208252","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":"Q6535528$B9469AA0-F841-433E-B06A-ADCD82336FB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"195b236587bd1e8b8efb474295b3f55fa218f556","datavalue":{"value":{"entity-type":"item","numeric-id":2879138,"id":"Q2879138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fd6fa466bf44012312edddef9ebb30d108c3ae49","datavalue":{"value":{"amount":"+0.7326838970184326","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":"Q6535528$6D1C4584-1B83-40FF-99E5-67BA16CC1EAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b89eb090975b6463ec6771845be69bd1293bd25b","datavalue":{"value":{"entity-type":"item","numeric-id":5747770,"id":"Q5747770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"da025e8b20589776f2a2dbdafe078a9777adb530","datavalue":{"value":{"amount":"+0.7325630187988281","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":"Q6535528$8722AD4E-C331-4C8E-9EFA-FF5631A47B50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"42cc4a40b5e1aa620fcd929946a911a45f26e6b7","datavalue":{"value":{"entity-type":"item","numeric-id":3454748,"id":"Q3454748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"892747477a63b7084ca9a07b4d1fe859dbe4302e","datavalue":{"value":{"amount":"+0.7295019030570984","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":"Q6535528$73492F84-8331-4C17-B7D4-93E58662023E","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535528$5A472A33-CF25-4D94-8DD6-52FCC695ACF4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6535528","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6535528"}}}}}