{"entities":{"Q3454126":{"pageid":5233526,"ns":120,"title":"Item:Q3454126","lastrevid":88240847,"modified":"2026-06-04T14:00:25Z","type":"item","id":"Q3454126","labels":{"en":{"language":"en","value":"Linear integer arithmetic revisited"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6515536"}},"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":"Q3454126$33036F89-6774-4D48-9125-8B92EFC706F4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"12fd1af13171ddc813daaaadf3cf63c00b89be65","datavalue":{"value":{"text":"Linear Integer Arithmetic Revisited","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3454126$092034F3-A20F-487A-BA30-1D1DF43C2554","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fae7f58f08851647180d036219930a85aa81844b","datavalue":{"value":"1432.68596","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3454126$17BA28E7-E0D8-4B73-8980-8B4BB76A8955","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b12b067624ff729c7b31e44f5ccb7f28648812aa","datavalue":{"value":"10.1007/978-3-319-21401-6_42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3454126$6903EC1A-18A1-445E-83F2-3EC510F90BFC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fa7d05503577a5b9fd70ce583a8b9f4a6bc04b14","datavalue":{"value":{"entity-type":"item","numeric-id":831910,"id":"Q831910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454126$B1C31C34-DE4B-4A04-9E61-7406C9233525","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"88fef90536607302e7947311cb2b9ecb62ed5ea7","datavalue":{"value":{"entity-type":"item","numeric-id":349839,"id":"Q349839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454126$B70FAB02-420E-482D-A3E7-615C0B909DBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e858e644a5f8f9e799cff3da307c11b687abc60c","datavalue":{"value":{"entity-type":"item","numeric-id":831914,"id":"Q831914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454126$62EE9BD6-64EF-42D4-955B-5D4391BC859F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3cc4c7edeb37e5e3024aeff0de74501df6e066e3","datavalue":{"value":{"entity-type":"item","numeric-id":3454078,"id":"Q3454078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454126$764E031A-C759-4538-A7E2-E329371B2FAA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9f34c33daac76be2878f4eb0eeca7aa927e679a8","datavalue":{"value":{"time":"+2015-12-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3454126$EA60BBBC-9AA0-4265-8232-69C7167D9BA5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0bd5b6f30c9e6c0035c592d79a2669d35be00b71","datavalue":{"value":"https://arxiv.org/abs/1503.02948","type":"string"},"datatype":"url"},"type":"statement","id":"Q3454126$E70668B2-C075-4260-AB01-2F725962CB61","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3454126$1C3BEE5D-A02C-4601-9112-2318D540270A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3454126$FD562A6C-CCBD-4AEB-9EDD-84E0469F1E4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7083a5d146d78edf9fc7469a5d9b0c104122f1b7","datavalue":{"value":"68R07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3454126$897C0B7C-3389-4338-984A-3813C3DCC0D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3454126$16DE94FD-4F62-4DDA-AD9D-658F9F2607CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3feee98fb6a1a95642ba0c6a16390527874922bf","datavalue":{"value":"90C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3454126$F6454D58-8E42-4279-AF09-4DE43EC6C787","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ee004afd8ab7d09591eaa6eef9c8038046542ad0","datavalue":{"value":"6515536","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3454126$10FD2A22-80F5-4747-BD7C-BA2E3B1B3AFE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"312ed6497197fe722552104318fb5c842ebebed4","datavalue":{"value":"linear arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3454126$568503E7-69ED-45DD-B36F-E38BA9690EA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dc37cf6bf1a4fd159f089028e999146e64828fa8","datavalue":{"value":"SMT","type":"string"},"datatype":"string"},"type":"statement","id":"Q3454126$3CB149BE-AEFB-4110-9E54-07236DA23C9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5867ec7b44aefc01672736513dfe6410a0300cd5","datavalue":{"value":"SAT","type":"string"},"datatype":"string"},"type":"statement","id":"Q3454126$0525E5C2-6862-4C76-B7CC-4DB50A34CE6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1f7ac674268224c9b1b4b60f07b959745a70f08d","datavalue":{"value":"DPLL","type":"string"},"datatype":"string"},"type":"statement","id":"Q3454126$A6D6587D-7A64-4E24-8AC9-3EF50D9F459C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a08efa1a08a750d06fca0196004a17a02a35c592","datavalue":{"value":"linear programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q3454126$071E485A-70B4-44A7-9DA8-479CEF8FB1A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"97e440dbdf4e2e0e7ed379f5b792b2776387d3b7","datavalue":{"value":"integer arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3454126$1613E39C-12D2-4525-8121-FC950AE06FD6","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":"Q3454126$84DC33C3-6110-46F8-BDAB-CCB55D512646","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6e52d8d0077e4fb8f8ca2782162be6fd2eb95372","datavalue":{"value":"W4299514408","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3454126$C60B54B8-32C1-4445-BEA3-4DA75D49400C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"14bd97e9dec390545916db4e89e737371beca26b","datavalue":{"value":{"entity-type":"item","numeric-id":5387916,"id":"Q5387916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454126$F0412C10-7581-4CD7-9AB2-CDC7BE79834B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c10120b6d63d2d79d3e3d7f48a799e97be65acdc","datavalue":{"value":{"entity-type":"item","numeric-id":3454126,"id":"Q3454126"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454126$9F314327-60E9-4813-9BA6-D657514EF2F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"448e5abb05ec0c10b64746c80e216ef9d23df3a7","datavalue":{"value":{"entity-type":"item","numeric-id":5674430,"id":"Q5674430"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454126$441C2C16-6995-47D9-A1B3-E8516172943F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f80d22f373544a605b742cae6bd9cc4acd51c3de","datavalue":{"value":{"entity-type":"item","numeric-id":3636864,"id":"Q3636864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454126$FB937030-BC72-4DBD-A957-E0288C3BDFD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56e115e5b94a7abc33768b45fd17f9cdc739932d","datavalue":{"value":{"entity-type":"item","numeric-id":2553706,"id":"Q2553706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454126$C6B779E3-F7A6-4490-8E0B-64339BDEE1CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cca8ae3740fcfb5a7e9f346758fcdd72ac5497a7","datavalue":{"value":{"entity-type":"item","numeric-id":4082296,"id":"Q4082296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454126$C3BCAE78-432C-41F2-8DE7-70C1A9DC6560","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3014ed8593967d1b0f8f5a23078b1e5b72049db5","datavalue":{"value":{"entity-type":"item","numeric-id":2786906,"id":"Q2786906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454126$7DFDB4BD-24A8-4D9B-8B5E-8C198C4F1F7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37706997c0e12650bf30406d5f3ef502cc6c8e28","datavalue":{"value":{"entity-type":"item","numeric-id":2351157,"id":"Q2351157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454126$C8ED070F-724C-40E3-8FA9-E1E929041652","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6fd01133762b64b29dce0b2276e7fa30b2112d4b","datavalue":{"value":{"entity-type":"item","numeric-id":3639219,"id":"Q3639219"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454126$C5F39843-EB3B-422E-9C51-2769541BC158","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"87cfbbc936b1a25d81546a8177f987d200817aad","datavalue":{"value":{"entity-type":"item","numeric-id":945000,"id":"Q945000"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454126$7CE131FF-E4B8-4CDC-B72C-775CED3EE773","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee132c4e5792ab38a0ff46d3d93155b8fcbe98d8","datavalue":{"value":{"entity-type":"item","numeric-id":1978641,"id":"Q1978641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454126$9D5AC781-7721-455A-9EBB-36EE77C4D9E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8670a1cb5138f59a7607a06c6c33e9eef7f2c9ea","datavalue":{"value":{"entity-type":"item","numeric-id":3938536,"id":"Q3938536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454126$867DF97A-3D9E-436A-A0DA-93AD53DF659B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"45a31d922979eb618679d4203d685489e9b8eac8","datavalue":{"value":{"entity-type":"item","numeric-id":2307624,"id":"Q2307624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"093be63b460c80631692e08c5b18a2c8e70f583c","datavalue":{"value":{"amount":"+0.9243795275688172","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":"Q3454126$2A95062A-F818-4C63-9D60-4119033BA8C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ee587510f500cf7f94feed2b7728884457aab931","datavalue":{"value":{"entity-type":"item","numeric-id":5200035,"id":"Q5200035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"64c5d5e2f38eb7d8f01b317250c7d1a1d84fa3ae","datavalue":{"value":{"amount":"+0.832076907157898","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":"Q3454126$2CF2FBA6-BEA1-48D2-8375-6AC27B6D89C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"af768d9c1ce14ace56d140cba96d2e38faaff08e","datavalue":{"value":{"entity-type":"item","numeric-id":3636864,"id":"Q3636864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d5181fa6705aadc3769b533a2916e1c13a981d80","datavalue":{"value":{"amount":"+0.7782391309738159","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":"Q3454126$57EACE01-0315-4505-978C-69760BEDFEE3","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":"87633c63c9b7e16f04e44d102ca939e197a29af1","datavalue":{"value":{"amount":"+0.7759405970573425","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":"Q3454126$AD0C78E9-B225-4773-B901-FD930D1C03DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5a3bf27c22fa9f60fa69486391d3eafa1ad2c3d1","datavalue":{"value":{"entity-type":"item","numeric-id":453505,"id":"Q453505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f707d37a68f793915beb7017342cdc2c609c5f8e","datavalue":{"value":{"amount":"+0.7730484008789062","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":"Q3454126$D20F852A-00F0-4825-9206-EE05DF357D27","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Linear integer arithmetic revisited","badges":[]}}}}}