{"entities":{"Q910335":{"pageid":912183,"ns":120,"title":"Item:Q910335","lastrevid":65307705,"modified":"2026-04-12T01:41:17Z","type":"item","id":"Q910335","labels":{"en":{"language":"en","value":"Compact normal forms in propositional logic and integer programming formulations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4139487"}},"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":"Q910335$CDAA06D0-A786-4D15-AA56-7DF0F97FF4C6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4919944e5f9b8239b12e60df1a2a90732ad1e464","datavalue":{"value":{"text":"Compact normal forms in propositional logic and integer programming formulations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q910335$6608324C-FDCB-4B06-8D93-AE70DA9E4510","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8d276356cdd074735567f904f69cfb7d8e4938fa","datavalue":{"value":"0695.90064","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q910335$4E09396A-2316-4EF0-9C0D-1784756E76F6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"dd8b42d8e5352e61369f0733c5f5fa2d3e3bba51","datavalue":{"value":"10.1016/0305-0548(90)90007-T","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q910335$5C516733-DDEF-4808-8288-9AE4FD14FB0B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"bd2e3298eb1df4ccd241d554289ae7456ad7b938","datavalue":{"value":{"entity-type":"item","numeric-id":241136,"id":"Q241136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q910335$98307778-40AE-419E-9523-B6B7478C204E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e630590c5ca6e787c3c7b5e291898405495fea2b","datavalue":{"value":{"entity-type":"item","numeric-id":162215,"id":"Q162215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q910335$1C411C1E-2E97-4268-8925-0CD6FD6DC7D3","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":"Q910335$17C11694-E8B0-4114-93C6-87FA97E520E4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"3feee98fb6a1a95642ba0c6a16390527874922bf","datavalue":{"value":"90C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q910335$12C6D497-DBDE-4206-96C0-F29338EAFF1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"419d6f2b09c39920e34f63114ff159a2f0a01812","datavalue":{"value":"03B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q910335$B1555DE8-E219-4867-9070-BDA083E839F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q910335$5A321F67-DCF9-4E68-9012-52E9BB48E123","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf44f3ad3a2f88c9b2a45e4395030d611f0589bf","datavalue":{"value":"90C11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q910335$06764E59-4651-466C-99BE-8ED5AE299732","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"98e72304cedb658b37d6d01462dbfbfe18805349","datavalue":{"value":"4139487","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q910335$073F403C-5AD3-4007-8071-921C58DBCF43","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b4c27a8414208eba22b391b2c3a982e6e5e1d84b","datavalue":{"value":"linear time algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q910335$0A4E062A-D8FB-4470-A381-801F0BB52B94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bfded98921fb7d9cf722f229333546d869ef30c7","datavalue":{"value":"satisfiability problems","type":"string"},"datatype":"string"},"type":"statement","id":"Q910335$B52D08BD-6AB5-4A7F-8B6B-7346D13A0161","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"93c047fb19c5161b32c5245d5c8c28b4500157fe","datavalue":{"value":"propositional logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q910335$DA9A6623-BF07-4F64-8780-5550D279DD30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cdc6164cf25ab131dbb818bbd16bab28b6f9d095","datavalue":{"value":"branch and bound","type":"string"},"datatype":"string"},"type":"statement","id":"Q910335$8A4D005D-9CAB-4A57-92F8-7D3DA9757D16","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":"Q910335$64DAAB5D-ACE5-4988-9DF0-BF155CD73274","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d9280c811dfca3e0a1e7b8a5631187dc6d470a7","datavalue":{"value":{"entity-type":"item","numeric-id":5668612,"id":"Q5668612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q910335$EBBFB40D-5BCE-4109-957F-CFCB58BA2C4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"83f044b0c863f44fd18b3a5554b827f0cfe12865","datavalue":{"value":{"entity-type":"item","numeric-id":3680609,"id":"Q3680609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q910335$468F928C-1ED2-4AB6-9023-F32D8BEF826E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b02dffcf5e7222b68bb3d3668ec4c34ed414dcd2","datavalue":{"value":{"entity-type":"item","numeric-id":3217950,"id":"Q3217950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q910335$A02243B6-C9DC-4A1B-AB75-EC271FB77D10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aa03fdd53c1b9f8eb1141c56fc2bb4afc212b013","datavalue":{"value":{"entity-type":"item","numeric-id":1821034,"id":"Q1821034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q910335$1A6D4CD6-A79E-49B7-B180-C17C4D7595D7","rank":"normal"},{"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":"Q910335$1BFA8BD6-30C7-4CDA-AD1D-5C4093E2F172","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0591701a79dc243f0efc3406b890d83907ab0bce","datavalue":{"value":{"entity-type":"item","numeric-id":5685059,"id":"Q5685059"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q910335$B17067EF-EBC0-44FB-A79B-1DADC9FC0F01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"edf242bff06b3cfb64fec5b7797dc2987972ac9e","datavalue":{"value":{"entity-type":"item","numeric-id":4165152,"id":"Q4165152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q910335$C26A24C8-BD9A-4F56-A62B-3DC693CC7A17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c9ab05045e7904c9515f380269cb7283f61730e3","datavalue":{"value":{"entity-type":"item","numeric-id":3582649,"id":"Q3582649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q910335$CE80B961-1971-4679-A069-8CCB84982137","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d9a872690aae65aa8cbfced9522c07629e0a8e21","datavalue":{"value":{"entity-type":"item","numeric-id":3862380,"id":"Q3862380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q910335$8CE9E683-4C11-446A-A231-127903F33FB4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b019bdc4c4fb703ac8807f4975fd50e76f5d7f40","datavalue":{"value":"https://doi.org/10.1016/0305-0548(90)90007-t","type":"string"},"datatype":"url"},"type":"statement","id":"Q910335$B4F90470-A817-43D5-BC0C-B371E9BA681E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"40b9d19dc63dcd30a2863a6cee18dbc5c07d3cdb","datavalue":{"value":"W2003707332","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q910335$13A9053C-7FEB-406D-8DC5-55278ECE216F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5e4c31b5d47a5429520762cfff169ae421addc57","datavalue":{"value":{"entity-type":"item","numeric-id":1130078,"id":"Q1130078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"53293cba4fe55cbba3e55491ed5fa6e8e11d5aa7","datavalue":{"value":{"amount":"+0.819157600402832","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":"Q910335$1F56C919-20BA-4EFA-991B-CB883D5194BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e88e048a538621a26aae1dffbbfee6482cac1e42","datavalue":{"value":{"entity-type":"item","numeric-id":1100931,"id":"Q1100931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d27280b516d496c813f78cf51e75dcf8d3b44075","datavalue":{"value":{"amount":"+0.806997537612915","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":"Q910335$53B14B69-A665-45CC-B9DA-243E6D52F6E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9f5d1db686ce741871b5846578f3bcb83e6f17b1","datavalue":{"value":{"entity-type":"item","numeric-id":918954,"id":"Q918954"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"42c68946c798e1d545fecbefa49ac1452331d8cb","datavalue":{"value":{"amount":"+0.7997609972953796","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":"Q910335$A38BBB3A-FF09-4079-AEF2-D8266667F912","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b2b5f9e44cd6bf3fedfa263736b4e252239822ff","datavalue":{"value":{"entity-type":"item","numeric-id":1210858,"id":"Q1210858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"42eae3f6265c649526671a4ea94ed2daed82346f","datavalue":{"value":{"amount":"+0.775142252445221","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":"Q910335$BC5EA414-7408-48BD-AA7A-D3BB52015EAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c5182dd650ac83bd21ea8c81116628ca9581f1ff","datavalue":{"value":{"entity-type":"item","numeric-id":999171,"id":"Q999171"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"74ef2ad0f1452aea5bf000a4649b8e773fe04a65","datavalue":{"value":{"amount":"+0.7578939199447632","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":"Q910335$93CFA3F2-D74E-4A9E-A6E3-9AB0F161CF19","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Compact normal forms in propositional logic and integer programming formulations","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Compact_normal_forms_in_propositional_logic_and_integer_programming_formulations"}}}}}