{"entities":{"Q2294575":{"pageid":2305318,"ns":120,"title":"Item:Q2294575","lastrevid":53661341,"modified":"2026-01-25T12:39:07Z","type":"item","id":"Q2294575","labels":{"en":{"language":"en","value":"A subdivision algorithm to reason on high-degree polynomial constraints over finite domains"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7166037"}},"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":"Q2294575$3FC14F47-D82B-4C31-BF06-53672253353D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3feec2b943fbbb07e97de7c1ad7eb0f3b3d4e51e","datavalue":{"value":{"text":"A subdivision algorithm to reason on high-degree polynomial constraints over finite domains","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2294575$87C625E6-CCE0-43C2-B869-6B6E268D2AA0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"df944f6e7df49cfdc880a25c0efc8f59e04ab3f1","datavalue":{"value":"1474.68323","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2294575$77B05AE6-AFF5-497C-A9B7-C1A49097826E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"aa3d3fdcc8ec720b0fdf2ab2cd251cc1ea46add4","datavalue":{"value":{"entity-type":"item","numeric-id":2294077,"id":"Q2294077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2294575$3E68ECD6-44F8-44F9-A421-EB7069F40ABB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"130538447724ae21dc08cd4de15ed60088080492","datavalue":{"value":{"entity-type":"item","numeric-id":2294076,"id":"Q2294076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2294575$3D272789-B5C7-44CE-BE1C-B5D9450791CA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7346dc34d1d50fea46ec345fbc7e3214530889ab","datavalue":{"value":{"entity-type":"item","numeric-id":276517,"id":"Q276517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2294575$EB90D053-5E4E-42E8-96AE-8818D8E3C8AD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6b6e2eeedf8e55f06b00a7b5e5c6475d26222915","datavalue":{"value":{"time":"+2020-02-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2294575$2EC7AB05-5F6A-48A9-957D-B3FE368D2889","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2294575$AB61F179-E6A1-4713-B089-34BA3F055638","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2294575$020C4E02-BFDF-4109-8CDD-2603F66D62D7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ce1187a0dd96eb80dde95d650e1f05bf69adfb9d","datavalue":{"value":"7166037","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2294575$F8FDA88A-A211-4FC3-B76B-7AC7052BFC4A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5a5c5aee30f241034f9342f9b32473dd4b271ae6","datavalue":{"value":"high-degree polynomial constraints","type":"string"},"datatype":"string"},"type":"statement","id":"Q2294575$E9D5C557-8133-4905-8006-40EAD25BB929","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b30e9c7a4b5601a1f124ead5d82c0d05e78f1759","datavalue":{"value":"polynomial constraints over finite domains","type":"string"},"datatype":"string"},"type":"statement","id":"Q2294575$5B451513-7C76-46F6-9AA2-567C0A905FC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"df25359605a7bacf8d12705a29fce2b79e2bb8b0","datavalue":{"value":"constraint satisfaction problems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2294575$42AD0FA8-5A46-4023-A671-9B80E2BFA9D0","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9ff8f1e47f04f535b07286a9e8a4dc35518546e4","datavalue":{"value":{"entity-type":"item","numeric-id":18439,"id":"Q18439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2294575$8B4E09A8-7C37-4299-96A1-B05550AD57CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"0cef52017e4e3abb65b54005e36080c4a777722e","datavalue":{"value":{"entity-type":"item","numeric-id":32763,"id":"Q32763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2294575$A4582B92-60D1-432A-93C1-28E66FA42C9F","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":"Q2294575$E865569F-CDF3-4D86-89F0-9E5C0FB38014","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"509bfd8eba24c6ac3c772c874d6969f6244d562d","datavalue":{"value":"https://doi.org/10.1007/s10472-019-09680-4","type":"string"},"datatype":"url"},"type":"statement","id":"Q2294575$830BFD93-162A-47AE-BAF8-5F4900498995","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a231d80179712811f5d640d337de550b8972f2c4","datavalue":{"value":"W2992719104","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2294575$FD6C1F88-B105-474F-8A44-F469CCE97603","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"782d09c778ef2aa7debea2fd5bf9f22d904551d5","datavalue":{"value":"Q126629263","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2294575$D6D6ECF9-CE9F-4125-9702-4BFE0B9B2833","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d04800089a50be71ae129fd64747fa94ad4d8be","datavalue":{"value":{"entity-type":"item","numeric-id":3559281,"id":"Q3559281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2294575$39966A39-16A0-4B99-977E-CB4EDC77337A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fd1d2d6f3d3013f7186b482fcfd690c5453c5e7c","datavalue":{"value":{"entity-type":"item","numeric-id":2363599,"id":"Q2363599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2294575$A8C5AA04-4497-40AD-B423-49E7D4153BD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba0c1ed407dc73882a19be29b9ce6e65edaf76c8","datavalue":{"value":{"entity-type":"item","numeric-id":5215368,"id":"Q5215368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2294575$093BC105-4E18-49B2-AE8C-BC7511FED911","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee1990a3b498104fbd4a549fcefef5e893d2fe64","datavalue":{"value":{"entity-type":"item","numeric-id":4686512,"id":"Q4686512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2294575$890913F6-3AE5-4C45-BC82-92CCD03026BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c461db0cbc9fd2d61a0761768f0f4daa71e5573a","datavalue":{"value":{"entity-type":"item","numeric-id":4386951,"id":"Q4386951"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2294575$E4906098-E40A-4E0D-AAAB-255E2590AF81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22b2685bc6fd0eb7213f4d4ae68981ce568cdb9e","datavalue":{"value":{"entity-type":"item","numeric-id":448993,"id":"Q448993"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2294575$B5880554-AB1E-4998-92E5-31E129C4E153","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0785d40eec3d85f7076fbd4fda5cd87b4e8c1758","datavalue":{"value":{"entity-type":"item","numeric-id":1105314,"id":"Q1105314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2294575$178B12DD-8B0D-4D6F-AFB5-B441B398CABC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"38aac46a4362b10a46b54ae9b8092064a66a52ba","datavalue":{"value":{"entity-type":"item","numeric-id":3732843,"id":"Q3732843"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2294575$92EB6EC0-6D02-4478-8096-0610A421DFFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9bf12342abd275c27026a16f19a5f0b5b9b6672","datavalue":{"value":{"entity-type":"item","numeric-id":2738482,"id":"Q2738482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2294575$60FDC1CA-39DD-4743-9997-F9EB685B5204","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8212ba4cbcb9a5b3853a81bd113d3cb7acb1fe25","datavalue":{"value":{"entity-type":"item","numeric-id":300751,"id":"Q300751"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2294575$A624BA1A-D7B0-4B0D-B5A7-65DE409F9091","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac845f39962b2f6303cc4460e88f5962c27e31de","datavalue":{"value":{"entity-type":"item","numeric-id":5819609,"id":"Q5819609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2294575$E3B930FB-C988-45B1-B68F-AB0A9905FCAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"015a413a37d9b48bbca8b9e43bdbd9a27f16fe22","datavalue":{"value":{"entity-type":"item","numeric-id":2953936,"id":"Q2953936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2294575$5D422D04-5570-4247-9AD1-34B89C2CCCDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a29b960fa2be4ca5e992c0da6c67f3f4416310ee","datavalue":{"value":{"entity-type":"item","numeric-id":1006659,"id":"Q1006659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2294575$C6FB20B3-EBE4-4794-88D8-EBDE6DEB4C27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"67cb1bf59824760e7227833a60a8033c44fa84cc","datavalue":{"value":{"entity-type":"item","numeric-id":4509631,"id":"Q4509631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2294575$6AEF3754-1BB5-4DB8-A18E-60186EC6983D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c48081625a86f671ff47c29937dd08623b8a2ec","datavalue":{"value":{"entity-type":"item","numeric-id":1037369,"id":"Q1037369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2294575$4388DC10-FC06-443D-9474-28CC9B086985","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"196ab4f9c03fe3a152669ae8c2b8d36b6646f39e","datavalue":{"value":{"entity-type":"item","numeric-id":5594753,"id":"Q5594753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2294575$4FEF4FE3-B5BE-4DA0-AE05-BE9BA018F11D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7516fc65ecac37755fe011fe1711991dc2a48599","datavalue":{"value":{"entity-type":"item","numeric-id":3184605,"id":"Q3184605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2294575$62E0C548-6348-43F0-BAF5-E123248493B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc8dafe861eda9a0246a1beea954f71da92de62f","datavalue":{"value":{"entity-type":"item","numeric-id":628091,"id":"Q628091"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2294575$635B0DD3-1510-4DF8-B255-65D9740CDEE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"64cbe18bb5be65ff04473389c7c41d5e74dbefe6","datavalue":{"value":{"entity-type":"item","numeric-id":1029674,"id":"Q1029674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2294575$49069F67-8E30-434E-9366-3515498364AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd02fa89cdc66f109f3d7f0878233945a851a60c","datavalue":{"value":{"entity-type":"item","numeric-id":2008413,"id":"Q2008413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2294575$360D07FE-EB67-47B9-A5A6-222E90CF62DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"68fff7cd23dc9fed5e2bdbe657efa6e902461ce6","datavalue":{"value":{"entity-type":"item","numeric-id":2893092,"id":"Q2893092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2294575$4374608F-4098-4673-981A-DAE458958794","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a5bfb83cfc33d37c8cf49f338877c27d6a228615","datavalue":{"value":"10.1007/S10472-019-09680-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2294575$E0E0E9E3-4CDC-4F30-8F6B-4A63039BC4CA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"194e5a2f949b2504046f7e5fa039327876e7b811","datavalue":{"value":{"entity-type":"item","numeric-id":5215368,"id":"Q5215368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d9b3678b6ad971d87802f8dafd9cb2e36ef267a6","datavalue":{"value":{"amount":"+0.8635804057121277","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":"Q2294575$89D12D81-53CB-402C-A85A-EB95628D7F99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9e4f5977af70adf816135df095816025ef8427bb","datavalue":{"value":{"entity-type":"item","numeric-id":2363599,"id":"Q2363599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"41aeb1e21986d9d7538356a5644711bc48274833","datavalue":{"value":{"amount":"+0.8007340431213379","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":"Q2294575$3569C105-9DBC-441C-A983-C3453E2AF3B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4dec8530abad759e2ffadbf1de8f8081fb93e75c","datavalue":{"value":{"entity-type":"item","numeric-id":4686512,"id":"Q4686512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0eac76fbb38524f71a6659a8b16062de9434dd96","datavalue":{"value":{"amount":"+0.7654344439506531","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":"Q2294575$3897E8FF-DE44-463B-9D37-EC381D4E003D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fc27f1d4046934082f5a089914724116575914a7","datavalue":{"value":{"entity-type":"item","numeric-id":360253,"id":"Q360253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"40b9447dabe0c9b6a33b04ba0b3576109a1dda65","datavalue":{"value":{"amount":"+0.7485548257827759","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":"Q2294575$F0527863-38F1-441D-A08F-0F24773AF7BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e1828dfc43b113abc336dfeae868502822679e95","datavalue":{"value":{"entity-type":"item","numeric-id":1006659,"id":"Q1006659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9d815e5993ba6adec596e1b497ddf1dad1a3981f","datavalue":{"value":{"amount":"+0.6984447240829468","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":"Q2294575$0395D5A5-790D-4A36-9F8C-2A96D283DB91","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2294575","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2294575"}}}}}