{"entities":{"Q5747804":{"pageid":7777355,"ns":120,"title":"Item:Q5747804","lastrevid":51080534,"modified":"2026-01-16T13:42:03Z","type":"item","id":"Q5747804","labels":{"en":{"language":"en","value":"The SARAG library: some algorithms in real algebraic geometry"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5785497"}},"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":"Q5747804$49B6F1C5-5595-4C41-A66A-1367D1FCC43B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d8bb506f739b08cc0da1e20eba735c01de0e1376","datavalue":{"value":{"text":"The SARAG Library: Some Algorithms in Real Algebraic Geometry","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5747804$DA3A276A-DFF9-4FB6-8644-A016BA06AD03","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9a9667803a79eba7669c3296a1a4acbdd7a92bf5","datavalue":{"value":"1230.14002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5747804$F521846F-C825-4663-985E-FB0298B8A0B5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1d521b349e0fe72408f179d0c55558ce58d81090","datavalue":{"value":"10.1007/11832225_11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5747804$D3751B19-E171-412C-951C-B6041ADA0D59","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"12b946de8cfcce4f56a0efcff01a8d40a5c43f26","datavalue":{"value":{"entity-type":"item","numeric-id":633079,"id":"Q633079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747804$F6A21870-1B85-4CC3-8C2F-A74F6EA8053E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747804$3808E050-7611-4021-8E17-90337B9DF5DA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5f7d3744053f89b932df935693d4d726597e5f91","datavalue":{"value":{"time":"+2010-09-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5747804$4154B262-A18F-46EB-98BB-7F6B7D686136","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2d4b1ab32d1aa73a8d63da3a6ffaf30d190a47f5","datavalue":{"value":"14-04","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5747804$41620864-43F5-459C-9331-0A04F790A786","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"31896422e6d8800b21693e23b11279a404743c5b","datavalue":{"value":"14P99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5747804$4CA3B485-1378-4E41-934D-DD5F8BA45B91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5747804$ED0F6E40-BA68-47DF-BE2D-62E2A615ABF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"280a65d907047d5094769e55a4a308fa043f2982","datavalue":{"value":"68-04","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5747804$92AA4648-A62B-41ED-B80E-B029198D894A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cfeaad0862a23378a3c738963be2d25d4928c7a1","datavalue":{"value":"12-04","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5747804$61DB6A0F-B104-428D-9DD0-67B96B9BC24C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4118cc233e99706e2afa8a8ec853cae6e29152af","datavalue":{"value":"5785497","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5747804$FD4C1E71-2D44-498F-8BF2-60CDA7CF971C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fd5f2e1e55e82b6b99ff272fdf60a27dc0ca3024","datavalue":{"value":"\\texttt{Maxima} computer algebra system","type":"string"},"datatype":"string"},"type":"statement","id":"Q5747804$3D661A48-7A63-4B93-AD56-6199BC6B2847","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6d043ea46c84cb50499769206e413db3918d0fa3","datavalue":{"value":"\\texttt{SARAG} library","type":"string"},"datatype":"string"},"type":"statement","id":"Q5747804$E056B853-64D6-4150-A18D-F4FC81E2A29E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"50f6d18e0d2f9a84151fc489091645b45b1f67fa","datavalue":{"value":"algorithms over real closed fields","type":"string"},"datatype":"string"},"type":"statement","id":"Q5747804$F58954FE-C707-4D44-84EC-9B22F35719FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe21e34ed93a7416a4de02a111e714078335fe05","datavalue":{"value":"real root counting of univariate polynomials","type":"string"},"datatype":"string"},"type":"statement","id":"Q5747804$B67D8393-3279-412B-873D-F74248402FBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"31cb3726664e1579de6de5700f6b073bc17893a2","datavalue":{"value":"real root isolation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5747804$493191AE-2D1D-4589-846D-3789850E1E0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7a10c873fa78bbf88a8147ae0268c5906643f66d","datavalue":{"value":"sign determination","type":"string"},"datatype":"string"},"type":"statement","id":"Q5747804$979CABF8-F7E0-4DDF-A172-A0247273E5EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"43d36f87af734358a5d9d4299729db65c8e59e09","datavalue":{"value":"decision of topology of real plane curve over Archimedean real closed field","type":"string"},"datatype":"string"},"type":"statement","id":"Q5747804$613C105D-E53E-41AF-B882-AF4C2837EBEA","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"3b303010a4320056546886ac7376fe3a3f6cfd7c","datavalue":{"value":{"entity-type":"item","numeric-id":19758,"id":"Q19758"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747804$AF2C1AB8-5463-4FFA-B44D-C6B90B52DDDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"dc9d0806f0b5ec51d591843e253f795fa06ed0fa","datavalue":{"value":{"entity-type":"item","numeric-id":13315,"id":"Q13315"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747804$028022DB-7C24-436A-B9C4-2F198682B91B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ad652e0dcacba38c62b8a656036ffec6680d7932","datavalue":{"value":{"entity-type":"item","numeric-id":16372,"id":"Q16372"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747804$0F413D7F-B536-401B-9107-82CF706CD65B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"dd7f0abef058f8eae97be2e317c30210cbb29e90","datavalue":{"value":{"entity-type":"item","numeric-id":13081,"id":"Q13081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747804$1CC4414E-B9AB-41F2-AE15-FB055E01CFE5","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":"Q5747804$9F9EA5A0-FBD6-4557-99B4-28080D458DC4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d0d7dfc6c27a0d3cdd90e3e3397ac128840b7958","datavalue":{"value":"https://doi.org/10.1007/11832225_11","type":"string"},"datatype":"url"},"type":"statement","id":"Q5747804$ACB93BDE-F72D-4120-B471-96CD80291985","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c1e5c358b2cd1590db4bb0c30052181ed3fc42bc","datavalue":{"value":"W1576980141","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5747804$03D70940-8A03-431A-9B84-3CD47CF5394E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"18d2f19970ba17cac8e78ce5def084756938cb75","datavalue":{"value":{"entity-type":"item","numeric-id":2200311,"id":"Q2200311"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a4f49254c6c9133f6db132c293ac3d738f511efd","datavalue":{"value":{"amount":"+0.774502158164978","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":"Q5747804$9A168429-7081-4EF9-AAE1-8A4A0D22CA9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2accd5793a4eb8f656ced3f8549c867e3547d1eb","datavalue":{"value":{"entity-type":"item","numeric-id":5906950,"id":"Q5906950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"41d26c4d8ef90b02a227be6609359c72049bdfc2","datavalue":{"value":{"amount":"+0.7744443416595459","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":"Q5747804$D2F58CC8-9644-4CDC-A60E-9ADF41C1311D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1573b0908673e88c60037e13d9412d492432aa7a","datavalue":{"value":{"entity-type":"item","numeric-id":1878487,"id":"Q1878487"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3b2623474df1244bedf4cd48beef4d06a0711d51","datavalue":{"value":{"amount":"+0.7694119811058044","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":"Q5747804$02E07004-28EB-4AFD-906C-7E015B4CCDC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b2dd6077d72e15f33c051b5d01a989522302bb60","datavalue":{"value":{"entity-type":"item","numeric-id":4717962,"id":"Q4717962"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"62e2a63564c4e4676712295f72a62287e9a148e3","datavalue":{"value":{"amount":"+0.7683241963386536","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":"Q5747804$B0094BAE-8C1C-4482-94B5-48CB767C9968","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"76750901b3826296374eeaa00d735bbfc931f53b","datavalue":{"value":{"entity-type":"item","numeric-id":4843072,"id":"Q4843072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"62e2a63564c4e4676712295f72a62287e9a148e3","datavalue":{"value":{"amount":"+0.7683241963386536","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":"Q5747804$D7D181F5-B78A-4E9B-A6E8-A29B296DC8BB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5747804","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5747804"}}}}}