{"entities":{"Q918954":{"pageid":920802,"ns":120,"title":"Item:Q918954","lastrevid":49408639,"modified":"2026-01-07T02:54:11Z","type":"item","id":"Q918954","labels":{"en":{"language":"en","value":"Modeling and integer programming techniques applied to propositional calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4160686"}},"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":"Q918954$7002F05B-5801-4C24-A6DC-BE889150E4FC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"beffb25d9339a3075aaa8e72201f84b5e1d01c26","datavalue":{"value":{"text":"Modeling and integer programming techniques applied to propositional calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q918954$5311122E-876D-412D-AF46-3E138CDB1CA2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a2a454fe91b954800a417c54235d61bfd6dc437a","datavalue":{"value":"0707.03009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q918954$B9333FAE-5D39-452F-9A03-6A9AD5E1D6DE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f446c702d3a9a38cd4da35376b3a3ff5f6974723","datavalue":{"value":"10.1016/0305-0548(90)90062-C","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q918954$B8A27406-90E5-4D74-A242-34819DDDA045","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6a89a2b65701546af96a2adafac628f33553721b","datavalue":{"value":{"entity-type":"item","numeric-id":606596,"id":"Q606596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q918954$F5DDBCA9-3279-4B9A-976A-A6A3AB6822FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ae97bc4877ac0397e1758940b0c6a6662202316b","datavalue":{"value":{"entity-type":"item","numeric-id":167615,"id":"Q167615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q918954$E8E64011-FEA9-4FAA-B61A-502275AF130D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"60b9276de56bcd7d8770ce9b6ae121e562753552","datavalue":{"value":{"entity-type":"item","numeric-id":918953,"id":"Q918953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q918954$BED0E586-3B28-49FD-8047-37F2581A6E85","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":"Q918954$39541AD4-4BCA-4511-8B45-884FB091F138","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":"Q918954$283835A3-DAB5-4AFC-AB1E-68424A400592","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q918954$E8FF820E-3AB7-407B-9B7C-DFF0A7ED6639","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6958ea3363ca9244e0da0201efd237a8410f9a0c","datavalue":{"value":"90C09","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q918954$3B7AF37F-7120-4D1C-BFDC-DA508019FFEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"418d4d19aa7c87e33d52e580c9c108a1bc2de096","datavalue":{"value":"90C90","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q918954$EFDD5849-6028-4641-83B0-126EF3EDA35D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"419d6f2b09c39920e34f63114ff159a2f0a01812","datavalue":{"value":"03B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q918954$23CDAE14-4FFA-422C-927F-4B83E303F0E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q918954$1386330C-D8AF-467F-AA2F-196D84D6F689","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"11e04abd98e704649e0ff1574c71ae04fe5f39ed","datavalue":{"value":"4160686","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q918954$FCB9E68E-B175-47BD-8293-A331784C7A72","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c26e85a133324be1c949d40b216e6d8f83acb1f7","datavalue":{"value":"methods for constructing a 0-1 integer programming problem from a propositional calculus problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q918954$019A2576-A456-4D00-BB8B-AB994D44DE99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bc2aac464349879cf63e2c071cd0c41c3dd979bb","datavalue":{"value":"methods of preprocessing the logical inferences into constraints","type":"string"},"datatype":"string"},"type":"statement","id":"Q918954$00718B33-D849-403E-B28B-AB07665DEA26","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":"Q918954$FA3B3EA9-B842-4DA6-AFB2-FB366BD2D588","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":"Q918954$4ABD8A64-2B86-4E90-AB42-ED82FE134A9D","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":"Q918954$334CC1A7-9F24-4850-A7C8-9DCAAB51A185","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":"Q918954$8981364B-B3DD-4839-9530-1B3005D41937","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":"Q918954$A954101E-E0EC-418F-AD37-19E1DB4D833B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8d4dd5bceceefe59d68bd27b9be9b1811235921","datavalue":{"value":{"entity-type":"item","numeric-id":3347628,"id":"Q3347628"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q918954$6F389F64-7DD1-40C8-A734-70923CB90668","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2b70805b996ac71796cbf64a76b6ecca1430283","datavalue":{"value":{"entity-type":"item","numeric-id":3680754,"id":"Q3680754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q918954$8699650B-F1D3-479F-B8EF-7A099C1FC92F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40709cf65d27feb415151e733d70bcb0fb2c8775","datavalue":{"value":{"entity-type":"item","numeric-id":5677289,"id":"Q5677289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q918954$008D61D8-204B-4BE9-81BE-2396E006C92C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b04d40c31014fccd7a519094c8ec2ae4634b6ea7","datavalue":{"value":{"entity-type":"item","numeric-id":5181541,"id":"Q5181541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q918954$E7082D06-15E3-4F98-8516-6B74A2B7F9DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"63f88d37a7e37606cc700aec91b24889a0d1a60d","datavalue":{"value":{"entity-type":"item","numeric-id":3686428,"id":"Q3686428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q918954$93E8F2E7-FA52-41FC-807F-D0FEC0901D2A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ffdf39048306b41407b528b77be7b02f20c129b1","datavalue":{"value":"https://doi.org/10.1016/0305-0548(90)90062-c","type":"string"},"datatype":"url"},"type":"statement","id":"Q918954$23EAE8BC-2382-433D-9232-B72F0C8CCC0E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0867a2beda7d4915cf111dc928e997af3e2f9f35","datavalue":{"value":"W2038014203","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q918954$7CFE3CC9-169B-4479-8BF8-F837A8FAF7F1","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":"6d1abf713d610c96ae614ef7cdf095e40fd38318","datavalue":{"value":{"amount":"+0.8063986897468567","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":"Q918954$7B43ED83-EAC6-4F6B-A5EA-1F8490714860","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8a6e9f7410a421c3a45390921c3d716ef681fee4","datavalue":{"value":{"entity-type":"item","numeric-id":910335,"id":"Q910335"},"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":"Q918954$7CF959B3-A540-4233-B7FF-016CE3FF36F2","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":"5d3dec96e8249810f6a9dd8c2fc528c8e0bbf79e","datavalue":{"value":{"amount":"+0.7755551338195801","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":"Q918954$6E95279F-0275-4100-931B-929BA9B6B19C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3fd2d2305741807fcd957c6d5ff9562d76a47fc2","datavalue":{"value":{"entity-type":"item","numeric-id":1193860,"id":"Q1193860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6463b002fe5f454c685cf6e22ed50ccbee15cdee","datavalue":{"value":{"amount":"+0.7740412950515747","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":"Q918954$8EDC338D-0E03-4A25-BC85-C5066FA05E51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0f13c94c9234280fd374292f6b0e2b26b5259a7a","datavalue":{"value":{"entity-type":"item","numeric-id":918417,"id":"Q918417"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e649f5ee534fa8e8d7885e586e3e8cbce7e4f863","datavalue":{"value":{"amount":"+0.7739918828010559","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":"Q918954$EA6D2BD4-1632-49BA-BE80-318D0FD38C69","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:918954","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:918954"}}}}}