{"entities":{"Q2852038":{"pageid":2862758,"ns":120,"title":"Item:Q2852038","lastrevid":42271048,"modified":"2025-06-04T00:40:37Z","type":"item","id":"Q2852038","labels":{"en":{"language":"en","value":"An even closer integration of linear arithmetic into inductive theorem proving"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6213649"}},"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":"Q2852038$C819F318-BA0B-43FE-ABD0-6D33BC3F56A7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b3e97f059a61f30c0ee752fb160dcd58b6658e49","datavalue":{"value":"1273.68328","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2852038$862FA7C3-4FFF-4605-B0C1-C591A784C342","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"64739b60fce01b29f9f8b980828908c6fd9648c9","datavalue":{"value":{"entity-type":"item","numeric-id":2852037,"id":"Q2852037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2852038$062A93B1-F237-4865-B4C4-DB9816C678DA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6ec762bb41974652953ff67ca8f6c9675abce28a","datavalue":{"value":{"time":"+2013-10-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2852038$F760D5CF-979D-4249-8AC6-A37BC5BB7B0C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"03fd71c3229b71513b6363d98dae3d61e5406f7d","datavalue":{"value":"http://www.sciencedirect.com/science/article/pii/S157106610600106X","type":"string"},"datatype":"url"},"type":"statement","id":"Q2852038$01CD3828-7615-4B01-895E-4CC424638514","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2852038$A06D583D-C183-43F5-BB6A-A6C2887E5232","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"54f2a880416c30f4f62f16808409d19237149453","datavalue":{"value":"6213649","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2852038$DE0E3A98-8A33-43C9-A534-DD926BB7930E","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8c652637493e8de65377ba80065ca4183c6dc627","datavalue":{"value":{"entity-type":"item","numeric-id":12833,"id":"Q12833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2852038$FDF45E4F-4F79-4754-BC84-1DDD8BE72CB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2e07b63a7544a6d7c83390f82ddae368b77e124c","datavalue":{"value":{"entity-type":"item","numeric-id":19570,"id":"Q19570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2852038$0E071D54-70E5-4462-9942-A4405B35422A","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":"Q2852038$C01456C3-A9D1-48EA-B435-5C5BBF101539","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"45a5dc7e2a40afbea7ab60e8677820b20926ba87","datavalue":{"value":{"entity-type":"item","numeric-id":1915133,"id":"Q1915133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b98b5fb8eeeb20960c297ebb50889a028538c67a","datavalue":{"value":{"amount":"+0.9462879","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2852038$EE012C04-EF54-4F84-A5A5-A863B1BD60E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d7da2d8bb240c114f0886df7c3e68f858256d058","datavalue":{"value":{"entity-type":"item","numeric-id":945055,"id":"Q945055"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"490503aef635d7c88df1c14eecd269c3f6cea3f3","datavalue":{"value":{"amount":"+0.9104408","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2852038$55A60422-FDAC-4E47-A906-625DF9D8DECC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c0c4212ad17ef07507856b42567851a12cbcaf6d","datavalue":{"value":{"entity-type":"item","numeric-id":3835049,"id":"Q3835049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"520645699d9d67c68272ba6a923df0f258f29284","datavalue":{"value":{"amount":"+0.89760196","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2852038$DF48AEA4-A7C8-47A9-BF1E-F6D17ECCB8EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"43030318cb195462e4d6ff5b5b5c56e675ac9845","datavalue":{"value":{"entity-type":"item","numeric-id":2180230,"id":"Q2180230"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a3b3dfed41cbaac5bab0c469b93fb8cc1062b182","datavalue":{"value":{"amount":"+0.8916719","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2852038$3E4D1B77-4EAE-4F83-83E1-EB74106FDE2F","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":"4e119bc6ed8c36c3ff979d9f0fbebf62d27eb4c1","datavalue":{"value":{"amount":"+0.8832563","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2852038$45962B23-B239-4C0D-AE15-DAE6AED96FBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aad654cbc3d3fd4f21ff222ba43f6260ac0b7071","datavalue":{"value":{"entity-type":"item","numeric-id":5941199,"id":"Q5941199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b29183d1503e5e28c6b852755b5bcf8f8c6d4779","datavalue":{"value":{"amount":"+0.88062316","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2852038$614302FB-84F6-4931-B89B-FFF88B96E444","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"debd68b9486f4064fa537e8ed50615f4b651750c","datavalue":{"value":{"entity-type":"item","numeric-id":4217606,"id":"Q4217606"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aac9930c04b59032f7c6f86a833187c184a8a986","datavalue":{"value":{"amount":"+0.879033","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2852038$62B48A95-C686-47B4-AB7F-8A1D38A1BB4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0b86601426bfb78025a38db16825c3a8696fd5be","datavalue":{"value":{"entity-type":"item","numeric-id":5055774,"id":"Q5055774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"545230d58fe5ca9d3cfcf78bb48ba4522d19a081","datavalue":{"value":{"amount":"+0.87877095","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2852038$AFD948E9-FC2B-4A3D-8788-22ED7A55E5F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a287999870f7e485a660ddd91244e509a79df931","datavalue":{"value":{"entity-type":"item","numeric-id":1189730,"id":"Q1189730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"76c78dd738773f0937054bc7cd7e1ac5c9786ae8","datavalue":{"value":{"amount":"+0.87159145","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2852038$67E9057E-905E-4ADA-9CF3-8FD6BB7372D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ec4b4e126c2d0ced1d7e3dcc88e4ffcc7396c754","datavalue":{"value":{"entity-type":"item","numeric-id":4244309,"id":"Q4244309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1803eba27f27de7db560aed3cecb08ba88ff3275","datavalue":{"value":{"amount":"+0.87038183","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2852038$70004466-4320-4812-A315-90D717174E0F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c526a2f0409e261fcf080edcd5b2e5eae543a5d3","datavalue":{"value":{"text":"An even closer integration of linear arithmetic into inductive theorem proving","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2852038$9AC174E0-AFDD-463B-B645-67D6C39B2315","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2852038","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2852038"}}}}}