{"entities":{"Q5194955":{"pageid":7224527,"ns":120,"title":"Item:Q5194955","lastrevid":58476366,"modified":"2026-04-05T09:33:02Z","type":"item","id":"Q5194955","labels":{"en":{"language":"en","value":"Pushing the Envelope of Optimization Modulo Theories with Linear-Arithmetic Cost Functions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7105952"}},"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":"Q5194955$1C762CC5-CCB0-460D-9A37-FB9BB2EF7C18","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f1f4a6b3f69fd20b6e85493db4148724106caaeb","datavalue":{"value":{"text":"Pushing the Envelope of Optimization Modulo Theories with Linear-Arithmetic Cost Functions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5194955$216A28D1-D0B7-4C18-BE71-66232A5A6E58","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"762be58c2f9c126516bdb52c12a27fb74b0bc9d6","datavalue":{"value":"1420.68197","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5194955$7ED772C3-C083-4FFE-A5A5-69881487FA51","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9cf46bf1f44a56a3b702f15b84bed39629f064bd","datavalue":{"value":"10.1007/978-3-662-46681-0_27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5194955$83BEFA92-3795-48FF-BF23-7406082544F4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4fd5a076641129df5baba24779caed9dec893447","datavalue":{"value":{"entity-type":"item","numeric-id":511776,"id":"Q511776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5194955$448DC4F1-CBA7-4C27-9A1A-EB5EEAA8B602","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d815e8cf70ea3e857994d7efa2393de98d582fe8","datavalue":{"value":{"entity-type":"item","numeric-id":831942,"id":"Q831942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5194955$AE4BFEBF-01A7-4379-978B-2BED2F573B3A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"0caef843b05c7cfb5667c1a8106613cbf61a6d23","datavalue":{"value":{"entity-type":"item","numeric-id":2894263,"id":"Q2894263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5194955$73A3FE3A-D402-45CC-B2E2-E1A367170919","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"860c75d427a5be90563ac8b1b9f2dee75426aaaa","datavalue":{"value":{"time":"+2019-09-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":"Q5194955$52A24033-7CE5-4F5A-BA65-C93EA0A925B9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"46f7e3647e925e624e7e3f94aea888c48d22791a","datavalue":{"value":"https://arxiv.org/abs/1410.5568","type":"string"},"datatype":"url"},"type":"statement","id":"Q5194955$D1210BF4-10C3-48B3-8766-5CE3C297EFEB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5194955$220F8417-AFD1-458B-AE71-94ECC3616EA4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fd0c22cac8693312e6be44a4d545f15e07541fe8","datavalue":{"value":"7105952","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5194955$0A09CD60-10C9-41A0-B095-FE4792929677","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f87bba742306974163f617f805cb2153c05d9c59","datavalue":{"value":"cost function","type":"string"},"datatype":"string"},"type":"statement","id":"Q5194955$7A1A32F3-4639-41F8-AB99-A9CC6A8A4F3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"12bebbfe5ebf3780fada27004fe873ccb59de944","datavalue":{"value":"truth assignment","type":"string"},"datatype":"string"},"type":"statement","id":"Q5194955$86734447-5E1D-464B-85CA-D8AB5A6E2490","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dc60f8b4a637a6c4ef60783748ce8e2612a7ed2a","datavalue":{"value":"unit clause","type":"string"},"datatype":"string"},"type":"statement","id":"Q5194955$61A0566B-EB94-4B73-B48B-3AE242F1DDFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9be9c1bfb790fc85ca919d5a7c80b1115d03c58b","datavalue":{"value":"bound model check","type":"string"},"datatype":"string"},"type":"statement","id":"Q5194955$3107AC37-6AED-4DEE-BE9C-45B6E34F898B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5495f9680e36e70fec7f03c8e4feca266017a84d","datavalue":{"value":"incremental version","type":"string"},"datatype":"string"},"type":"statement","id":"Q5194955$3409E553-6275-4E23-91B5-3C69FE2A7611","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":"Q5194955$739C1B10-AAE5-407E-A739-4F07D557CD17","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4dddc44fe91030270d8d8770caf78bd6a0e49c32","datavalue":{"value":"W1544041853","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5194955$38417509-0ECF-4D86-B0C8-13E7647DC735","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"16839c25443af1f0ca407fedc6c659d44618ee57","datavalue":{"value":{"entity-type":"item","numeric-id":2946768,"id":"Q2946768"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1418622f35f8dd5a779c797c504aaf43276b43a1","datavalue":{"value":{"amount":"+0.9324055","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":"Q5194955$F3159F2B-CA33-4432-8EA3-3D2863FB4D44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8ef39f57f671e5dde384f46560de9b7bc2def66c","datavalue":{"value":{"entity-type":"item","numeric-id":831943,"id":"Q831943"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4ff7dce494237e702dd6b3250b5311f02a1c3733","datavalue":{"value":{"amount":"+0.9178574","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":"Q5194955$8935220C-2701-4871-A609-137D547C08F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"856f1bde7c6085186ad7290165f8925b658b2302","datavalue":{"value":{"entity-type":"item","numeric-id":2117225,"id":"Q2117225"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b39dda65dacc4bbb1e54f44dbd5a5b2dfaf36180","datavalue":{"value":{"amount":"+0.88988686","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":"Q5194955$E3A15FCC-8137-40CB-988D-1627DBC5E689","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7206442d0c2e572a6f66d9e37028b357098d98eb","datavalue":{"value":{"entity-type":"item","numeric-id":4250176,"id":"Q4250176"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6df50885c73f011f9828f0f72417fa5661f90fd1","datavalue":{"value":{"amount":"+0.87101233","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":"Q5194955$BB24E95A-D231-4B3F-B81E-DD4792FDE2E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"81902c7e3b10892a3d4d50dd99785140e273d0c3","datavalue":{"value":{"entity-type":"item","numeric-id":2786906,"id":"Q2786906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a3f7429ccf9985f60467ab80bc96cb5caf2f1683","datavalue":{"value":{"amount":"+0.8689613","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":"Q5194955$F2C0B873-9E73-4830-B293-FD9F8687FC7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"152bdffc2a57e08a3b91e84149cfd02d3244c0c1","datavalue":{"value":{"entity-type":"item","numeric-id":2110398,"id":"Q2110398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a8f962ee3dafbf91be91183ddd6f357db6f73794","datavalue":{"value":{"amount":"+0.86393213","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":"Q5194955$1107AEA3-05B0-4766-992A-2DF074AAE12D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"85832b6e50f1680b3a5940fa9d501ffb4b2683c2","datavalue":{"value":{"entity-type":"item","numeric-id":1807651,"id":"Q1807651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"757aa4b9cf66adacbd0bf45c64498501b5619cd6","datavalue":{"value":{"amount":"+0.861853","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":"Q5194955$B6AEEDB3-C905-47AE-B7D1-AEC46E2A3267","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"44326a7fc145e783db8617c61fa02c2c35c4d6c7","datavalue":{"value":{"entity-type":"item","numeric-id":1380938,"id":"Q1380938"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1b2cbee3b8f17918bedf543ca12e81c58d332424","datavalue":{"value":{"amount":"+0.8582468","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":"Q5194955$287E8FD5-A665-43B0-9AFF-882ACF6583DB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5194955","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5194955"}}}}}