{"entities":{"Q2845506":{"pageid":2856226,"ns":120,"title":"Item:Q2845506","lastrevid":42261243,"modified":"2025-06-03T19:40:47Z","type":"item","id":"Q2845506","labels":{"en":{"language":"en","value":"Temporal induction by incremental SAT solving"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6203487"}},"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":"Q2845506$11D54161-B360-460E-B3FB-767FF195E3CA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"93a088005586412c48c35e3c1f96fb20bd194183","datavalue":{"value":"1271.68215","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2845506$B5540C4C-EBE3-423B-8D93-F04E70E5563F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"84341c38c029174c5d550425b4b5654f26aa3051","datavalue":{"value":{"entity-type":"item","numeric-id":843986,"id":"Q843986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2845506$B7A5B850-6343-4977-9A49-E8BAE776F7A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"40f1247d6e2a06d7c92ba81e6e26ec28fb898868","datavalue":{"value":{"entity-type":"item","numeric-id":843988,"id":"Q843988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2845506$CE7FE6BE-99C6-41D7-9997-3D7FEC686BAC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"dbe91a82e9327cf79ad7ddd82bc8f3cac46bf53c","datavalue":{"value":{"time":"+2013-08-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2845506$2B94CF92-0E73-484A-94B6-CF96319630EC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b2457ec0ea7c3be8912148ca9526f69fc8166c31","datavalue":{"value":"http://www.sciencedirect.com/science/article/pii/S1571066105825423","type":"string"},"datatype":"url"},"type":"statement","id":"Q2845506$2728D4E6-2F0D-4E5A-9591-61A1558DB431","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2845506$EA08AD19-EDAD-488F-8251-7EC727BBE6B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2845506$C963BD12-C6ED-4CB4-B89F-95D88DA8C29A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0f362d1ddfe54735cd8ae0f9dce8a19036bc9559","datavalue":{"value":"6203487","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2845506$B96F5900-6835-4B28-8ADF-DA9F032D8E91","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8449db7d9aaa28101ba7b0de8e98d9c446365070","datavalue":{"value":{"entity-type":"item","numeric-id":13332,"id":"Q13332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2845506$CFF45EED-92C9-44AB-92A1-AA33C427F1E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"478f9061f14e098e3fdf3fe3667d3a7084c42e61","datavalue":{"value":{"entity-type":"item","numeric-id":18982,"id":"Q18982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2845506$1F13E693-1FD7-4C6E-9984-E69288A9449C","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":"Q2845506$8EE09341-3387-4A51-95DC-8A3CD728DA2C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0438981bf125f7470a4340a17361579087a65391","datavalue":{"value":{"entity-type":"item","numeric-id":4013255,"id":"Q4013255"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"66c4afe4fac858b9402fcad1bfb235f91da25aca","datavalue":{"value":{"amount":"+0.89651954","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":"Q2845506$200A5C52-23F6-4F13-A125-1F5D6068DBE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"125f922c77a32d98ed54d933e1dd21756467fd14","datavalue":{"value":{"entity-type":"item","numeric-id":2389682,"id":"Q2389682"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"16c084667bca820c4b929e9da44a61b13603e6d5","datavalue":{"value":{"amount":"+0.893463","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":"Q2845506$2A24B0CA-5F17-432A-B1C2-36F596FB15BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3bad4780072b3b512fba0ab5c0eddace3e1a83f2","datavalue":{"value":{"entity-type":"item","numeric-id":3524208,"id":"Q3524208"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"864ac3a75b89b06fa6c8cab3335c9e032fe753bb","datavalue":{"value":{"amount":"+0.8823571","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":"Q2845506$1E347D9F-5769-4573-9F8B-217497086484","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e6fc4030e1f254b736e2fcf6aa75cde2125981cb","datavalue":{"value":{"entity-type":"item","numeric-id":5145634,"id":"Q5145634"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8d0441d073eaeb94cc9d96fb462eba48ced6e3b1","datavalue":{"value":{"amount":"+0.88219225","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":"Q2845506$971F3292-22FC-4C43-AEAD-90E088FEF304","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6ffa0c1695152fb80308812bee24bac8d0e6d291","datavalue":{"value":{"entity-type":"item","numeric-id":3192206,"id":"Q3192206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"611003853659d88413d266b82b8a4b2d5f2888c3","datavalue":{"value":{"amount":"+0.8777791","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":"Q2845506$1271C6FD-F46F-45AE-BA60-6C01D7739DCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"797b0e52e2192cfd7617dabc9e2ae6b2f50cad2b","datavalue":{"value":{"entity-type":"item","numeric-id":4928457,"id":"Q4928457"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5be5cdc392b5b15efe1d46468daebd40f7600a7e","datavalue":{"value":{"amount":"+0.8777224","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":"Q2845506$622A6FCF-497D-4C89-888F-131885001304","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"72dc4348674a6ba149a50e9089dd2e41fbd6151d","datavalue":{"value":{"entity-type":"item","numeric-id":6487562,"id":"Q6487562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1233efd0c49d62ac041c5d97b2f43e0bb7e24760","datavalue":{"value":{"amount":"+0.8752983","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":"Q2845506$0B1EF29F-3103-4729-BA4F-BD3D9F883665","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"83f961bd8af11ac45f84a83b5ada9f74984795b9","datavalue":{"value":{"entity-type":"item","numeric-id":3578192,"id":"Q3578192"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"708df77eee880f61a560a7602aeb3e21e84c5ae3","datavalue":{"value":{"amount":"+0.8750603","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":"Q2845506$51A791F4-253E-49BC-9AD4-7F86BE1A75C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f6719d92828b8bd73f284e33571aa69b4ec34e4c","datavalue":{"value":{"entity-type":"item","numeric-id":2849589,"id":"Q2849589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8c089d37c6f21fcf7a2fe933c626d3dc55afdb80","datavalue":{"value":{"amount":"+0.8730043","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":"Q2845506$787385F0-E63C-409B-863A-D720D528D6E8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"64deef97d9745785c3dfcff641bb502e969f76fe","datavalue":{"value":{"text":"Temporal induction by incremental SAT solving","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2845506$07BD5307-7901-4E77-A56C-78F465C19C20","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2845506","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2845506"}}}}}