{"entities":{"Q6536345":{"pageid":14147488,"ns":120,"title":"Item:Q6536345","lastrevid":55637281,"modified":"2026-02-17T20:08:09Z","type":"item","id":"Q6536345","labels":{"en":{"language":"en","value":"Accelerating parameter synthesis using semi-algebraic constraints"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7835026"}},"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":"Q6536345$6F597108-60C2-407B-8F1E-0CB54D4474B0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6761ec2b966efc43748feb160b4ffae549285c73","datavalue":{"value":{"text":"Accelerating parameter synthesis using semi-algebraic constraints","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6536345$1AD1F5E0-EEF1-4CF0-A6B6-3C6C1C6D4C6C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"728888e5962481e4945155f3f942e61d4ecc9ee9","datavalue":{"value":"1540.68127","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6536345$5957EDBF-E2D8-4854-A51B-23D3518E6D1D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"50fedaf1515e238e8101b8712989856f0437bc9b","datavalue":{"value":"10.1007/978-3-030-34968-4_2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6536345$A67ACB35-06AD-43B7-B2FF-4083DEF99809","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8fa84f57d804aaf31f58858be616d04e3d77b666","datavalue":{"value":{"entity-type":"item","numeric-id":282092,"id":"Q282092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536345$226D9499-1C97-4EB5-A2CB-C4B8BFEBE05D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d9b09522aaee1c72f01701b4e5032b55d6618dfd","datavalue":{"value":{"entity-type":"item","numeric-id":282093,"id":"Q282093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536345$EC7E3CC0-6C02-4D70-AA4C-E66EEF4DB6DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1045a9ee29e974871a1d92b084251d2f70f5be84","datavalue":{"value":{"entity-type":"item","numeric-id":6536344,"id":"Q6536344"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536345$158A9725-3C33-42B6-AD3F-C82AD39C7573","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ab7785e5c27e59a61a01e5cd31f701b7740f2c10","datavalue":{"value":{"entity-type":"item","numeric-id":832199,"id":"Q832199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536345$15255D6A-0C0C-4677-8E7A-9AF40DD8D358","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"98c891e2c7c8bb10a79e88f50e061e3624273d02","datavalue":{"value":{"entity-type":"item","numeric-id":832200,"id":"Q832200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536345$CB9C0CCE-42D9-4508-A872-46E16EB5F195","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ea6e0d286aec87d7de2b77268af916e9034fb87d","datavalue":{"value":{"time":"+2024-04-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6536345$53F3A6EC-B82D-4630-AD2E-F9AF26046367","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6536345$31866BE6-7682-4BE9-B473-48A226F02952","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6536345$7EC3AC58-FC18-4C0A-AF32-957DB04A7610","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"14cf74de25853c940589b125137b792dfb2d092b","datavalue":{"value":"68P05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6536345$8016C731-FA81-4481-A74E-7F759C208845","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6536345$E7EF9C8F-B2B3-4E7D-A5A5-5ACA2C62CC27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"33dbd2fb5ca21d3b7512e0368d809229686ea08a","datavalue":{"value":"92C42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6536345$0B5D5B25-31EE-4524-97B9-9F97D9C83F9A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8dad76891c09d0e7fba3de9a6d18d540cba0af29","datavalue":{"value":"7835026","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6536345$230E3563-27C9-4812-B4E2-3512FB35D7C9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"68fcceb571b26a4c9b75f5c240617195525207bb","datavalue":{"value":"parameter synthesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q6536345$9B092D85-7D1C-4C14-AD6A-FB7BEE27C1CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b7497714ecce72d928955ad95102efaf27d025e4","datavalue":{"value":"semi-algebraic set","type":"string"},"datatype":"string"},"type":"statement","id":"Q6536345$9C7E8174-6F22-4682-8C00-4B4191DD2DA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"af948ab56df44408fff2ba197f928e63c9954960","datavalue":{"value":"CTL","type":"string"},"datatype":"string"},"type":"statement","id":"Q6536345$002A9543-DD9C-48B3-96A3-37523694C6B6","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":"Q6536345$28D1A137-5CFF-4029-A3B7-2948286D09C6","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3686167e62f64deb45d5189b12825da8941b40bd","datavalue":{"value":{"entity-type":"item","numeric-id":5187396,"id":"Q5187396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536345$CC466A1A-E980-4935-89C0-F52F8EE12DCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"17227eab8c4ab9c03769b3696e360e757a8518fe","datavalue":{"value":{"entity-type":"item","numeric-id":868432,"id":"Q868432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536345$DC5DCCE8-8886-4091-AD6F-F08CC5BEEFD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"589c340747955fdce87947ff5d43715615956ae6","datavalue":{"value":{"entity-type":"item","numeric-id":2348023,"id":"Q2348023"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536345$2369ED87-6869-4AE0-9C60-A9EB44B148C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fbf2d5c30361f4706dadf52b746b34e434cb0579","datavalue":{"value":{"entity-type":"item","numeric-id":1675144,"id":"Q1675144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536345$F530CCAE-0DD6-4BEF-8199-A1BE4AC805FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"33f5df8f42a9de5afc83a14e8ca14413bfbbf914","datavalue":{"value":{"entity-type":"item","numeric-id":2453214,"id":"Q2453214"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536345$BF46BB83-35D7-4B7B-8FFF-4F6E6C631678","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d4e5a94deb94554e70ca2577ef9284771dc068d","datavalue":{"value":{"entity-type":"item","numeric-id":5376901,"id":"Q5376901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536345$FCAF6A7E-685C-485C-98D5-CC18FFF311B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"017dca64578e6979a09aeeb8b382b1388bace1b7","datavalue":{"value":{"entity-type":"item","numeric-id":4810199,"id":"Q4810199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536345$6F0CD961-D401-4366-8582-9C5801143921","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea2f7a0a4de64ffa9120f38266e8696841b0f1f0","datavalue":{"value":{"entity-type":"item","numeric-id":5254156,"id":"Q5254156"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536345$58D03CF1-422F-40CC-9D63-AF32AE94EFA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b00f83e613d735519b98c96b09a9cf48e50fb9d0","datavalue":{"value":{"entity-type":"item","numeric-id":3612475,"id":"Q3612475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536345$4B938D60-4E8E-473B-929A-28ADD1FF01F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4fae9d34b8595f7e5b336ce9d2953fcf42d89526","datavalue":{"value":{"entity-type":"item","numeric-id":5206952,"id":"Q5206952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536345$E047ACA7-2D50-4C9B-905C-B05326A63544","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3529da026305ffce8c7478c620cab98429549726","datavalue":{"value":{"entity-type":"item","numeric-id":533351,"id":"Q533351"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536345$023A2F70-1099-48A7-A7B1-98465749BDD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c880bd974dd9fc07523ade896d0d147bf4f285e","datavalue":{"value":{"entity-type":"item","numeric-id":3624570,"id":"Q3624570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536345$A320A1BC-5D08-40E9-B461-802F2051203A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"632c41f73d6b7728305fbd69b59ea836b1063739","datavalue":{"value":{"entity-type":"item","numeric-id":4649290,"id":"Q4649290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536345$8F865801-C198-4985-A046-C3F2C48AACCD","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":"Q6536345$46C0E8ED-5F5D-42AE-823C-B16DCF25750E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"922961c2109def24c7069a69ac39492c20ccdd48","datavalue":{"value":{"entity-type":"item","numeric-id":253520,"id":"Q253520"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536345$8C364415-C459-4340-BBCC-7F3D368328DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c625dcf0809403f5b84f6d7cdfc8c33766e0658","datavalue":{"value":{"entity-type":"item","numeric-id":2471741,"id":"Q2471741"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536345$3A063BED-7BA0-46A6-8CAC-862646C7AE9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f22d3df01326f2e4294447d2bf0677fe3580886","datavalue":{"value":{"entity-type":"item","numeric-id":5464744,"id":"Q5464744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536345$8496DB89-DD6D-4348-B5DA-D89ADFD1BE79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc6b76d55903ab886ab0f97b1acd3a1583f68b27","datavalue":{"value":{"entity-type":"item","numeric-id":3140554,"id":"Q3140554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536345$1EF0FF2C-50BA-4729-A4A8-A69A4A64F82D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef420ba163857223baeefe26e2f1e2372c0157c1","datavalue":{"value":{"entity-type":"item","numeric-id":6159541,"id":"Q6159541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536345$06916E19-4C3E-4D0C-9CBA-7E1E631F4B82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f3ce0f7cea267fed088d824a336dafe8e57f511","datavalue":{"value":{"entity-type":"item","numeric-id":2988945,"id":"Q2988945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536345$A285839F-439D-43D7-9E75-41F473219004","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f257b4ce293ff91c25fc667c615f2ccc19b8a47","datavalue":{"value":{"entity-type":"item","numeric-id":1976673,"id":"Q1976673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536345$0464711D-973A-4C00-9FA1-A3AA980E35BD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cf74bfc70089b0193f8945067a6efd15d74c2305","datavalue":{"value":{"entity-type":"item","numeric-id":2934895,"id":"Q2934895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"efba8c0a7db60e5239cc6c59b656fd7f0489c7c6","datavalue":{"value":{"amount":"+0.8104009032249451","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":"Q6536345$9BD67626-AD81-408E-953F-61917EB4B40F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"635341fe2b70c65723ea937d500700ac72e18697","datavalue":{"value":{"entity-type":"item","numeric-id":5206952,"id":"Q5206952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8a9609db909138bae323e15d22d9d44f63525a22","datavalue":{"value":{"amount":"+0.7619182467460632","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":"Q6536345$B03B70D2-BD4E-429E-9B79-573C01077260","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"51f52b641a8f0895d74b80dcb8113d8154802fbe","datavalue":{"value":{"entity-type":"item","numeric-id":2894282,"id":"Q2894282"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d1d5e311fb8b816f3ef9353025e6670595bd8a57","datavalue":{"value":{"amount":"+0.7570317387580872","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":"Q6536345$291782B3-4F9D-4027-B373-F7F6FD45346E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f9c96b603a02487d2f47ad83650aba6e76c9e873","datavalue":{"value":{"entity-type":"item","numeric-id":2110677,"id":"Q2110677"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"92626ee71f833febfe1e84a027f7e1f9240978cb","datavalue":{"value":{"amount":"+0.7568918466567993","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":"Q6536345$159CC7C6-BF73-464D-B229-3046AAEDC608","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b438d1d14fdf8514c014625dd81f33165fcf3caf","datavalue":{"value":{"entity-type":"item","numeric-id":2105425,"id":"Q2105425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ead2dd110fd32f382def0320f6cbf892a79a8a4b","datavalue":{"value":{"amount":"+0.7498816847801208","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":"Q6536345$C0CA93C6-595F-4C90-B74C-CF9B01E5CE08","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6536345","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6536345"}}}}}