{"entities":{"Q4928438":{"pageid":6958020,"ns":120,"title":"Item:Q4928438","lastrevid":51744710,"modified":"2026-01-19T19:37:22Z","type":"item","id":"Q4928438","labels":{"en":{"language":"en","value":"A symbiosis of interval constraint propagation and cylindrical algebraic decomposition"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6176209"}},"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":"Q4928438$FCC98BB3-65FC-4C2A-B099-B278EAF77E1E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"de7fa38a6e644b37c0205e1ef9a459929bb75448","datavalue":{"value":{"text":"A Symbiosis of Interval Constraint Propagation and Cylindrical Algebraic Decomposition","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4928438$0EC0DB36-5107-4E04-8374-06601D4A995B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7247dba3909854d97d89e5cc6b8254ada2f2ae6c","datavalue":{"value":"1381.68274","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4928438$B756F187-FF78-4233-9E8E-A679339D25CC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"242a5c1cd7a4e9dc7457084c23d3e2be15f1dd76","datavalue":{"value":"10.1007/978-3-642-38574-2_13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4928438$AD26270C-21E1-44EA-A8D1-34DBFCE4ECAA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c3c8095edd5b6c346f34bdb0a692c1b25a0c6e86","datavalue":{"value":{"entity-type":"item","numeric-id":2850014,"id":"Q2850014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4928438$06409317-7E9E-40DD-A48D-39F9B332E71C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"01637dd5f7d9fc80354f3ae5daed59d9d853a8f5","datavalue":{"value":{"entity-type":"item","numeric-id":3172886,"id":"Q3172886"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4928438$15592E87-879C-4778-AC9D-5A26BDF60C14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9b75d4fd8eb91fb0a20d24b8ee902b5790b7955e","datavalue":{"value":{"entity-type":"item","numeric-id":2830008,"id":"Q2830008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4928438$FECE1118-8EBF-48B7-AEBE-4C9020FC49C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"03595cd73b96d5b235024b2e19a251d81caed080","datavalue":{"value":{"entity-type":"item","numeric-id":402123,"id":"Q402123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4928438$E4F6903D-D6E1-4871-B8E8-00FE1DD4692A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0db1c1d4758cc84ba91e5181bfa794ba378ebc68","datavalue":{"value":{"entity-type":"item","numeric-id":402124,"id":"Q402124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4928438$B55C6573-E3B5-45B3-A376-8FF7243D06EE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"feba868a8cb9ecfadec66d8e8a91d447de952529","datavalue":{"value":{"entity-type":"item","numeric-id":4928424,"id":"Q4928424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4928438$962F7CB2-0B18-41A7-A34D-D9D1C60E68FA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b84d2a34981f1c1a0d0fb543ea5aabc14a21194b","datavalue":{"value":{"time":"+2013-06-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":"Q4928438$24EC20E3-8AE9-4C50-9D23-40F33F5F244E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4928438$53220F32-19BA-4C46-8621-A82E85905E62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4928438$264D46C1-BE06-4A14-AA9D-59A0C748132F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4928438$ACAE2ACF-05F7-4DA9-87C7-417FBA1469A3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2fe3e838398608d0d6184a0ee9ff1b2f760e54ad","datavalue":{"value":"6176209","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4928438$5CAD0EBC-BAD4-43EF-AD5A-D4A775BC78C9","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f36c289de0deb56621026c80c50ae44808afb8d9","datavalue":{"value":{"entity-type":"item","numeric-id":18776,"id":"Q18776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4928438$376F930B-A419-4B55-84B7-0DF5DB7F3057","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":"Q4928438$5085DDE9-58C6-4350-BF33-AE448AE49253","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"cdd3c20590158934263deba32b3946c6e9312dc0","datavalue":{"value":"https://doi.org/10.1007/978-3-642-38574-2_13","type":"string"},"datatype":"url"},"type":"statement","id":"Q4928438$CE7469E2-DA40-4FF0-B5F1-437019D179C7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f8cf8f398956b108075ad5bdf88b86431f1d1249","datavalue":{"value":"W54563301","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4928438$67B7D8FD-AFF0-4A5B-9487-9B0F04FD5263","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6508cf40b7cf275cab988ad20820ed2165d3b68d","datavalue":{"value":{"entity-type":"item","numeric-id":1996869,"id":"Q1996869"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bbd6c974138b69c06db4f0e666d6252c02bb93a3","datavalue":{"value":{"amount":"+0.8120859265327454","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":"Q4928438$B775A26C-1964-4054-B607-D62DBFF60458","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7de94fdb67b3ec18a4a9afac48a95b409770048b","datavalue":{"value":{"entity-type":"item","numeric-id":2908506,"id":"Q2908506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dbcae63207dc8ec22423d241919a768c8d7fedd3","datavalue":{"value":{"amount":"+0.7818872332572937","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":"Q4928438$97C8F7AD-3567-4FBC-BEAA-F9BB72AE4D52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"763fb43e406e4323d20c6f39aa5aa032f7c394c8","datavalue":{"value":{"entity-type":"item","numeric-id":2307621,"id":"Q2307621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"39d3f30e93c4c86b09b8eaa711547519073681cc","datavalue":{"value":{"amount":"+0.7812957763671875","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":"Q4928438$7359B903-D5CA-44C9-8BA6-F6722136289D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d1befdcaeb9e87306693f923121950d30de6c627","datavalue":{"value":{"entity-type":"item","numeric-id":518407,"id":"Q518407"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cf293d773e5d11066d2fcb25edab97553f71b094","datavalue":{"value":{"amount":"+0.7629842758178711","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":"Q4928438$84607A9D-5220-4A80-850C-96E7DC7BEDA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eb0fa0e9d7cfc1e1dccad29cb947f41f9489de3a","datavalue":{"value":{"entity-type":"item","numeric-id":5394581,"id":"Q5394581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cc28e437dc64967b1069e62484e545de208a451e","datavalue":{"value":{"amount":"+0.756640613079071","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":"Q4928438$71C0F6A0-FE4E-4C53-8D55-8F70E4C5B9CF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4928438","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4928438"}}}}}