{"entities":{"Q2786906":{"pageid":2797644,"ns":120,"title":"Item:Q2786906","lastrevid":52463195,"modified":"2026-01-22T17:19:56Z","type":"item","id":"Q2786906","labels":{"en":{"language":"en","value":"A practical approach to satisfiability modulo linear integer arithmetic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6544914"}},"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":"Q2786906$C342E13E-798C-41D5-8F55-6183F4880014","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0f6ab71bdb0ebc81e3493e24c78e3d39f8855de6","datavalue":{"value":"1331.68207","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2786906$8624B3F4-A2D4-405C-A384-56DD6DE04A20","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e97e7d65eece04188cb1a1dff66ddc09c38fbea4","datavalue":{"value":{"entity-type":"item","numeric-id":479835,"id":"Q479835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2786906$407C7016-B8AA-4531-897A-850E6263B90D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f429de4bb61af0cec7dd689742f7976bba897976","datavalue":{"value":{"time":"+2016-02-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2786906$D7576C9F-C63E-4B81-A429-1B8B3A971946","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2786906$899EEA19-C964-4C6E-89BF-96FBE1D9DDCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2786906$7D146CF3-C67C-4134-BD5C-D953BE3E597D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6958ea3363ca9244e0da0201efd237a8410f9a0c","datavalue":{"value":"90C09","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2786906$DBD88A03-2063-4307-9544-FADC06BC5918","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c510c10425bf8387b91968c627d4674095e41a61","datavalue":{"value":"6544914","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2786906$F543CB55-A78C-4BF3-BA04-3557336C0B82","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dc37cf6bf1a4fd159f089028e999146e64828fa8","datavalue":{"value":"SMT","type":"string"},"datatype":"string"},"type":"statement","id":"Q2786906$ECD1787E-3E4E-4C6C-982E-DF849CAA7C50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f639dd826426a9db2c07ef27a249d982cf6eb1db","datavalue":{"value":"linear integer arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2786906$2950D12C-4384-4795-8B62-6C6F66D97332","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dfd2ae52b3325778b0c72742b08c947a3c4a2c65","datavalue":{"value":"decision procedures","type":"string"},"datatype":"string"},"type":"statement","id":"Q2786906$8CEF1BE0-C22F-4E03-B21F-3EECF7B0E718","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":"Q2786906$E605A37E-EF35-4941-AB04-1B583F919E6A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c228b007f6be4d7094c3d5fc5ab3003afcd42ac3","datavalue":{"value":{"text":"A practical approach to satisfiability modulo linear integer arithmetic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2786906$59B74371-53B8-49AB-B12D-4DD8F75F9B1B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b42cd1190c17abf3583de3251015c8863d46fb20","datavalue":{"value":{"entity-type":"item","numeric-id":6618904,"id":"Q6618904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2786906$D975C56C-CA6A-47DF-8530-FEAB83A1DF58","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"18ba98873d052f5816175646d512a17079b79c03","datavalue":{"value":{"entity-type":"item","numeric-id":3176369,"id":"Q3176369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1cbc302bda432078acf41851cd494c10b5f6ad55","datavalue":{"value":{"amount":"+0.8029991984367371","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":"Q2786906$4EEE84A0-5015-4C1C-9F4A-7F929321C429","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b24a5d485e1040fd0f9f0b64ebccef01f930fd47","datavalue":{"value":{"entity-type":"item","numeric-id":3506045,"id":"Q3506045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ec3320bdfe391d8719ab58d1c334c1bc60c5583d","datavalue":{"value":{"amount":"+0.7979414463043213","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":"Q2786906$6BC43EDA-72E6-43A8-B295-C7BB97D2C32A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"44a43da73541e40b8d93166832aeb92cd4bee415","datavalue":{"value":{"entity-type":"item","numeric-id":2830018,"id":"Q2830018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b70d6d7650de7f0fe55fe4b66921ba4d3599920b","datavalue":{"value":{"amount":"+0.7945655584335327","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":"Q2786906$568752A6-83B8-4061-8142-C02B2386D6F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ff398daa810e103a4cd1e0b35ba7a69419d933d0","datavalue":{"value":{"entity-type":"item","numeric-id":5703769,"id":"Q5703769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2cc2bf1c72106e3fdfcab0144be0fbe129bc3363","datavalue":{"value":{"amount":"+0.7913029193878174","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":"Q2786906$8A031EED-B944-49ED-935A-512A93B283A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"13004038faffc696fbd1f83fa37d6804792ecd3b","datavalue":{"value":{"entity-type":"item","numeric-id":5891705,"id":"Q5891705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f4056e2d1698c4750e3181914a6b6de9cfba31a2","datavalue":{"value":{"amount":"+0.7834374308586121","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":"Q2786906$20E82BF1-4EBC-40B7-A054-6C57FEA7A981","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2786906","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2786906"}}}}}