{"entities":{"Q4972164":{"pageid":7001743,"ns":120,"title":"Item:Q4972164","lastrevid":58376157,"modified":"2026-04-04T23:02:39Z","type":"item","id":"Q4972164","labels":{"en":{"language":"en","value":"Incomplete SMT techniques for solving non-linear formulas over the integers"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7135663"}},"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":"Q4972164$8C0B55F5-16A9-4AA1-B57A-3AB6C9EF8486","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"07a9dabae14ebec18d47f15a9d3b6099f99a2334","datavalue":{"value":{"text":"Incomplete SMT Techniques for Solving Non-Linear Formulas over the Integers","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4972164$B6DC5CF2-763F-49C0-94D3-B58EE49DEC2D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a4794b600e99d7198c9a1afe1d6f75a4d5daa8ac","datavalue":{"value":"1433.68405","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4972164$6407AD85-B847-4DE3-B684-FAB166834399","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"91f14bf9f48459795b3e130863f95705c7b42aed","datavalue":{"value":"10.1145/3340923","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4972164$A33996F8-C9C9-4E1B-AD55-E4C5FC819A3F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1f18c2b247eb825a22ef1ac6c7e11ce559c2677f","datavalue":{"value":{"entity-type":"item","numeric-id":438573,"id":"Q438573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4972164$BDA1237C-3FC7-41EC-B18A-6F462ADD0C4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"160bfe26a870f8433f093ce131383f68458dfba4","datavalue":{"value":{"entity-type":"item","numeric-id":2096442,"id":"Q2096442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4972164$335CD0B4-B533-4756-9805-1390F1173DD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f1c6f3313098f94ac950042b92865f2f95306b33","datavalue":{"value":{"entity-type":"item","numeric-id":438575,"id":"Q438575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4972164$B063DC25-CA96-4A48-80A8-F91DC85F2462","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cfd1da8b09a3144b32ef026d1d9b2bca68560b37","datavalue":{"value":{"entity-type":"item","numeric-id":438574,"id":"Q438574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4972164$A2E75FD0-2BC3-4197-A01B-A6C75677AF79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"076f42ceb107ac95ece0987fd254ab37feda8487","datavalue":{"value":{"entity-type":"item","numeric-id":352976,"id":"Q352976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4972164$460A6526-84A6-40FA-BFF1-CBD97FB8F273","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ae5381e7211b64f5f54296c18dfaf60be613ba86","datavalue":{"value":{"entity-type":"item","numeric-id":2946565,"id":"Q2946565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4972164$47D7F68A-E01C-40F1-9D9F-C0A7704D9A68","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"33cce4fd4ac55934aa54f9a1aa310e23129f81c7","datavalue":{"value":{"time":"+2019-11-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4972164$12D0112C-9E1F-451D-8899-A717E4835735","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ed6211d56ca2ebc671c1b77a44d5aa4a7ab0123d","datavalue":{"value":"https://arxiv.org/abs/2008.13601","type":"string"},"datatype":"url"},"type":"statement","id":"Q4972164$60B19C29-FCAD-4787-B098-5147B6A4A848","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4972164$D43E56CC-83D5-464A-845D-ABABFBF21402","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7083a5d146d78edf9fc7469a5d9b0c104122f1b7","datavalue":{"value":"68R07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4972164$BDE1AEC5-46CA-4918-A9C6-F697E9A252FD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1e91a5a1b1332a1763a3c6e531493fc5e656248f","datavalue":{"value":"7135663","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4972164$62DD8FD4-7C5B-4CA5-BC5C-1821F7038E25","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"56c71e46e79e03ad250b01addd277681d4c615b8","datavalue":{"value":"nonlinear arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4972164$0C0408F1-0A34-4AD1-8074-7A9A31446555","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1254a7c01d2970b87da2854c1fde40c268a1f55d","datavalue":{"value":"satisfiability modulo theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q4972164$DBEB69CD-47FC-4551-9BE3-9AB998B9B72A","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f29f161a221c0bedeec97e9d4ad10664227f4777","datavalue":{"value":{"entity-type":"item","numeric-id":16290,"id":"Q16290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4972164$CFB583F8-B7AB-4263-9BD3-1DB8AE254F89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"45fa147ad24d78ff9111165d21eddec7203c8bfd","datavalue":{"value":{"entity-type":"item","numeric-id":20838,"id":"Q20838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4972164$0F1BAD5A-F101-4BD8-962C-78F0DE73F448","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2704b04c837be55ede02d9103b8b97888a2d5c14","datavalue":{"value":{"entity-type":"item","numeric-id":27097,"id":"Q27097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4972164$C89DD5D2-6FA8-4145-B575-CF163C50E38E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"81965717a4235b826eea77f69bfe50eb8647090e","datavalue":{"value":{"entity-type":"item","numeric-id":44019,"id":"Q44019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4972164$9AFA8EEB-12CA-4194-BA1B-52FF7522C32B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"85575b60ef4d0a8413d3c895be2530b8915bc3fb","datavalue":{"value":{"entity-type":"item","numeric-id":16612,"id":"Q16612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4972164$026F149F-76F5-4188-A223-D7E4F195E857","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":"Q4972164$EE9B252E-442C-4736-BDBD-700DE708E026","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b09b080527cf0c7be3719338f59c9e92adea2d20","datavalue":{"value":{"entity-type":"item","numeric-id":19142,"id":"Q19142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4972164$85FCDFEB-0597-4958-91FC-5A584AF1BAA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"58e165eb815084f9a0c331d63332660ffc985e0f","datavalue":{"value":{"entity-type":"item","numeric-id":34457,"id":"Q34457"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4972164$BB20C6B9-D62F-4903-B491-BFD4A798B93B","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":"Q4972164$BA134268-A5AB-442A-BA97-E54509168BEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"90807e1eea37aee82b6abb65c686d81f07b3943f","datavalue":{"value":{"entity-type":"item","numeric-id":25016,"id":"Q25016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4972164$DB00D945-A0B9-4987-81FF-2B2089121522","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"77669b6c72ca8af712e008e3713ad8a7b5d6fcbe","datavalue":{"value":{"entity-type":"item","numeric-id":31314,"id":"Q31314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4972164$75890F48-BBBA-4025-8A1E-6AFAE086272D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f22790b7d685d2c32362b8971015fd7b35add539","datavalue":{"value":{"entity-type":"item","numeric-id":25009,"id":"Q25009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4972164$993C8FF4-0CE1-48AE-9DEA-AE2263DB1019","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":"Q4972164$57E24604-8738-40B6-9BF5-1EDC033355BF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5127212cd8022f2d36222407bbfe7ec1e470eef7","datavalue":{"value":"W2969580900","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4972164$8FD50D0B-26C1-4775-9D5A-6C4316F389FC","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"4bfdae901d5a3c395cb58fd63f6e505d13947e73","datavalue":{"value":"Q127354500","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4972164$2927442C-F446-4E54-9652-426F794F04EA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f4fcf3e40276bed99881b78edf624bbd7056bee8","datavalue":{"value":{"entity-type":"item","numeric-id":3192080,"id":"Q3192080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2293f1fda9c595270fc211e672cae520b1058973","datavalue":{"value":{"amount":"+0.7998776435852051","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":"Q4972164$87413BE5-11E3-4E5F-9770-DC2D52C9D7E7","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":"750425a93dab29170537c7ad9af71a7aa5de8f3b","datavalue":{"value":{"amount":"+0.791160523891449","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":"Q4972164$4E738E49-AD33-4039-8DA9-E46646388805","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"98bb4753ac749e013be85f4de658b00a7bdea261","datavalue":{"value":{"entity-type":"item","numeric-id":1656597,"id":"Q1656597"},"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":"Q4972164$2CEAE0F5-4645-4242-8F36-DCED410C6FF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"29b2ac445d0887cb0feed7d7f9bcee96115a3e34","datavalue":{"value":{"entity-type":"item","numeric-id":2830009,"id":"Q2830009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fcfb96a47780116876d65c0918535c4c4a685a74","datavalue":{"value":{"amount":"+0.7737438678741455","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":"Q4972164$B46FDC5E-DAB5-4150-BCEF-81626A8ECB7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7de94fdb67b3ec18a4a9afac48a95b409770048b","datavalue":{"value":{"entity-type":"item","numeric-id":2908506,"id":"Q2908506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0c9d04df7c043defeb3e699914129dac99031c94","datavalue":{"value":{"amount":"+0.7625974416732788","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":"Q4972164$EDF49C48-D0AF-4592-8137-63A1A964F69D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4972164","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4972164"}}}}}