{"entities":{"Q5450941":{"pageid":7480500,"ns":120,"title":"Item:Q5450941","lastrevid":50308433,"modified":"2026-01-13T19:19:23Z","type":"item","id":"Q5450941","labels":{"en":{"language":"en","value":"A SAT-Based Decision Procedure for Mixed Logical/Integer Linear Problems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5250249"}},"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":"Q5450941$19BF9213-2898-445A-9248-B795658A7EE2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5125e2484e6c5ad51f392935040b0aada4aad32f","datavalue":{"value":{"text":"A SAT-Based Decision Procedure for Mixed Logical/Integer Linear Problems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5450941$E0DD0ADE-BBC0-4A37-AF8E-CC0D815B896E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3f83c3d0d71b28ddee4c60b956430ed802b42012","datavalue":{"value":"1133.68435","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5450941$52A94FDE-DADA-41DD-A2CE-BD1385B8C3D3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"80811fcab7185b1d65b83fa59f4d0751d109010a","datavalue":{"value":"10.1007/11493853_24","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5450941$BDD95E12-3922-4FCD-B134-B3924BD1E885","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6dfb0a28ae9e145ead186547ee038757cfe7f14c","datavalue":{"value":{"entity-type":"item","numeric-id":3429160,"id":"Q3429160"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5450941$583D2C45-78D6-4131-9303-B7FBAC77F8D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8013d305b47d697f8601f0132fb4d3c53591069c","datavalue":{"value":{"entity-type":"item","numeric-id":976992,"id":"Q976992"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5450941$8D5FA935-DB7F-4A6D-BF7C-A9A3133FE22E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9b5703dbefadb0dc8a94567ea5d35c321580fcba","datavalue":{"value":{"entity-type":"item","numeric-id":3003269,"id":"Q3003269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5450941$5F46A07E-7214-4071-80B8-A902F7C46237","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"700ff7eb014c3e2f5bd4eebd397c23ca0f70e644","datavalue":{"value":{"time":"+2008-03-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5450941$6549F715-4359-4D50-A55A-56C2FA6B226D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5450941$3196C245-FAF3-4FE8-895B-AB9AD068D3A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35cb8465ca85ba26995d54be2905dc35556d665c","datavalue":{"value":"90C27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5450941$161F7613-455D-44E9-9225-1A282A0EF3B9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8608517b4e2b3b4a2d718bf4c19dec17a3fefb36","datavalue":{"value":"5250249","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5450941$6BD3A47B-5470-4533-ADDE-31FF790582A7","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8449db7d9aaa28101ba7b0de8e98d9c446365070","datavalue":{"value":{"entity-type":"item","numeric-id":13332,"id":"Q13332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5450941$70200142-F0E6-40F3-B094-F04C68087BE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"478f9061f14e098e3fdf3fe3667d3a7084c42e61","datavalue":{"value":{"entity-type":"item","numeric-id":18982,"id":"Q18982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5450941$95C1C4A7-3A1E-4043-BFDD-0FBB921D4101","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":"Q5450941$0C6A2AD6-2B57-4FCD-A7F9-4C46CAC8B32A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f4ab63822777e765f35db345e3ba7ea96c25b0e1","datavalue":{"value":"https://doi.org/10.1007/11493853_24","type":"string"},"datatype":"url"},"type":"statement","id":"Q5450941$10ED71B1-E0B1-4AD5-8BDF-CFEDDE850C36","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c1d49d3590a1f54e3e6e7585e213827e091adcea","datavalue":{"value":"W1540181924","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5450941$8E9BB09F-BACC-401C-AA4B-811712881C03","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c21f59ded92522239461f82eea1be1298a945478","datavalue":{"value":{"entity-type":"item","numeric-id":5713714,"id":"Q5713714"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f2345c99e149004008ef064abac6802b275cbd29","datavalue":{"value":{"amount":"+0.8741008043289185","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":"Q5450941$FAC55723-8830-443B-A8A6-B6C80D57B933","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6ef471a74d97e05389ec5460f046dd282dab09c9","datavalue":{"value":{"entity-type":"item","numeric-id":5309034,"id":"Q5309034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2929aee87179f941b1e329abc456956d52c6aaf4","datavalue":{"value":{"amount":"+0.7979752421379089","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":"Q5450941$179EB57F-0AA9-4131-9354-8EA510DBDE8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b055643e9809efe3811e9c8d19346780377f3d87","datavalue":{"value":{"entity-type":"item","numeric-id":5491898,"id":"Q5491898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3bbaefb25a9e478bee298d2a1f730933788e08af","datavalue":{"value":{"amount":"+0.7575391530990601","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":"Q5450941$BEA2FF85-A164-46B0-89A2-3CDFF0B84D41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ac3616577871be6e3df6caca624d2489260d7e79","datavalue":{"value":{"entity-type":"item","numeric-id":2899084,"id":"Q2899084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7a6f5c1c1db0c04024aebb90d4f02f8d009865b6","datavalue":{"value":{"amount":"+0.7417172193527222","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":"Q5450941$51626857-8C1C-426A-A21F-A356B779E777","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"491d1e2c981881103d04499ddf67b94cdb44c034","datavalue":{"value":{"entity-type":"item","numeric-id":4809056,"id":"Q4809056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"daaa25b0f40275f99ce9660d53c0b0b5dd1b4400","datavalue":{"value":{"amount":"+0.7393310070037842","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":"Q5450941$982CBADA-89EB-481E-8CED-5DC1E8196568","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5450941","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5450941"}}}}}