{"entities":{"Q1799094":{"pageid":1809836,"ns":120,"title":"Item:Q1799094","lastrevid":68987274,"modified":"2026-04-13T03:33:31Z","type":"item","id":"Q1799094","labels":{"en":{"language":"en","value":"A reduction from unbounded linear mixed arithmetic problems into bounded problems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6958108"}},"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":"Q1799094$3DB21776-22A4-4D1A-9316-07D02788865E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ce6b34b0f7c307abd2c57687609b37c8ee2c4785","datavalue":{"value":{"text":"A reduction from unbounded linear mixed arithmetic problems into bounded problems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1799094$6A07A7B7-ECF9-482E-9EBD-E63CBCCACE3A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ab735c72f89fd569ec1c47911548595c5a50536a","datavalue":{"value":"10.1007/978-3-319-94205-6_22","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1799094$1B347995-AF82-483D-BDB8-CCF74ADD21D6","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":"Q1799094$07E6802E-EA1A-49A5-B6F0-8E26F5CB44DE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0172cdede3f306f1b36155a82f67164814fd11e5","datavalue":{"value":{"time":"+2018-10-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1799094$F4FA1B2E-88E7-430B-A018-6ECFE3AA7525","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"02edbf5b64c93f924d5776a0f20569d67bd3a9d8","datavalue":{"value":"https://arxiv.org/abs/1804.07703","type":"string"},"datatype":"url"},"type":"statement","id":"Q1799094$69445AA0-9C8E-40D9-93F5-E504B148E129","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1799094$C862797E-801F-47E2-BDFE-CD1A83A16FD1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5529afd39e855a76caedcf2d707eefa6711f2b5e","datavalue":{"value":"6958108","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1799094$ECD748F3-91A5-4AF4-BABB-D574DBC49857","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"312ed6497197fe722552104318fb5c842ebebed4","datavalue":{"value":"linear arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1799094$1A95FBF5-7AD7-41E2-8A76-D40A6B2CDD4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"97e440dbdf4e2e0e7ed379f5b792b2776387d3b7","datavalue":{"value":"integer arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1799094$E7580486-141F-44AC-B304-A41B8E5A45FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"499d1e64959f0eac956ce92392da81feb44e551d","datavalue":{"value":"mixed arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1799094$929D6812-B5E6-48EE-AEC1-2AC3ADAF65FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dc37cf6bf1a4fd159f089028e999146e64828fa8","datavalue":{"value":"SMT","type":"string"},"datatype":"string"},"type":"statement","id":"Q1799094$1D4C884A-EF48-4AEB-916C-127AE1E87E80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c4368d9d7eb707247b4b3f17926fbba18a6f968","datavalue":{"value":"linear transformations","type":"string"},"datatype":"string"},"type":"statement","id":"Q1799094$74421189-0307-4514-99FC-E39A4E052812","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a2440c6394e2ac24533843222855bcea18333dee","datavalue":{"value":"constraint solving","type":"string"},"datatype":"string"},"type":"statement","id":"Q1799094$F192466D-8CE2-4EDB-89DC-546C215BD391","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2c47fe2df1f1953bad823a45d5770cd3dadc8780","datavalue":{"value":{"entity-type":"item","numeric-id":19438,"id":"Q19438"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1799094$C84A890E-A37B-41D0-8766-B63D833F0C00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"875fd2341d7eaef60a26a549ea0c9adfdf328e2e","datavalue":{"value":{"entity-type":"item","numeric-id":17039,"id":"Q17039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1799094$61F5FC83-6C26-4D8F-BD0F-1DABBB0B2E4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bd3fa568ce44545ce1c1bded3c45ecc37b43b7c1","datavalue":{"value":{"entity-type":"item","numeric-id":21467,"id":"Q21467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1799094$5A4867CB-CC42-4B7F-856E-625792CBD195","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"42950e8602f0bf155e8f0e40e68f674e5831f7bb","datavalue":{"value":{"entity-type":"item","numeric-id":21550,"id":"Q21550"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1799094$A5BCECC2-F0C9-40D6-9B92-1BCC7B6452FE","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":"Q1799094$8BB3531C-3E9E-4539-AC70-85F02309B83B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"19afe91a4cddef009bf9c9d80dc6d78dfa0346cc","datavalue":{"value":"W4298890824","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1799094$8C8F2AC7-B2B0-44E8-92C7-983F9FF3AAEE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"65b8d4a41d7b58615ce21e787d0e566caa1880be","datavalue":{"value":{"entity-type":"item","numeric-id":4427902,"id":"Q4427902"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b6f8fbd028e1f3620cc2f2ab81b35e4f362c5b3b","datavalue":{"value":{"amount":"+0.7242696285247803","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":"Q1799094$DE9865D0-AE42-4A71-BB7A-F6AAA484574C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a1c7821883829d469eb1e435ef0fe73b21f46663","datavalue":{"value":{"entity-type":"item","numeric-id":4922914,"id":"Q4922914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7d696fcf91404ae3a9022c4ac09042f55645ee58","datavalue":{"value":{"amount":"+0.7178575396537781","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":"Q1799094$437F931D-7CC9-470E-9AEB-B8A2ACE9141F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1f8a9da187c2f88f7027b0aa4cb7d13f2ba0271e","datavalue":{"value":{"entity-type":"item","numeric-id":1702886,"id":"Q1702886"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0512562f7eafa00e3dca167a91a01617903af3cd","datavalue":{"value":{"amount":"+0.7129161357879639","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":"Q1799094$B7C4BC49-208F-4A3A-962D-0F83FC282599","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fd8cec203b8156c400041781f5e38fd81f575f9d","datavalue":{"value":{"entity-type":"item","numeric-id":2392123,"id":"Q2392123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"35f23cafb1714e6991d349ce8c8de197a7d4f69e","datavalue":{"value":{"amount":"+0.6934531331062317","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":"Q1799094$50790EA7-491B-433C-AD7C-692A8D0B83D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3c84bb25177066590c31747e3c539fbb214e880c","datavalue":{"value":{"entity-type":"item","numeric-id":1688532,"id":"Q1688532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5619fdf8e7feabadbc914f5006d7c27134727d49","datavalue":{"value":{"amount":"+0.6882016658782959","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":"Q1799094$D308CBA9-1562-44C6-8E75-C48930AAA713","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A reduction from unbounded linear mixed arithmetic problems into bounded problems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_reduction_from_unbounded_linear_mixed_arithmetic_problems_into_bounded_problems"}}}}}