{"entities":{"Q1662298":{"pageid":1673039,"ns":120,"title":"Item:Q1662298","lastrevid":43266202,"modified":"2025-07-22T23:27:41Z","type":"item","id":"Q1662298","labels":{"en":{"language":"en","value":"Polynomial constraints and unsat cores in \\textsc{Tarski}"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6920299"}},"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":"Q1662298$889F3273-ABFE-4DFE-8F86-50693D4EE04F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c60853d304ca59d7b32e87a0ad7a6cac8a2c33ff","datavalue":{"value":{"text":"Polynomial constraints and unsat cores in \\textsc{Tarski}","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1662298$868E1074-B23D-4C40-82F1-5D6BB485EAA3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7745917c900baf3829dc0932f1dbc2e3b616e869","datavalue":{"value":"1395.68353","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1662298$122815CD-E1AA-43E2-B60D-21AF13C47570","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4b48bc1ffeb91155f398854e20ad3cefba6e3472","datavalue":{"value":"10.1007/978-3-319-96418-8_55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1662298$B3ACDC20-A522-4162-BBA4-0B255AA30E1D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c6a9468edc1d036c0257720293d6f450829fc20f","datavalue":{"value":{"entity-type":"item","numeric-id":1662297,"id":"Q1662297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1662298$E3C8A179-1638-4DF9-9B52-03E884FA4F8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7989f3c7163192933aa635efac5513ead9a9c0c2","datavalue":{"value":{"entity-type":"item","numeric-id":191937,"id":"Q191937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1662298$5EEA1EA6-0674-4F5B-A7BD-4582E15FE861","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9d202540b63b8c4b32047f2e7f472d0d69bf8092","datavalue":{"value":{"time":"+2018-08-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1662298$D33D40C0-A71C-4826-836D-B77CCDD8F31C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1662298$B783CD7A-9B96-4B63-AD50-4619804A9A01","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"dc381f98006a0690d839499cf4b816f7e3a062f1","datavalue":{"value":"6920299","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1662298$8C6E6DBC-0D21-4B7A-AB33-90C726F481E1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"90617ec52d902622f9b8fd3001cf6e108f72b61a","datavalue":{"value":"non-linear polynomial constraints","type":"string"},"datatype":"string"},"type":"statement","id":"Q1662298$06B53DCF-18BA-4A6C-BAAF-706A0BFAEB36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"54da6c99b1ebfdf81c0b79cb785071cb5810eb3e","datavalue":{"value":"unsat cores","type":"string"},"datatype":"string"},"type":"statement","id":"Q1662298$6738F977-0DAC-4FF6-A48E-C6A62607D250","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dc37cf6bf1a4fd159f089028e999146e64828fa8","datavalue":{"value":"SMT","type":"string"},"datatype":"string"},"type":"statement","id":"Q1662298$F50927DB-7BB5-45DF-A241-1434EB07E0DB","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"3c22b4e6c24037f313b1837c22cc6ae0308a77c7","datavalue":{"value":{"entity-type":"item","numeric-id":13503,"id":"Q13503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1662298$AFE7D3EE-5A78-4A44-B0DB-BC2923CC17D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f29f161a221c0bedeec97e9d4ad10664227f4777","datavalue":{"value":{"entity-type":"item","numeric-id":16290,"id":"Q16290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1662298$93BE5787-A62A-43CD-85A9-9CD5ED00590D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f22790b7d685d2c32362b8971015fd7b35add539","datavalue":{"value":{"entity-type":"item","numeric-id":25009,"id":"Q25009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1662298$4805E097-0125-48BB-901F-4F66E1A487D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"586abd5aa3e73f6652a0a54ae2a02fc283d78be7","datavalue":{"value":{"entity-type":"item","numeric-id":13635,"id":"Q13635"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1662298$6F97144C-7AA8-43D7-8CDB-320E75E0D421","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":"Q1662298$7669A293-2BD7-4129-B251-0D68C26F4297","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"cb64393d723b920c070aca76f35764e44857daf8","datavalue":{"value":"https://doi.org/10.1007/978-3-319-96418-8_55","type":"string"},"datatype":"url"},"type":"statement","id":"Q1662298$62156E4B-D3AF-4016-BF11-FDDFF30C377B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5ca07fa3288c9c2f51f1743671cede9ebb178481","datavalue":{"value":"W2883018030","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1662298$8F84317B-E96E-45D5-B6D8-F5BA0AFDF68E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"91638dc3b9d68080abf4a9393099333ab24e5e18","datavalue":{"value":{"entity-type":"item","numeric-id":5483456,"id":"Q5483456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2204094fa0148f3361e38a171ee2d55ff5df1d3a","datavalue":{"value":{"amount":"+0.87446004","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1662298$EEED3A52-3799-4D83-8F76-CA6082DA7E21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4da7ab68d40b0021aff99a5d8e758a7d99a62e1e","datavalue":{"value":{"entity-type":"item","numeric-id":5450569,"id":"Q5450569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"527f657fa7c477a304c626f653b5b29ed8f0ca19","datavalue":{"value":{"amount":"+0.8537841","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1662298$A42FD9B4-42AC-48F1-A7BE-19135CB38ED4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6c85e38b133ec5af10b7aca5cb9023fae0752d29","datavalue":{"value":{"entity-type":"item","numeric-id":5504705,"id":"Q5504705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"db12ac87aa8b5a2fd5e0b6c72a33decd6a0f5775","datavalue":{"value":{"amount":"+0.849849","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1662298$C6A3A7B1-B4D3-44E8-8A61-9839F180389A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"70e119c9f57e5dd5499aea255bf7b8070d27569b","datavalue":{"value":{"entity-type":"item","numeric-id":3546063,"id":"Q3546063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6de60b88aea6794553d513263cb94feb267a8cc6","datavalue":{"value":{"amount":"+0.8480179","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1662298$AF0B2408-E77E-4A3C-91EF-15C2BC6665C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b0bca18790a77b5a0bd1e8686a085eb5278869b9","datavalue":{"value":{"entity-type":"item","numeric-id":539977,"id":"Q539977"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4ac8c93aa89132190201bf8aee5aba6234bff6ba","datavalue":{"value":{"amount":"+0.846356","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1662298$2B7F68F7-C224-4ECE-A109-6A2DBF324C76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"25827029be60ffc4e1340fde32781535ba7af3ff","datavalue":{"value":{"entity-type":"item","numeric-id":1816091,"id":"Q1816091"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fb30b667f609c93c3eab64369b8093e5621bdbc3","datavalue":{"value":{"amount":"+0.84472096","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1662298$A61A58AF-B156-4BDB-B1D1-4E6624D9C6AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2d02daadcf5c2c9ecb46c7907e9bfd1f575febef","datavalue":{"value":{"entity-type":"item","numeric-id":5710685,"id":"Q5710685"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0023c4386d0e681d19f950051cf13e1d8b4df095","datavalue":{"value":{"amount":"+0.84184974","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1662298$2F27284D-878C-4D06-97C5-A4921DA10848","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8df3ea4ae9b05afa903ba8398fc36e18e54dca0d","datavalue":{"value":{"entity-type":"item","numeric-id":5900292,"id":"Q5900292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6747a44afa73f613e300b01231c06f5a7b6a8632","datavalue":{"value":{"amount":"+0.841666","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1662298$8B21B65C-9BC9-4AAD-8062-C8E05098EF11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"148233dac74b824b39a35c083b6942896a6d39dc","datavalue":{"value":{"entity-type":"item","numeric-id":1688535,"id":"Q1688535"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cf9272499f384dee5e867847f0f91808d776f96f","datavalue":{"value":{"amount":"+0.8405922","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1662298$4685BDF9-2C0B-4779-8BD4-5BFE5FC93465","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"484a4c8b09e108fa59838458d6677aa387d0c4f8","datavalue":{"value":{"entity-type":"item","numeric-id":2817923,"id":"Q2817923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cf9272499f384dee5e867847f0f91808d776f96f","datavalue":{"value":{"amount":"+0.8405922","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1662298$181E12D1-F226-4EF9-8262-15DAB6643763","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1662298","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1662298"}}}}}