{"entities":{"Q814445":{"pageid":816293,"ns":120,"title":"Item:Q814445","lastrevid":64604682,"modified":"2026-04-11T21:00:36Z","type":"item","id":"Q814445","labels":{"en":{"language":"en","value":"Backjumping for quantified Boolean logic satisfiability"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5003871"}},"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":"Q814445$4D0CF674-6802-46C2-8EB3-7637E2B24857","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"41691eaaf64f22c50c132fb05cc42f6a7b219c1d","datavalue":{"value":{"text":"Backjumping for quantified Boolean logic satisfiability","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q814445$B6272C69-E8EA-4C06-B148-F186C6498556","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"55532b849330017d353c659eed72824fb81b4acb","datavalue":{"value":"1082.68795","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q814445$77700823-D01E-4DA1-A5B2-36B0CFAEAD77","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b5bf0cbc59b9049d4aae704f54cedd304ee8fc89","datavalue":{"value":"10.1016/S0004-3702(02)00373-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q814445$B1879344-DE9D-457D-8CD0-914C434980EA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5fbf1d9c0b0e83239511c911eb40c1e2a2b73d12","datavalue":{"value":{"entity-type":"item","numeric-id":414854,"id":"Q414854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q814445$62CD4C2A-D323-41AB-A106-8BDABEFC295F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"50a184f8e1810a1ef5255b0ff0f33bfd71675e2a","datavalue":{"value":{"entity-type":"item","numeric-id":814444,"id":"Q814444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q814445$8A17AE82-FC42-4BEA-AAAC-91F0487F133C","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":"Q814445$8C585645-2578-405B-B8F4-1E5EDCCA027B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"984e6510ec40a363d20e607cce2cc2f8b07918ae","datavalue":{"value":{"entity-type":"item","numeric-id":72340,"id":"Q72340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q814445$3FD8A078-32EB-4C9C-B86E-798A4590B9AA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"af1e7ee79bb7db6c59f11bd3513948628cb420f3","datavalue":{"value":{"time":"+2006-02-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":"Q814445$06755B2C-FCD0-4398-AFA3-EC7A0EC26030","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q814445$4140DA8A-3C8C-44B3-86F2-69B69891BD7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q814445$C3F65C55-B12B-46EA-8110-4F914CB7ED0D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5a35e3fb0f3908c6f98dd402e37418b28323ad4d","datavalue":{"value":"5003871","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q814445$E481CFBA-A11D-4CA1-B263-EA53AE3AA206","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5926b6d95652af55624867dff323dcf7ac79c83b","datavalue":{"value":"Quantified Boolean Logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q814445$0AE00EDA-75AF-40CB-8B58-94B6861D5593","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"df251defafd23b12a86e1bc8807fd0ae8c994a09","datavalue":{"value":"Satisfiability testing","type":"string"},"datatype":"string"},"type":"statement","id":"Q814445$48B809C3-6356-40AB-B776-67BCC3D8D8C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3971ee52cc98a88e4d13233657f8338e7e6b622d","datavalue":{"value":"Automated reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q814445$BDEE5521-14AC-4F8C-80AF-A5C92E5100B4","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ca9a3b7221d86f39ba625c5cdafb4b84300080f1","datavalue":{"value":{"entity-type":"item","numeric-id":13515,"id":"Q13515"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q814445$53CC4C2A-DC1B-4843-B15A-86DAE90ABB9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"6ef83bc65a4e27e40a0f15cc6aef8f4086b5991a","datavalue":{"value":{"entity-type":"item","numeric-id":23327,"id":"Q23327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q814445$7153E8D7-6871-4B8B-BF5A-D5FABFF678AD","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":"Q814445$61014875-D65D-4915-8413-AE901C698D88","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"22c39da1c487de55ef7761ff04eab09bc1074d4d","datavalue":{"value":"Q62040564","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q814445$65E84B7F-2805-4046-AB37-918631B11893","rank":"normal"}],"P223":[{"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":"Q814445$60FDAF4B-0353-4EE9-9AC1-3DF01B06056A","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":"Q814445$DF01DD72-9A27-4285-B189-A1F82A5776D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df2dcdf769969c9e2053606978646882985217ff","datavalue":{"value":{"entity-type":"item","numeric-id":1610666,"id":"Q1610666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q814445$0CCC0BBF-F9C9-4E0E-B928-0B7AFA6F7182","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62cff4d07ffcb71b5bb9f399ad2347b51931f095","datavalue":{"value":{"entity-type":"item","numeric-id":5621961,"id":"Q5621961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q814445$E7C63967-7F75-4013-A1D9-88C59CE3A412","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"53cb64b0528c98205216ec932060ad7398d2f289","datavalue":{"value":{"entity-type":"item","numeric-id":4539619,"id":"Q4539619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q814445$0D6196C9-7518-4B72-A857-9D9CBA7A0DF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e1a2bc812e5333b5582e9a89d0e222c5015c063","datavalue":{"value":{"entity-type":"item","numeric-id":4539620,"id":"Q4539620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q814445$FF6579BA-54AB-48A8-B707-083D6917E520","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8132f197eba1642379bbe97f1fd2389daaa6c6a4","datavalue":{"value":{"entity-type":"item","numeric-id":1380435,"id":"Q1380435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q814445$CFCAB0B6-0740-4F55-AF54-48C0988453D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fee217a6efb56bcafe9bc6e8f2cfa457703ce050","datavalue":{"value":{"entity-type":"item","numeric-id":4252522,"id":"Q4252522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q814445$859A1C1E-0A6F-46DA-BEB0-0BDE7778705E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"533863522e1be8ef050bdda1fa75cd7f5550db0f","datavalue":{"value":{"entity-type":"item","numeric-id":2754076,"id":"Q2754076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q814445$F5DC984A-4D10-46D8-A7DC-BBA8FA8E3433","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e0f775bee1e935d1a6ba69120c0f3b760100e6c","datavalue":{"value":{"entity-type":"item","numeric-id":4799252,"id":"Q4799252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q814445$EA347003-0E52-4F00-BFEC-A072B7A8FB07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6b234721bf2dc72cde4eaeda17fddb62e623711","datavalue":{"value":{"entity-type":"item","numeric-id":1399134,"id":"Q1399134"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q814445$1B228F29-CE19-4930-A4E0-4F2DDF187C45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee336dc91964eefeff72c0b3f49801b180502548","datavalue":{"value":{"entity-type":"item","numeric-id":2717783,"id":"Q2717783"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q814445$8D24C75F-6E05-4702-8D4B-6E93B6C63F52","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"a7063b951bc08dc7cec005cb78f1447daf102ed6","datavalue":{"value":"journals/ai/GiunchigliaNT03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q814445$F88F9055-6079-4AFE-BF1A-4101963E83DE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6af10372ba5b5be7aa71635c027b911065798a42","datavalue":{"value":{"entity-type":"item","numeric-id":4799252,"id":"Q4799252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f984fca2e876310bd90798242f3f9e52f0372c74","datavalue":{"value":{"amount":"+0.93681955","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q814445$1841FDED-1FAC-4B8B-9E48-D6F1F4A88F20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"33b7a297e598e0f745c635dccb5e96b33e1df131","datavalue":{"value":{"entity-type":"item","numeric-id":5490663,"id":"Q5490663"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"19b75ea10e48ac165d716ddf05dd417a6f6dc722","datavalue":{"value":{"amount":"+0.89916253","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q814445$FA432BD3-FEA8-482C-A563-EA9A01FB49D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"db4df59161d956a54a7803e0bec38903787d6f87","datavalue":{"value":{"entity-type":"item","numeric-id":1605408,"id":"Q1605408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ebc578f05dfbe4f98a8dcbdc1282030b55f87b3b","datavalue":{"value":{"amount":"+0.88558203","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q814445$DA2103FD-0459-450F-8CB2-FDA80DBA5AEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6397715b4b253111073a53ff394cddb3612a19b9","datavalue":{"value":{"entity-type":"item","numeric-id":1408385,"id":"Q1408385"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5876546ebe4a1276fb6817dcdce19b444910c61e","datavalue":{"value":{"amount":"+0.8829664","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q814445$48DDCC74-711A-4AA2-82AB-283B33BD525C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"49c1a4f71d82bd7c50dc9f74dde114e2ded1ee8f","datavalue":{"value":{"entity-type":"item","numeric-id":1040783,"id":"Q1040783"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"00d417ea0e4aa05a96541f09dee7577880ee3d64","datavalue":{"value":{"amount":"+0.8746109","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q814445$B03601E3-4DAA-4407-929F-5D28AAF330CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"14ec6e71b2c5d3cc40ee7410ee573300543fce30","datavalue":{"value":{"entity-type":"item","numeric-id":3612469,"id":"Q3612469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"00d417ea0e4aa05a96541f09dee7577880ee3d64","datavalue":{"value":{"amount":"+0.8746109","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q814445$2F4262E2-7286-476C-ACD5-5305AB429BA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7c9570866757e2cc9bfbf29399f692ece1e45a02","datavalue":{"value":{"entity-type":"item","numeric-id":4589090,"id":"Q4589090"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3b058c0605029c0f218cbdc45a935f8380c4121b","datavalue":{"value":{"amount":"+0.8677795","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q814445$6053EE8E-27D6-453E-9F15-284098B192C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"afa6fea1ad30be8589c1ade9090962929a80cd17","datavalue":{"value":{"entity-type":"item","numeric-id":4427904,"id":"Q4427904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"da03b85d8a1367e7f1216ac1f78015d5ba9ec1d1","datavalue":{"value":{"amount":"+0.8666242","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q814445$65113BC3-E540-46C2-8829-2BB3ACF6AE5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b8c7c95240e207c0d8b24c33c19beb8f00c024a9","datavalue":{"value":{"entity-type":"item","numeric-id":4804883,"id":"Q4804883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6b4622d611477426b274dc198606c56ab7d11e15","datavalue":{"value":{"amount":"+0.86528075","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q814445$4AA8F065-77B4-4EB6-B4B7-D957602826BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7bcbeeb5ebf247252bd252f2b9b4f1bdf64d126d","datavalue":{"value":{"entity-type":"item","numeric-id":4809068,"id":"Q4809068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6b4622d611477426b274dc198606c56ab7d11e15","datavalue":{"value":{"amount":"+0.86528075","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q814445$9B885A5B-C06E-478A-AF5D-E6934B17950B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Backjumping for quantified Boolean logic satisfiability","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Backjumping_for_quantified_Boolean_logic_satisfiability"}}}}}