{"entities":{"Q4928439":{"pageid":6958021,"ns":120,"title":"Item:Q4928439","lastrevid":51744713,"modified":"2026-01-19T19:37:23Z","type":"item","id":"Q4928439","labels":{"en":{"language":"en","value":"dReal: an SMT solver for nonlinear theories over the reals"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6176210"}},"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":"Q4928439$5E338F78-8D57-41F9-8235-BF46C36C10EC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ad9dd4f55fd79dc72b838e1bc1fa9713a1e2d803","datavalue":{"value":{"text":"dReal: An SMT Solver for Nonlinear Theories over the Reals","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4928439$C477DCAD-F5A0-4691-8F37-7BF0C384DDF3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"04d626f7b1990340f87d4fe0d3d2b74d017098f0","datavalue":{"value":"1381.68268","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4928439$61AE636A-48F3-48B6-810D-0FE175254D3B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"19017b056d802bf8cfa0453132410b8c8ee80360","datavalue":{"value":"10.1007/978-3-642-38574-2_14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4928439$9AA5AF0C-C951-4D7F-BE84-97A252729D01","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6bcb9a2588cc97afe717f733e4166bb29392ff3a","datavalue":{"value":{"entity-type":"item","numeric-id":2272928,"id":"Q2272928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4928439$D66771B2-02EB-443D-A95B-4FF4651B639C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7463120a9e955f48ddb24bcc00e63bd6fcf27d63","datavalue":{"value":{"entity-type":"item","numeric-id":2926662,"id":"Q2926662"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4928439$19B685CB-8AF4-40F5-AF07-238613AECF6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4e4e5ed72bee66087d415d4f69d49eefd101a453","datavalue":{"value":{"entity-type":"item","numeric-id":526749,"id":"Q526749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4928439$FF9714B6-4BDD-423C-8903-0B8924F853EE","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":"Q4928439$68C2CF94-4B02-494A-8433-D62161415AE9","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":"Q4928439$2E066FB0-A64B-4795-A203-B265694858A1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4928439$9E55F122-2833-466C-BA0E-8B1C2D1B899E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5bab3867f4dfdc989e2f3fcee9588c8a2f916b43","datavalue":{"value":"6176210","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4928439$60F28454-0E43-443C-A19E-6FDF9F60611A","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"776ec61ea9403d0c48a81eefe331d6bd9e850b8f","datavalue":{"value":{"entity-type":"item","numeric-id":20435,"id":"Q20435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4928439$9D3FCF23-0C45-4158-A44E-7A00098890D5","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":"Q4928439$17887DF1-4AFC-46C8-AEE4-D0BA787B6D71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"78cb58263a28ee3e44017258bbfdfd66a4db4df5","datavalue":{"value":{"entity-type":"item","numeric-id":16577,"id":"Q16577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4928439$09C93CE2-13F0-40B4-84F1-36E6B732770B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"90807e1eea37aee82b6abb65c686d81f07b3943f","datavalue":{"value":{"entity-type":"item","numeric-id":25016,"id":"Q25016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4928439$1811FAC2-6E65-4DAB-AFE1-9BAAA5D02724","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":"Q4928439$1DD08AA1-84D0-40E3-A31A-5108DB9F8CAF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6b87fa381119968ee0f29feb031f99ffa28fb0c1","datavalue":{"value":"https://doi.org/10.1007/978-3-642-38574-2_14","type":"string"},"datatype":"url"},"type":"statement","id":"Q4928439$60899F61-FF00-4E2D-BB48-A51A4FD2566E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a27cf48fd89baa6d7b290742535fe62bc9f0bdcc","datavalue":{"value":"W2166280160","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4928439$C7778A9F-488E-4C46-B888-2A39A8388BBB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bb2a11f5d93022e0138393dfe782c22c523d0be8","datavalue":{"value":{"entity-type":"item","numeric-id":2908499,"id":"Q2908499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dd8452aa5d9c9e21affa2b0e1a0ae3b326979777","datavalue":{"value":{"amount":"+0.8280181288719177","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":"Q4928439$74B3C738-2D77-4164-8988-6C528146429D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"552558bc2ba9f287bf5e09813ccd12e8395500bc","datavalue":{"value":{"entity-type":"item","numeric-id":6039404,"id":"Q6039404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8e10cc2ac91a8aeccb7db9f5f10c8ed301cc198d","datavalue":{"value":{"amount":"+0.8005384206771851","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":"Q4928439$F25D33AA-3195-4FA6-9998-2685B13BE2D8","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":"b65593df30a7b800c6891affa5662e79a825e8c8","datavalue":{"value":{"amount":"+0.7920436859130859","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":"Q4928439$C87E5B81-63A9-4EA9-8CAF-123861837577","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":"7249b4a3a1dbb87f8300135b534fea6ffaae28b8","datavalue":{"value":{"amount":"+0.7747498750686646","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":"Q4928439$13B55C80-DDAF-49FC-90FE-E36BAD149AE0","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":"ce386c8c2cbf441a4e635e862d3a32e1afccce1f","datavalue":{"value":{"amount":"+0.7732731103897095","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":"Q4928439$4ED32037-8CD6-4D88-BA67-8812E716AD2D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4928439","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4928439"}}}}}