{"entities":{"Q4279515":{"pageid":6309116,"ns":120,"title":"Item:Q4279515","lastrevid":46304613,"modified":"2025-12-24T13:01:59Z","type":"item","id":"Q4279515","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 503194"}},"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":"Q4279515$01C1FF87-3924-4748-87C9-1DADE96792C5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"eb1eb768c144fd6e67cfd9be63bd7390c18ff670","datavalue":{"value":"0801.68099","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4279515$EFBF45B6-7EDE-47B3-9F59-27713EE267D3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8940a924cc70434cc44db4ccfd35fe33b3c08aaf","datavalue":{"value":{"entity-type":"item","numeric-id":171462,"id":"Q171462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4279515$1382241A-38D9-46E4-9CA9-65F3E865FB1B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"35f07f26077989a46e074a3e6621ef2f811b12d9","datavalue":{"value":{"time":"+1994-11-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4279515$681783C4-7C4A-4908-B0D1-B1F752266D99","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4279515$9FD13D6A-1309-4C81-BCA2-8C9FA7D2C9F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d8724ac1f861fd4485a474d1844744a1ace24834","datavalue":{"value":"03-04","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4279515$20851E9C-2F6F-40C9-A8E3-F0A969E623B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b65efe51b183d0f4a672427b8171cd1e14211cba","datavalue":{"value":"68W15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4279515$117F1D19-104F-4850-A6A7-30BB2786A2A6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ca34b1490b8c8d5f956ce300e906556544fc1bc0","datavalue":{"value":"503194","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4279515$537B6D64-53F4-4D52-A66A-05556870CB3A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"190a4a5b0277a8111e8f9e694e5b7cb94c95d631","datavalue":{"value":"partial cylindrical algebraic decomposition","type":"string"},"datatype":"string"},"type":"statement","id":"Q4279515$BC74E140-02AF-4937-A968-97D00F28680D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c1c23325f4773057675b07531fc457f23db4d931","datavalue":{"value":"quantifier elimination algorithm over the reals","type":"string"},"datatype":"string"},"type":"statement","id":"Q4279515$BCA59215-8EA6-4F56-BC04-A19F94802762","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"3c22b4e6c24037f313b1837c22cc6ae0308a77c7","datavalue":{"value":{"entity-type":"item","numeric-id":13503,"id":"Q13503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4279515$2D0EFAB4-8375-4C03-BB90-2D49EF624B3A","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":"Q4279515$62896E29-0EAB-4575-A2F4-AF416F7C60F4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a9b28dc28639af347bd9fe259407cf2dca7f4761","datavalue":{"value":{"entity-type":"item","numeric-id":4232480,"id":"Q4232480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a9f64798f3109fa7aa47b8a0522193d2cc645da5","datavalue":{"value":{"amount":"+0.8487630486488342","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":"Q4279515$28487054-EED0-4315-ACD7-BEE05ED6124F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e52e8bc51ea1f4615e2392167acb0348fe7eda2d","datavalue":{"value":{"entity-type":"item","numeric-id":1186711,"id":"Q1186711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e991d30d58b724377c44119025d09016fc200acf","datavalue":{"value":{"amount":"+0.7754855155944824","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":"Q4279515$C5832E49-33F6-45A4-89FB-0AA4DAE071D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"07680617165d481d26e49c7155b616ac0611bc59","datavalue":{"value":{"entity-type":"item","numeric-id":752692,"id":"Q752692"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"147518522c52cefee26d36c503d426fe637f5d1f","datavalue":{"value":{"amount":"+0.7681322693824768","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":"Q4279515$DF496E8F-7601-4C4C-8C1B-051881CF0EB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fe8093a7e2ed8b47b62195846e4a1407eb5c8ff2","datavalue":{"value":{"entity-type":"item","numeric-id":1355986,"id":"Q1355986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"934443a6500676c1e65677e28f231775b206bbe5","datavalue":{"value":{"amount":"+0.7557043433189392","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":"Q4279515$265DD9BE-78BF-4C82-8E71-00F4ADC5B14F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4279515","badges":[]}}}}}