{"entities":{"Q1656597":{"pageid":1667338,"ns":120,"title":"Item:Q1656597","lastrevid":68252394,"modified":"2026-04-12T22:28:07Z","type":"item","id":"Q1656597","labels":{"en":{"language":"en","value":"Experimenting on solving nonlinear integer arithmetic with incremental linearization"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6916318"}},"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":"Q1656597$D5DB08DF-9525-435C-B400-F679448850F6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e32743d1e9d6904104351801f54ad269af8ecf9d","datavalue":{"value":{"text":"Experimenting on solving nonlinear integer arithmetic with incremental linearization","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1656597$F8B72FD8-F02F-4C5B-BF15-2536846262CD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"127ed5868d82e12fb78c4af9c49d146953c0f532","datavalue":{"value":"10.1007/978-3-319-94144-8_23","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1656597$BD4F024F-010B-410D-917C-4F3DEE4EAECF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"387e6ac60ed3a0144bb303179c23c53493d401d0","datavalue":{"value":{"entity-type":"item","numeric-id":329418,"id":"Q329418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1656597$7C463F91-7AFD-49C0-A111-CF1DE7EF45FD","rank":"normal"},{"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":"Q1656597$62DC1CD8-81D2-4BE4-9955-563C9EF9ADD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"637b63b8551b0d9a45289b2321fc07fbecec8861","datavalue":{"value":{"entity-type":"item","numeric-id":831940,"id":"Q831940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1656597$401E93FF-18C8-43D2-9468-D68B304D7490","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0d7fa45906cb357c6ff423972530aeccc52e2dcc","datavalue":{"value":{"entity-type":"item","numeric-id":329421,"id":"Q329421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1656597$E78DC1EF-959A-4733-ACE3-AF14C277B3BE","rank":"normal"},{"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":"Q1656597$232ACC45-0C1E-4109-BF8D-F570F5AE9049","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2dfbbfe69f220779a8f4ee2aa35287f4eb47a1e3","datavalue":{"value":{"time":"+2018-08-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1656597$6CABAEF0-1BB8-4A4C-95A4-1BD6D280725F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1656597$D0D63E4C-6E81-4C4B-8505-9A4090EED4C4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"732da051649be7aec8c1a2b77cba407bc3635dda","datavalue":{"value":"6916318","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1656597$2D8D7A4F-B677-4123-89A9-A1F732DBE8C4","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":"Q1656597$8F5FC318-0CB4-4FEB-BCDD-46CBFC7BCB99","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"29e6e52ec33f035bcb4c5cda2d0b8aa0b323e638","datavalue":{"value":"https://doi.org/10.1007/978-3-319-94144-8_23","type":"string"},"datatype":"url"},"type":"statement","id":"Q1656597$8DBD53AF-3193-44AF-A8DF-B22A61F20D43","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"fcfdd29128e0def4b9971559887d958ed43a893f","datavalue":{"value":"W2809752556","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1656597$FDFF3995-2F92-4C41-803E-40E21319F3AF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e215f86533eaa3eaf49a50b0753748c44692a677","datavalue":{"value":{"entity-type":"item","numeric-id":4691738,"id":"Q4691738"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"63332d95b4ce346f11ac5d171171fb1ef7f955f4","datavalue":{"value":{"amount":"+0.8227671384811401","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":"Q1656597$D925516F-1AFA-4921-989D-F287FB010C41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b513f8345ffbdfaa04825de8d37af20fd232ec35","datavalue":{"value":{"entity-type":"item","numeric-id":2961575,"id":"Q2961575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e56e0f454929b3298c98890964cc8ea834ce7668","datavalue":{"value":{"amount":"+0.8078352212905884","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":"Q1656597$DC8DF474-FD8D-4BF6-A09A-42771B0EF22F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"97d68bcb8084a36ed362b6555c581cc66937378b","datavalue":{"value":{"entity-type":"item","numeric-id":4972164,"id":"Q4972164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a5a6638a80252f64b1a96f6e428017b68ddcbd82","datavalue":{"value":{"amount":"+0.7837215065956116","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":"Q1656597$B681E127-E099-41FB-A1B9-754FD7A00052","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":"ab187710e09b5ba9f1f80ba01914da2da8cbda47","datavalue":{"value":{"amount":"+0.7807311415672302","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":"Q1656597$DFA06679-F4E6-4888-BC6A-87517C18B0DE","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":"8adb96f6c92b035e8b59f8ebf3481c557101883a","datavalue":{"value":{"amount":"+0.7596091032028198","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":"Q1656597$354E3551-76E0-4353-AB22-F33D7E05CE61","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Experimenting on solving nonlinear integer arithmetic with incremental linearization","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Experimenting_on_solving_nonlinear_integer_arithmetic_with_incremental_linearization"}}}}}