{"entities":{"Q6160909":{"pageid":13295790,"ns":120,"title":"Item:Q6160909","lastrevid":47856850,"modified":"2026-01-02T21:46:18Z","type":"item","id":"Q6160909","labels":{"en":{"language":"en","value":"Handling polynomial and transcendental functions in SMT via unconstrained optimisation and topological degree test"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7691499"}},"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":"Q6160909$4305A828-24E4-4AFE-A0EC-5E2211A73F66","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"02b1b805e327723c7c860c3aa052073718d4270b","datavalue":{"value":{"text":"Handling polynomial and transcendental functions in SMT via unconstrained optimisation and topological degree test","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6160909$40D81319-FAA7-4434-9857-18975D40B3E8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f4b7ff0899787f420ef4defe2150b2dd13d59ff4","datavalue":{"value":"1522.68716","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6160909$C02687A2-CE82-46B6-9746-FC3923031ABE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"25bb886a3cc4f9fa7d0c496543d4e6ca5b20478b","datavalue":{"value":"10.1007/978-3-031-19992-9_9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6160909$E728CFEA-5764-4B8A-8D9C-2CBA0FC6191E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"387e6ac60ed3a0144bb303179c23c53493d401d0","datavalue":{"value":{"entity-type":"item","numeric-id":329418,"id":"Q329418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6160909$8B8E4071-4CE8-40A3-B9F9-E07C9FF00636","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e97e7d65eece04188cb1a1dff66ddc09c38fbea4","datavalue":{"value":{"entity-type":"item","numeric-id":479835,"id":"Q479835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6160909$2424EDFA-D884-45DB-A2F8-22ECFD54C890","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3a059c4a96f66f9dd4b4953d0276d1e1cfa90099","datavalue":{"value":{"entity-type":"item","numeric-id":4669553,"id":"Q4669553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6160909$35F61E00-A276-4073-BABA-83B88384A992","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4fd5a076641129df5baba24779caed9dec893447","datavalue":{"value":{"entity-type":"item","numeric-id":511776,"id":"Q511776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6160909$3A0B81C7-87ED-44E0-BD7A-8C06DE092CC2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fb871d7a444106c04a08900e781eca233868e362","datavalue":{"value":{"entity-type":"item","numeric-id":3172900,"id":"Q3172900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6160909$4DD4CEE0-2508-4ED4-B8E8-23CBD4203109","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4fa95a2618f91e175d2e6cdf4f6ce4782d828b01","datavalue":{"value":{"time":"+2023-06-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6160909$FA5B9DE8-F891-4A2D-93BF-3E5D531F92D9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e4a00bc25a1f942a1d3712c7c56ae0c6a5ca5a0f","datavalue":{"value":"https://hdl.handle.net/11572/369588","type":"string"},"datatype":"url"},"type":"statement","id":"Q6160909$B24C91C2-DB87-4031-9004-0AE00DDFF74D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6160909$972AD8B8-593D-42AF-99E7-A127DF3C1D2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"94c42798c9d32eb64de019410c63dcd41ff0c58a","datavalue":{"value":"55M25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6160909$59A93A33-9030-4679-AB96-DCAC38901674","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"52de7d4bf5a27d5ad252804eec58396bb3e40c44","datavalue":{"value":"90C30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6160909$168B52B5-D57C-44D0-9A53-13569E74C853","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a4d5bdbc10ff648f743c52858cdf1948d38f4a1c","datavalue":{"value":"7691499","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6160909$7C38F547-99BF-4523-953A-8B48823A8670","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":"Q6160909$18F81A3B-CEC3-4F10-A1A7-E4AE47165F30","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"44bde76c89483031ece867696f7cf33e4133d178","datavalue":{"value":"W4312267877","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6160909$A76F9382-531F-4384-8722-33B64C1AE69A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"72afa48bd8e77d60f453be92d91a6c676802e66a","datavalue":{"value":{"entity-type":"item","numeric-id":4286593,"id":"Q4286593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6160909$8A3A98A7-0067-4B27-97D5-25012A0368F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a1c5ffd31d465a566a686c7d217db9ca46a4868d","datavalue":{"value":{"entity-type":"item","numeric-id":3549165,"id":"Q3549165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6160909$08C7B598-CB74-416B-962E-A8B3666E4C1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3739ac44abb460105202790eedea0be872db3e8","datavalue":{"value":{"entity-type":"item","numeric-id":2055849,"id":"Q2055849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6160909$106E13D8-BAE7-4B08-9FA4-319E14426F56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f1645d5977fcbb346c223f2e9f46edf7dc223d58","datavalue":{"value":{"entity-type":"item","numeric-id":4691738,"id":"Q4691738"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6160909$162A4211-3EF4-4BB2-AB01-C468A6EBE26F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21640ae8e3aa02debe92970cf2184aca918b76e5","datavalue":{"value":{"entity-type":"item","numeric-id":5326318,"id":"Q5326318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6160909$49FC5F85-946E-44EE-B79A-37344AB10DB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4d7798eba50e0ffe1e4306d4a4aa338f6be7be4","datavalue":{"value":{"entity-type":"item","numeric-id":4079605,"id":"Q4079605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6160909$3461EB6E-B151-469D-8486-1EADD7CD15C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"028b173fd504347e5ec217a7eca5bf3210ea8348","datavalue":{"value":{"entity-type":"item","numeric-id":3453240,"id":"Q3453240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6160909$354175E1-8125-4D9E-97C5-FFA220CFD20F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ddeddf292e13fd796c5c20e153357856b636f89","datavalue":{"value":{"entity-type":"item","numeric-id":2926635,"id":"Q2926635"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6160909$2D0B36B7-C6EA-485F-AEA5-6C085FCF9886","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6af018d397324baf161d5438de87facfdd8bd841","datavalue":{"value":{"entity-type":"item","numeric-id":5179223,"id":"Q5179223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6160909$641906B7-F616-4321-BD60-13D03CA0689F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a8a8f99954904936038bef6402f3271c39799f3b","datavalue":{"value":{"entity-type":"item","numeric-id":2013319,"id":"Q2013319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6160909$FF23BE47-177A-4959-936C-F8EA81DE35C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"065a2d65834e8c8b57bdda41356587a32ad9b5c2","datavalue":{"value":{"entity-type":"item","numeric-id":5457277,"id":"Q5457277"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6160909$55C8347D-086F-448B-A895-BBDF3F04E09D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"31e33f415b292b1f9feeec7aefd60bf439d08b92","datavalue":{"value":{"entity-type":"item","numeric-id":2908499,"id":"Q2908499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6160909$C2AFCF14-4E98-44D1-ADFB-A043792CE3C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe33bf4e1ec51f59c09f65752ea810761eb09a2a","datavalue":{"value":{"entity-type":"item","numeric-id":4928439,"id":"Q4928439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6160909$FB139BC7-07E1-44BD-A905-0DD34C7752D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aba04f158081d2a991ba0552d5dc2cb54e2acec4","datavalue":{"value":{"entity-type":"item","numeric-id":5252830,"id":"Q5252830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6160909$D0E85F67-0505-41D8-8070-D5080E1ABA72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f0a544f201c6283b7933810872cf2a33339cdad9","datavalue":{"value":{"entity-type":"item","numeric-id":3605131,"id":"Q3605131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6160909$67D2E33C-03EE-4FA7-B1E1-8246E891C16F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"26f37a5712688624b838b1c05d00b04b70157957","datavalue":{"value":{"entity-type":"item","numeric-id":5302142,"id":"Q5302142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6160909$D34393A8-23A5-4AD6-960C-3C7D63654A62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e0f2f095592fee9bccdcd39aaced175033fa5871","datavalue":{"value":{"entity-type":"item","numeric-id":5200816,"id":"Q5200816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6160909$C053782D-27EA-4ACC-B8D7-E9863A1A9985","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a983394f951dde69311d384c03fd345e0bbc9db","datavalue":{"value":{"entity-type":"item","numeric-id":2248097,"id":"Q2248097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6160909$F8ADE72E-FC49-4547-88E7-53676182168C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"abf8d495c451508305cdb95eaf5ba926efab7bae","datavalue":{"value":{"entity-type":"item","numeric-id":5565112,"id":"Q5565112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6160909$F856F013-0E4C-4C1F-A748-0B0FB0176A98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b49f4f7d6b91784c37c6cc02d22520c86677ca2c","datavalue":{"value":{"entity-type":"item","numeric-id":1688535,"id":"Q1688535"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6160909$6F402C7B-0687-4CA9-9F48-AA70DA33AD86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9172794cc6d13649d0166d25dee722d6acdb3f7d","datavalue":{"value":{"entity-type":"item","numeric-id":1996869,"id":"Q1996869"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6160909$343991AB-E21F-4215-A2F0-FD8044019440","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"888e7677f3647db3335d7ff9368fdfac017f8e95","datavalue":{"value":{"entity-type":"item","numeric-id":2405243,"id":"Q2405243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1728a3832f64520ac0a199fb2d9fc7508aa0dadc","datavalue":{"value":{"amount":"+0.793707013130188","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":"Q6160909$B3B65D42-DA6F-4C60-A7A2-7FCBC624B603","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e215f86533eaa3eaf49a50b0753748c44692a677","datavalue":{"value":{"entity-type":"item","numeric-id":4691738,"id":"Q4691738"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ca3bb96f8824b5bb7da8d7bfae820bd9d2db43a6","datavalue":{"value":{"amount":"+0.7814078330993652","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":"Q6160909$1A64CD9E-2E80-4CCF-9D4E-0665B49B5CF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0679dd9b0232c16c71a91909f6fd92440626fc47","datavalue":{"value":{"entity-type":"item","numeric-id":4928439,"id":"Q4928439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"45daf08de8f113d4d1e50d2babc76fcc28bab45d","datavalue":{"value":{"amount":"+0.7567358016967773","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":"Q6160909$DA8B996F-AD5A-43F3-B3E0-148B26318305","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bcf6f0dbeb8147d2364ad7c7f8a2579346e83480","datavalue":{"value":{"entity-type":"item","numeric-id":1687555,"id":"Q1687555"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"469e792dd416397ec4f5f6062c2692637fbb6def","datavalue":{"value":{"amount":"+0.730139970779419","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":"Q6160909$0F6EA15D-5E7E-4029-B2F4-2C0181F0C6C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ee3c1750c9463042ce331b63394c1d476fcce41d","datavalue":{"value":{"entity-type":"item","numeric-id":654031,"id":"Q654031"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"684806483d14f20b6239de1a1ae5b4f8a88ea939","datavalue":{"value":{"amount":"+0.723901629447937","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":"Q6160909$098CB1D6-FFFC-4485-A684-B55EE079BEF9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6160909","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6160909"}}}}}