{"entities":{"Q3655211":{"pageid":5685117,"ns":120,"title":"Item:Q3655211","lastrevid":50867129,"modified":"2026-01-15T12:11:10Z","type":"item","id":"Q3655211","labels":{"en":{"language":"en","value":"Learning to integrate deduction and search in reasoning about quantified Boolean formulas"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5654249"}},"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":"Q3655211$4C20852E-51FA-4F85-BC6B-7E7940D455FD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"17327139b8dbb1e0d1000eb856762b9665db016c","datavalue":{"value":{"text":"Learning to Integrate Deduction and Search in Reasoning about Quantified Boolean Formulas","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3655211$4803545B-D787-4D14-B3A2-B1F2B71001B4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e8ed63929f506135eed4d665b861f57cce2655b7","datavalue":{"value":"1193.68214","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3655211$463057AA-124E-42F3-BA7E-A4272BB16397","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f895dae1ce3d3a22bc869d7687f44d11e88aae41","datavalue":{"value":"10.1007/978-3-642-04222-5_22","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3655211$8435E03F-7834-44D2-9BE6-AC6AF11C8FC6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ef25a536e77eb935a4fc311a784de2ad12200bb6","datavalue":{"value":{"entity-type":"item","numeric-id":421444,"id":"Q421444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3655211$390B0993-766D-496A-8A72-1CCA42864D37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9b27fb2de17ba7f26cc1dc0d940e72cb82218af6","datavalue":{"value":{"entity-type":"item","numeric-id":421445,"id":"Q421445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3655211$059335B4-9687-48E0-B310-C215A82BD485","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":"Q3655211$DBD3797F-32AA-4D2E-9D72-89DC7A42892E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d8ffb1992782dc99c2da3a06ceb643a586fe25de","datavalue":{"value":{"time":"+2010-01-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":"Q3655211$2E8F4F74-03BA-44F5-A34E-5BA9A0FFFD1B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"cfe779e91fe9c53ee133568259955801965765ae","datavalue":{"value":"68T05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3655211$9393EEDD-D7F1-4AF2-A0DD-554897ECBE1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3655211$AC07922D-1D72-46A8-BD5F-4469C337DD6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3655211$C26DE507-1575-40D1-AF84-861E627E1D30","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"93300a35e82b11f30374314c983f16e10e727620","datavalue":{"value":"5654249","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3655211$D99505E4-6134-4082-8B25-50833A218285","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d1439fcd0419fee747c539ffad45b3a88fc862e8","datavalue":{"value":{"entity-type":"item","numeric-id":17032,"id":"Q17032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3655211$E144E437-EE3B-4C9F-97D5-0F02451D3C1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c5424895cd06947db50aff4fb92d088f3cd4d067","datavalue":{"value":{"entity-type":"item","numeric-id":24107,"id":"Q24107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3655211$D1E0A227-D96C-4D2B-A5DC-A0E6BA729832","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9f9aebdd1b3f62380f4707b4956c9497d9985521","datavalue":{"value":{"entity-type":"item","numeric-id":55702,"id":"Q55702"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3655211$FC7BD008-8C80-4DDC-965C-49B5961D1778","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"eabe837cdf5ac407f1205ea3065718ba4df6111d","datavalue":{"value":{"entity-type":"item","numeric-id":40095,"id":"Q40095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3655211$55375716-85A2-4B36-B255-0B38DEFADDB7","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":"Q3655211$42CA433B-7D4D-46C5-B069-5B14131B4A31","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f36220791e49fcc4484d18d833af1ed69bb630c3","datavalue":{"value":"https://doi.org/10.1007/978-3-642-04222-5_22","type":"string"},"datatype":"url"},"type":"statement","id":"Q3655211$224FBFCD-BA8A-456F-8C3C-23BA95BAC89F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"dc5159f0785e017939c3c4c14a75de86ad70ef6b","datavalue":{"value":"W1566051759","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3655211$055A5CBA-8051-4FA5-9299-7738118FDD49","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8e9c7dfe2263cb88548446838aa8cb493a7f9e1","datavalue":{"value":{"entity-type":"item","numeric-id":5325879,"id":"Q5325879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3655211$0CAAD7DC-8EC0-486B-B4DB-55C9299D97EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47cb5c9d0b0d6ff42b8fb3510f341e870a8e3d24","datavalue":{"value":{"entity-type":"item","numeric-id":3624018,"id":"Q3624018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3655211$D674B2A8-9567-4552-B79C-35305A9D9F06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"543029396b2329940995625ede0271d1756b19bb","datavalue":{"value":{"entity-type":"item","numeric-id":5394625,"id":"Q5394625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3655211$4B08A634-BCD6-4E1B-9F60-F427B5B899F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bda68c490d3eacdbb4c205fd2cca76126f0a9248","datavalue":{"value":{"entity-type":"item","numeric-id":5714773,"id":"Q5714773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3655211$F4D516AB-CC18-4479-B1EF-BC89A87FFA6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad5843107a675ef426cb1b75becf5e9aa46b5362","datavalue":{"value":{"entity-type":"item","numeric-id":5900311,"id":"Q5900311"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3655211$22ABF262-CC96-4494-BEC2-46EE30CB10E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"15eecfeac02b56820c0f4e58290467293549debf","datavalue":{"value":{"entity-type":"item","numeric-id":1020496,"id":"Q1020496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3655211$C29DCFB9-76AE-45BD-BF0D-C813D6945DB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"72df03d77e1bc06662d09c4718408a862df26da2","datavalue":{"value":{"entity-type":"item","numeric-id":1891159,"id":"Q1891159"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3655211$AE36CEE8-9C30-4DAC-AA76-9D9B07308483","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"93fcfb988ef10885eb0a5a746c562e10876fedf0","datavalue":{"value":{"entity-type":"item","numeric-id":814445,"id":"Q814445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3655211$952C7FCA-E4C2-4643-9678-BD43F8EE6F6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d82b072a827eea1e8c611d3a9f2da6877a619604","datavalue":{"value":{"entity-type":"item","numeric-id":1977760,"id":"Q1977760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3655211$B81C4621-98A8-4A4A-94D0-9D5B4FC8779D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd560b5c3701de250d9304ce530d163a8c6d903a","datavalue":{"value":{"entity-type":"item","numeric-id":1589639,"id":"Q1589639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3655211$F5364654-C2EB-490F-9F2C-C039B5FCEF18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"67f90dc47ee396b12cae5fa6d2394d18487359cb","datavalue":{"value":{"entity-type":"item","numeric-id":5394580,"id":"Q5394580"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3655211$1A03BD11-9640-4E28-9908-90453C722175","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"71c232c148de96e0caff1f0f1d4800c2b4628091","datavalue":{"value":{"entity-type":"item","numeric-id":5505579,"id":"Q5505579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3655211$CC3B35DD-36B8-4658-BEBB-1C721BDFF2D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"140544c9a7690ad6a5b7ff8074229f58fc9345c5","datavalue":{"value":{"entity-type":"item","numeric-id":4856771,"id":"Q4856771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3655211$DC2E6A31-5124-40EB-A717-56C3E13D43C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65109c64936b8d0126351ec0ec01a7833aaadc1b","datavalue":{"value":{"entity-type":"item","numeric-id":1424768,"id":"Q1424768"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3655211$C10901A9-620A-47AA-9670-8767FC319B67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f51283f1777725f2aa3a5276be84e22e26033567","datavalue":{"value":{"entity-type":"item","numeric-id":2751045,"id":"Q2751045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3655211$7A26ED93-E3A4-4DFD-8D86-F99DB944186F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d9bbe5a3415d1d0180896b0f42ae9ec1cbdc97b9","datavalue":{"value":{"entity-type":"item","numeric-id":5248490,"id":"Q5248490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3655211$639AF3F2-E960-47F8-ABD4-0057C996E87F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4bd8c87981a8e80dfe9b476665cc7218feba42be","datavalue":{"value":{"entity-type":"item","numeric-id":5312442,"id":"Q5312442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3655211$200BE66C-DE9D-4BEA-BCA0-01E5BB2DB48C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ebdb78748228ac4fd7f7ad8a904ebbfa617c0fe8","datavalue":{"value":{"entity-type":"item","numeric-id":5756571,"id":"Q5756571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3655211$127B828B-8608-4E1B-BBF2-CBD78ADC9C29","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"73ab00eadfabc67b639862576bfda59d6977a671","datavalue":{"value":{"entity-type":"item","numeric-id":3624018,"id":"Q3624018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"da56139c363ee66ffeb1be47a28fb4926bfb5e17","datavalue":{"value":{"amount":"+0.7689443826675415","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":"Q3655211$3CE6EE52-423B-425F-A469-09B92F3F4C8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"396e9f05d4ad3751d8cd083836d121e6398060a0","datavalue":{"value":{"entity-type":"item","numeric-id":4968372,"id":"Q4968372"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"54afa62a7227ec028e7864b5190ecfc9d11066cc","datavalue":{"value":{"amount":"+0.7470525503158569","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":"Q3655211$01133440-8800-4A65-AB98-D9F53A899934","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ef9e04a5281dad58360fba33cee7ce694420be2f","datavalue":{"value":{"entity-type":"item","numeric-id":1680261,"id":"Q1680261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"826bf1676a4fb3b610ded8b846c2e7d7353fe152","datavalue":{"value":{"amount":"+0.7308166027069092","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":"Q3655211$FAEC521C-C72B-4A57-BAD9-BBD0C7EF6223","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8dfbfdd9bfb0113548c79d0a251aaba65f2b702d","datavalue":{"value":{"entity-type":"item","numeric-id":4649309,"id":"Q4649309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3dd286493d1b0c94ab291866d68311cfa7517239","datavalue":{"value":{"amount":"+0.7229295372962952","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":"Q3655211$9018D36F-D846-47D9-8C9C-6605A29D8C3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6e877f9195dc08d8c769468cc1da3d5e03ef6fba","datavalue":{"value":{"entity-type":"item","numeric-id":3453239,"id":"Q3453239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e37ba96fd17291eff62ba75b8b8a170b3e560e0e","datavalue":{"value":{"amount":"+0.7225685715675354","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":"Q3655211$78BC926C-C6F7-47D6-AF5E-52E3EB8ED4C6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3655211","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3655211"}}}}}