{"entities":{"Q753688":{"pageid":755537,"ns":120,"title":"Item:Q753688","lastrevid":49450024,"modified":"2026-01-07T04:32:18Z","type":"item","id":"Q753688","labels":{"en":{"language":"en","value":"Computational experience with an interior point algorithm on the satisfiability problem"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4181143"}},"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":"Q753688$A1C21AD3-F27C-4B67-956D-62CF5A255E75","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6ffdab85446b6f66da745f8bcfd5e3e5fc167055","datavalue":{"value":{"text":"Computational experience with an interior point algorithm on the satisfiability problem","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q753688$D5C44B7E-6BE6-4BC5-986E-12F5CFC09104","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c5fb12d07449f8f67571339acf1023acffc06f10","datavalue":{"value":"0716.90083","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q753688$CCB5F3F4-0038-4562-AEFE-8503D786BA6C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3c838dfbbd47b833b34a3f538482273481bad4c9","datavalue":{"value":"10.1007/BF02283686","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q753688$2BB12A64-7DAA-4299-B6C5-42485E1A4B7F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"67cefe240db7e833ab971c9374706c2e054eeefe","datavalue":{"value":{"entity-type":"item","numeric-id":687089,"id":"Q687089"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q753688$2B447F78-7AA4-44DC-AE76-098CF0EE6F6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7e26db00f833c42411756239755ac6bad03b61f0","datavalue":{"value":{"entity-type":"item","numeric-id":226720,"id":"Q226720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q753688$AD191666-F0D0-48F1-8550-717BD92C70A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"95ae39790d9902313bc548d583ef0b60ed25ef4d","datavalue":{"value":{"entity-type":"item","numeric-id":687087,"id":"Q687087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q753688$EC2B3774-D5B1-4C0B-81DE-9F382498F9E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c0f2189b9095fbe6abad22259c6f186fac9c5b36","datavalue":{"value":{"entity-type":"item","numeric-id":687088,"id":"Q687088"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q753688$A815B52F-07CD-4E78-ABE5-2D8559048C97","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"8f57d1123ebbbd10d621b3552a672e7729202712","datavalue":{"value":{"entity-type":"item","numeric-id":59875,"id":"Q59875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q753688$C7AFB082-E103-4F2D-8F6B-688E7F4E3876","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"70d2fbf8bcd48a5ca1ac752985098b379d0dbb65","datavalue":{"value":{"time":"+1990-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q753688$600FE52E-C46E-46DC-A700-81C88DE24A01","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"3feee98fb6a1a95642ba0c6a16390527874922bf","datavalue":{"value":"90C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q753688$7595E1DC-C6D3-41CD-A59C-CA8B7F6DE4AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e038e5e16128fe63d90643b4c4804d63f3db1339","datavalue":{"value":"90C06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q753688$02AB80E5-F43E-4D03-94E8-FF2207743294","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0b4fa5b59eb6fe6e43618f9e005f4a49f4390971","datavalue":{"value":"65K05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q753688$2FD8C330-0572-451F-8246-D7520123E53E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6958ea3363ca9244e0da0201efd237a8410f9a0c","datavalue":{"value":"90C09","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q753688$F40448B2-CDA5-43CA-A644-B55A5F4256D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d550400b67148ac150a943881fbd05e682ea56f5","datavalue":{"value":"90-08","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q753688$4714DA6C-5512-4A5D-BC3C-82D09026EBC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"36d142e7ea03446b1d7deb9627eedb9f0297f86a","datavalue":{"value":"90C05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q753688$C48DD96E-4D5C-46FC-9774-219A521AD26C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"30348d5dca6027ac4385518a6c99d438ef0dd3c6","datavalue":{"value":"4181143","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q753688$18BC0867-57BE-4800-A426-0274E3B290AC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f0b4d6e6089943a261128dec792d30fd4cdc9763","datavalue":{"value":"satisfiability problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q753688$6B8D8D29-833C-42A0-BFF5-7A9B42BD7670","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c9b1150e0197512a81f8177f131bb1f888c369f5","datavalue":{"value":"interior point algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q753688$756F3910-EFBE-4166-B3F6-F526CA441274","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2c842cca836f9f4a528cf39cb8927d0b61177e41","datavalue":{"value":{"entity-type":"item","numeric-id":17235,"id":"Q17235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q753688$39FDFD39-6F29-41F0-B57B-350183470E54","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":"Q753688$7D9EB068-A50B-4B6E-A60E-FF9A623711A7","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"47f53683ef323d99def8db920b583feaf053fe0f","datavalue":{"value":{"entity-type":"item","numeric-id":1100931,"id":"Q1100931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q753688$A9AC92A9-991E-4198-98E7-797ABA6058EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"642b2ce7eb66cd4592df1733d0e7576e67056c65","datavalue":{"value":{"entity-type":"item","numeric-id":918954,"id":"Q918954"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q753688$A9DCA5FA-3CCB-4845-8F69-D3B564312C33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b7948d2ae997be513a92df2486b836c4e1eaa12","datavalue":{"value":{"entity-type":"item","numeric-id":5667480,"id":"Q5667480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q753688$4BFA71E9-5D1D-4FFC-B4C4-AA95BA4EF162","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c0e6b90c16ae5fa1eac19212a306cb84ffec72b","datavalue":{"value":{"entity-type":"item","numeric-id":5613969,"id":"Q5613969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q753688$167ACCF8-0D65-40BE-81B6-E7556AA8E1AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c2ec5477ed81b4bd9beebf6ad8b16c4546d8f0c7","datavalue":{"value":{"entity-type":"item","numeric-id":5538300,"id":"Q5538300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q753688$7DF9B2D2-0DFE-4B43-8780-8274CF5BF374","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8da404b761a2011d9897c2a837ac01f79c79190f","datavalue":{"value":{"entity-type":"item","numeric-id":3730348,"id":"Q3730348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q753688$31BA3ABB-620A-4C96-9855-8D1118CA6740","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e5d9c51a56730bb3dd6bd0db50d4112f0afc06f","datavalue":{"value":{"entity-type":"item","numeric-id":1100093,"id":"Q1100093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q753688$75D43BFC-9AC9-4F4C-B629-B07F5A002A26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2261e03fb7a4b873cc7bf0aa682c707ae43c92d9","datavalue":{"value":{"entity-type":"item","numeric-id":1356213,"id":"Q1356213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q753688$A28DB536-D8F8-4BB7-8B47-ABAE53362489","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3f6b3dcc032c96597996eeff664ed5f9536d470","datavalue":{"value":{"entity-type":"item","numeric-id":1181917,"id":"Q1181917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q753688$FA0CAD06-077F-40FC-A2E1-1439DFA18888","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"63fecd6d47d729f8cde15b88a2fffd3b5ebb52c1","datavalue":{"value":{"entity-type":"item","numeric-id":5844253,"id":"Q5844253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q753688$6A7C6FC4-464F-45D8-AAFE-EE5AD159711B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"814f98fc2e63dd0988ca334147b8b0291aec55a5","datavalue":{"value":{"entity-type":"item","numeric-id":3849342,"id":"Q3849342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q753688$9F83DE1D-502E-4EEE-9098-22092DF157C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"52158716b9a673de200b1987d2ea50bacfa3cdd5","datavalue":{"value":{"entity-type":"item","numeric-id":3817013,"id":"Q3817013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q753688$3F298EB7-93FA-49D3-9D4C-48779AA51954","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9c196c5d780ea08216836264a4cddd8669705fc7","datavalue":{"value":"https://doi.org/10.1007/bf02283686","type":"string"},"datatype":"url"},"type":"statement","id":"Q753688$114015A9-474F-47A1-AD7E-EB37C79C5E2F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6fa33f3e36d346582dae56069c017d1878441c29","datavalue":{"value":"W1571307015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q753688$662AC258-DFAF-40A3-BADA-831CB84A1F40","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"66d468b5c540abe65339c26239e6406fad5d3590","datavalue":{"value":{"entity-type":"item","numeric-id":5687266,"id":"Q5687266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"06719c4780390acb85a84ef139edd308c8fffd5a","datavalue":{"value":{"amount":"+0.8014577031135559","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":"Q753688$5599A142-7772-42E2-97E6-714ECDC2761B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4a29e179bbf06cf64dcb40b6c39cad4b300e7df5","datavalue":{"value":{"entity-type":"item","numeric-id":1356218,"id":"Q1356218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7c5d18704291d0fa4e75e55a2a4e4c48b6cbd4b9","datavalue":{"value":{"amount":"+0.8011380434036255","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":"Q753688$2B20AAFB-405C-4C13-9508-ABE2EDEF4DEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e7c44f22df52e492976713f563fde4e11d159f1b","datavalue":{"value":{"entity-type":"item","numeric-id":1115189,"id":"Q1115189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0503c4f6c57b731c3872715ac01f5c69c6d10f89","datavalue":{"value":{"amount":"+0.8001806735992432","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":"Q753688$B05F5D79-E6E1-43B8-8A17-C56E5271A698","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2384784e67b746c941848cc6fcfe27e81759712f","datavalue":{"value":{"entity-type":"item","numeric-id":4375756,"id":"Q4375756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ff3a3bb447af46f7505891cb4b0f7f72498e931c","datavalue":{"value":{"amount":"+0.7986434698104858","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":"Q753688$8C16766A-0E07-4AF3-90F6-5F38613556CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fec5181653640d40c17597bbc5114109377a3ab3","datavalue":{"value":{"entity-type":"item","numeric-id":1278588,"id":"Q1278588"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c6990bbb5acaef95fa07d5bd0d6aa1cbcd7cdb43","datavalue":{"value":{"amount":"+0.7954835295677185","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":"Q753688$94ADAC21-2B38-4748-B3A5-15E392E37E53","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:753688","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:753688"}}}}}