{"entities":{"Q293409":{"pageid":295176,"ns":120,"title":"Item:Q293409","lastrevid":60705480,"modified":"2026-04-10T18:37:45Z","type":"item","id":"Q293409","labels":{"en":{"language":"en","value":"A linear-time transformation of linear inequalities into conjunctive normal form"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6590775"}},"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":"Q293409$DFEA5EC2-2E96-44C6-BD45-83F30A8CE702","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"eee02ee1a7e91c2f8db87d4a945c8bceb9a41996","datavalue":{"value":{"text":"A linear-time transformation of linear inequalities into conjunctive normal form","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q293409$9959FE1C-492E-4034-854C-43D0F50EC3AB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8fa95d9d6ebd4246ea141654b6a80fc2cbf44f04","datavalue":{"value":"1339.68244","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q293409$BA17F057-4ED4-40CA-857D-B13D99077534","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"92f2a13a8dc4815a06b112ed9b5ba9b556f1c075","datavalue":{"value":"10.1016/S0020-0190(98)00144-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q293409$BB9FCDD8-9E0A-4BD8-BE7D-5752F3FB041E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d6acf4f887f77787466f544479176d38cfa92ed5","datavalue":{"value":{"entity-type":"item","numeric-id":293408,"id":"Q293408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q293409$2D53602E-6AB9-4F07-A617-AC3AC53485A7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"52fa7d44b58d0511cb8993765bd916aef86052d8","datavalue":{"value":{"entity-type":"item","numeric-id":63092,"id":"Q63092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q293409$7C5274AF-737B-4744-8670-F805A8828503","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c38536433ca3187d3c315e3ccb89d3160798fa7b","datavalue":{"value":{"time":"+2016-06-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q293409$FDE8951D-901A-4853-8070-73D255BAD20C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c539343951b3790a295679e602777a2a43e3f1f1","datavalue":{"value":"http://www.sciencedirect.com/science/article/pii/S0020019098001446?np=y","type":"string"},"datatype":"url"},"type":"statement","id":"Q293409$381C9858-D9EC-4DE4-A183-617FCF7E9AF0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q293409$D11FD99A-786B-4F4B-A41F-AA8D542E0D2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"36d142e7ea03446b1d7deb9627eedb9f0297f86a","datavalue":{"value":"90C05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q293409$31E8269F-33A3-4A6E-8EE3-F711FBDB402A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35cb8465ca85ba26995d54be2905dc35556d665c","datavalue":{"value":"90C27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q293409$783690E9-0B93-4A8C-A159-4999A6342F2B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c97becdcc0000b4a0d1c130ef4621716ab38a222","datavalue":{"value":"6590775","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q293409$0187FD30-F873-4D6F-8460-58153924D79E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"252f9f9ed9fe8ca406cc19fba38a46c0414791ee","datavalue":{"value":"satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q293409$CDE69F89-E798-439D-BACE-B4347DFBA585","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c123c988a4455db85cc065f2e06e0a8051be65dd","datavalue":{"value":"combinatorial optimization","type":"string"},"datatype":"string"},"type":"statement","id":"Q293409$2A6470C0-5032-4BD4-9FF5-CC9AD5E6D0F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9d2aa687cef17cd912aad76972cec097c0540be8","datavalue":{"value":"automatic theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q293409$AF7EE4E3-46C2-48CD-84E8-90F2EF6DD159","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":"Q293409$10181B03-C097-4DD8-AF99-3A9693E6E175","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":"Q293409$70B401AC-5568-4EE7-B339-DE52FA81D1FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef757ecac8e00102e8fe2d81d7657ee3391ff698","datavalue":{"value":{"entity-type":"item","numeric-id":4138187,"id":"Q4138187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q293409$1949D082-7341-45E9-8296-E20D9D0DE600","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ce72939fe91d5048f3f15456a6a57a6d038776f","datavalue":{"value":{"entity-type":"item","numeric-id":5450796,"id":"Q5450796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q293409$2B024F76-C97A-4F8C-B2B1-A75B0170A678","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":"Q293409$8CFD5D47-0481-4851-95DF-7AD554FF66A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"43776265d6f22ea58f2c98b784e3d89a72b05b6e","datavalue":{"value":{"entity-type":"item","numeric-id":1854809,"id":"Q1854809"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q293409$4EE6F562-A1FC-4A40-81BB-30B1B39BEA7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"025287fa34dfaeffb6d2fe6b19b91f64b45bece6","datavalue":{"value":{"entity-type":"item","numeric-id":4259026,"id":"Q4259026"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q293409$10A8E462-CB2A-404D-8D59-D22CCE389659","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef0824e7c1362fccdfdf1f63d6b59cd53af5594d","datavalue":{"value":{"entity-type":"item","numeric-id":1377670,"id":"Q1377670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q293409$E0967099-300A-4858-874E-2A945124CD01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f066123a8088a45581db24e0e7a21e1c9b823952","datavalue":{"value":{"entity-type":"item","numeric-id":910335,"id":"Q910335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q293409$205CAA41-F878-4A31-B75C-F398EC76921B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"47cd24c6d47901945062d252218a902d69a3fedd","datavalue":{"value":{"entity-type":"item","numeric-id":5425332,"id":"Q5425332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b18e9ccd753990acdb66377417a35a6be94a04b5","datavalue":{"value":{"amount":"+0.8625601","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q293409$AECCFEAB-C0F2-4A2D-8557-1395BA1AFF72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"62ee832b83f9a47d7f89ea065c26618e5977abd0","datavalue":{"value":{"entity-type":"item","numeric-id":3786414,"id":"Q3786414"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b2951dffe91b1455400e95a3aece799f72cff008","datavalue":{"value":{"amount":"+0.86014026","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q293409$E7A22EE6-E300-405F-A2B3-67AB176E675F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2943f2957bfcfd4371a8051344f3221195f6eedb","datavalue":{"value":{"entity-type":"item","numeric-id":3730348,"id":"Q3730348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f0e19b9eade7e94f6d06af52ae04be0ec11429e0","datavalue":{"value":{"amount":"+0.8593227","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q293409$D25B1389-40BC-4D52-9635-219F9E17524B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a2ff08348939af19c27d13b9c27d2cf56116bb12","datavalue":{"value":{"entity-type":"item","numeric-id":5756579,"id":"Q5756579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7263d4b667e38bdf2f07f679225670fd3425565b","datavalue":{"value":{"amount":"+0.8563954","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q293409$7615F93C-2EDE-458B-8CE8-432C14CB0322","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3bbee9e5afc317681059426ab1b8fbb61e47f801","datavalue":{"value":{"entity-type":"item","numeric-id":3712243,"id":"Q3712243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8a88b7a30280f0b692e34d78cb7728072e95ce5b","datavalue":{"value":{"amount":"+0.85295","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q293409$3972F17E-CA2C-4660-84AC-38AAD8DFBB4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f047ca6dae405ea72aa7bb44ac59e3a095b8177f","datavalue":{"value":{"entity-type":"item","numeric-id":1597646,"id":"Q1597646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4748317949d0cb37c04772a28d19913423516681","datavalue":{"value":{"amount":"+0.8498752","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q293409$9D0F7534-7F1E-40F8-BBE3-79B055AF88D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"651006af4f64a7c4bbcbdf5718f802833b4f6a47","datavalue":{"value":{"entity-type":"item","numeric-id":4651809,"id":"Q4651809"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"144554893e1d35720666f070ad8648509be191cd","datavalue":{"value":{"amount":"+0.8495928","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q293409$B16BFD56-ECA6-4FEE-81BA-BC3D7BED71C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"af19ccdef1e99b8edba00a8411399340c3366375","datavalue":{"value":{"entity-type":"item","numeric-id":1028433,"id":"Q1028433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eb9cc3f302aee2dafae7b7b8135260565e606e8a","datavalue":{"value":{"amount":"+0.849397","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q293409$79370E7A-13C2-439E-8A08-96103381457D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cf0aedc9ab020fd4f2399901fc4d3cbbfbee8ec3","datavalue":{"value":{"entity-type":"item","numeric-id":5202080,"id":"Q5202080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"48eb5532dd26a90398dd69a7279e8a76d349868f","datavalue":{"value":{"amount":"+0.8491823","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q293409$A081AA79-844A-4FD9-9D2B-2C687CACEC84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"afa2e0870ce0c7406b622070b4d6a7f47c6cb2fe","datavalue":{"value":{"entity-type":"item","numeric-id":3502711,"id":"Q3502711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ced23a33d3e343c768df1c4ea7f9a01dc88a6a5c","datavalue":{"value":{"amount":"+0.84746134","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q293409$07F491AA-47B4-4D8B-86E8-8529AB08E0B0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A linear-time transformation of linear inequalities into conjunctive normal form","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_linear-time_transformation_of_linear_inequalities_into_conjunctive_normal_form"}}}}}