{"entities":{"Q2964455":{"pageid":2975180,"ns":120,"title":"Item:Q2964455","lastrevid":58079502,"modified":"2026-04-03T17:34:14Z","type":"item","id":"Q2964455","labels":{"en":{"language":"en","value":"First-order logic theorem proving and model building via approximation and instantiation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6688809"}},"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":"Q2964455$E9EEBE76-4777-4CE1-89AA-743CB650133F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bfe6d21628fe9abc5e6160f088209bf9f441569f","datavalue":{"value":{"text":"First-Order Logic Theorem Proving and Model Building via Approximation and Instantiation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2964455$BF10B0E5-FA15-4724-926C-E7839CD11266","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e763a3af3a2e484950d9392c5c53eb85f6365498","datavalue":{"value":"1471.03020","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2964455$05003DB3-FBDA-4E45-A8E4-CBFB1EE88D0E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f89859b2efd61a65cd843e932e824ee51f831b40","datavalue":{"value":"10.1007/978-3-319-24246-0_6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2964455$868BBDBB-9D29-4C32-8059-F1D3F6E2A929","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c68e2e1694746069837183ce414b2e41c22d965a","datavalue":{"value":{"entity-type":"item","numeric-id":2180213,"id":"Q2180213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2964455$D0B2B428-FF65-4D54-85AF-DD2BD1434F8B","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":"Q2964455$32F35E23-916A-4EFC-887B-4D7DADE22FEB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"94ee78e0a7dd5ca422048ab882699df0d73d43b3","datavalue":{"value":{"entity-type":"item","numeric-id":2849475,"id":"Q2849475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2964455$9FCE8AA4-4F92-414E-9188-5728F87174F1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"239465d3f72b1d0ceb374a3180654de1deb818a8","datavalue":{"value":{"time":"+2017-02-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2964455$B1939353-3639-4433-9D49-D0E55FDD545E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8f809690da66d4d999340af9ea6d7d4dc3601c54","datavalue":{"value":"https://arxiv.org/abs/1503.02971","type":"string"},"datatype":"url"},"type":"statement","id":"Q2964455$C0BC5340-B04A-4BE8-9C41-2AE648C262DA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2964455$8B4F0BA9-EF5C-4978-BD80-9294E6AF187D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2964455$462E332B-B7C6-4DBB-B618-C227CEA477FF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"191baacc633985ec5e5596b7b125c8863510be0d","datavalue":{"value":"6688809","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2964455$DB9BF7EE-1211-44F4-B75A-D6DD27F67EA6","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d3ed9701b24c07e8ddeb19932e1fa77191c06e95","datavalue":{"value":{"entity-type":"item","numeric-id":16327,"id":"Q16327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2964455$AFE21A20-28F3-4C15-AA14-D60194689240","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":"Q2964455$E2331102-6511-4B33-9DDD-1018C6A5A0C7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"30a1e16dcbc453333ca3e99379861e2350c229c9","datavalue":{"value":"W1936712172","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2964455$71BC5332-8C2C-483B-977D-6F0FE5DC63B9","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a61f4d746cc240c7e01e374e1c8b6bcf1fdd307f","datavalue":{"value":{"entity-type":"item","numeric-id":1262749,"id":"Q1262749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2964455$BCDF4F80-7C1C-4C83-868E-61C34843CF45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3797ca9c060a8f45bbe361e29094c28dc7f292e2","datavalue":{"value":{"entity-type":"item","numeric-id":1199923,"id":"Q1199923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2964455$8E139D30-866F-498B-8C52-1A95DEBE922A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"abd7c21ad90e0dd8485a1544cb35dfb6ee469ffb","datavalue":{"value":{"entity-type":"item","numeric-id":4916080,"id":"Q4916080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2964455$4C1CC85F-D996-40C8-A7C1-9B9FF3A35D49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7badfee30610a43b034debae14b09b94e4d33bb5","datavalue":{"value":{"entity-type":"item","numeric-id":1100924,"id":"Q1100924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2964455$9F8A9477-D36C-4C42-AA24-894C75DA552D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"79db93a0bb311f56c816d6ffc92dd7b60e23250d","datavalue":{"value":{"entity-type":"item","numeric-id":3455223,"id":"Q3455223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2964455$39577504-240B-4914-854A-7A402B03E41D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd37a31c5ce9eb3310a3d2861b39c852af91e8aa","datavalue":{"value":{"entity-type":"item","numeric-id":1149799,"id":"Q1149799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2964455$BFDE4D45-76EF-4470-BE71-91FCFFF02421","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"16c58bccac3eb8e167d77acc1c92ca853e7a5fcc","datavalue":{"value":{"entity-type":"item","numeric-id":2655326,"id":"Q2655326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2964455$1A41F5C0-8C6F-4550-B144-55ACCE366E8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"43f8b81729c278d2b25a84d10accbf70874b133d","datavalue":{"value":{"entity-type":"item","numeric-id":4263167,"id":"Q4263167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2964455$2AC3F632-6589-41D5-B958-CEA893B6624C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"81507f430d90ccca44c5914f167260e0646ee88a","datavalue":{"value":{"entity-type":"item","numeric-id":2751379,"id":"Q2751379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2964455$3C1E4B6E-F812-47CA-B1A1-5DAF3083295B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3a40908b7959a68fd2e35111924d4d1d7fe297ef","datavalue":{"value":{"entity-type":"item","numeric-id":2303255,"id":"Q2303255"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b1b4e9f57cb5f6d5ff309a037aaa3731f91e34d7","datavalue":{"value":{"amount":"+0.8081073760986328","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":"Q2964455$4458543A-2EC1-4BCB-8068-A7FF3A5E898D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"48a3d434253ed919faa661b14e883ac27b635cfa","datavalue":{"value":{"entity-type":"item","numeric-id":2751353,"id":"Q2751353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"90d20e0a55b7a5c0693bfbb92db12d526a83cf13","datavalue":{"value":{"amount":"+0.7292512655258179","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":"Q2964455$96465BB1-1C18-40C2-BF49-B622A1267DF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f18d733589ad4eb9af735fe33ae259d87d61bc9c","datavalue":{"value":{"entity-type":"item","numeric-id":4783313,"id":"Q4783313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e3254f3bae3c957671730d41ea7a4a22b0b2fb5d","datavalue":{"value":{"amount":"+0.7279066443443298","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":"Q2964455$802F7E57-E154-4B39-B32F-40FC8BAF8859","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a1f91f2a04af7ed716280a69b31bd5722b64e604","datavalue":{"value":{"entity-type":"item","numeric-id":4246725,"id":"Q4246725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"99fdb844eb5ce20092afc3b587ead66d4f43d5b7","datavalue":{"value":{"amount":"+0.725483238697052","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":"Q2964455$474432D3-8A18-4EB0-AF39-D6504EA9D0E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"47f6f8904700394da62e38c9b25fe7a94bd3f140","datavalue":{"value":{"entity-type":"item","numeric-id":1328182,"id":"Q1328182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8068b0bf68731af8bb360571c86e84192f41fa43","datavalue":{"value":{"amount":"+0.7252152562141418","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":"Q2964455$981D78AE-8681-4BD0-9CF8-ADF0302CC400","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2964455","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2964455"}}}}}