{"entities":{"Q3624018":{"pageid":5653924,"ns":120,"title":"Item:Q3624018","lastrevid":58230075,"modified":"2026-04-04T08:02:42Z","type":"item","id":"Q3624018","labels":{"en":{"language":"en","value":"Clause/Term resolution and learning in the evaluation of quantified Boolean formulas"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5547846"}},"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":"Q3624018$46BDA144-5BC4-4A04-8186-A7946759418D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5adf7978b75b457c6d5474d290cec62f1c9761b9","datavalue":{"value":"1183.68475","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3624018$72ECD9D9-EFC1-4E1C-BF32-1423A8983017","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":"Q3624018$EA5B0868-A4A8-4F2E-961A-8675162B7A93","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":"Q3624018$32114F7B-382A-4EAC-A667-A02F7666FF7A","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":"Q3624018$266D36B0-A43B-4CC6-94E4-0993EA39E737","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"962aaad97593dfc1dafb90617b979127f52bb556","datavalue":{"value":{"time":"+2009-04-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3624018$39DDB2FA-ACE1-43A4-9CFB-908799B6132A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"34af509cb8dfce28cd37d455c680dbc8ccd0d5ef","datavalue":{"value":"https://arxiv.org/abs/1111.0860","type":"string"},"datatype":"url"},"type":"statement","id":"Q3624018$D09D70C9-0AB9-47F3-99E9-8F89B03EA93C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"cfe779e91fe9c53ee133568259955801965765ae","datavalue":{"value":"68T05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3624018$D36FF8B8-028C-40E8-8D8A-CA54DC0BE4A7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"23c288aea6caa67273a43c61db55968b5347d0eb","datavalue":{"value":"5547846","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3624018$A6D85721-A814-4BBD-B5F8-42B8CC426004","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1ca1042868ff4f694776e4b2c62ec66638c4ef91","datavalue":{"value":"automated reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q3624018$DA118656-9C63-4B5D-8306-638EE421BF05","rank":"normal"}],"P1463":[{"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":"Q3624018$A9CB4042-61CA-437A-98E9-21D87B238ECD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8cc02a4d5cfe357c7398b8045c9b55b5580560aa","datavalue":{"value":{"entity-type":"item","numeric-id":19323,"id":"Q19323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3624018$2DC4D2B5-D445-44DB-BA7F-48DE699E5FF2","rank":"normal"},{"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":"Q3624018$857902F6-9090-4F55-A995-E8AF325D95A9","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":"Q3624018$C480C921-6494-456E-B095-7A072E538487","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4732629a4972652d98f4bc9874c86637a0c91c78","datavalue":{"value":{"entity-type":"item","numeric-id":4899301,"id":"Q4899301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ec0c98d08a7a5e7ba2a547ae24a4510dda44d65c","datavalue":{"value":{"amount":"+0.854157030582428","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":"Q3624018$E2527029-C35F-4A09-A945-71C466397A54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9bf5f255dc196baa877f80fa7eecbb34d744fe54","datavalue":{"value":{"entity-type":"item","numeric-id":5326456,"id":"Q5326456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"be1ca5ddcd792ec44efb2421fb1accdf1966cf65","datavalue":{"value":{"amount":"+0.8294921517372131","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":"Q3624018$56B28738-446F-4ABC-9766-87693CB7804F","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":"78abc9f3de7f58feac57894a3c0975f3f0f5a83d","datavalue":{"value":{"amount":"+0.8191778659820557","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":"Q3624018$285DAFC4-63FE-4583-97FD-341F15E0FF26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"110ba9c429617ca4e23f2513182619482ae4e3b0","datavalue":{"value":{"entity-type":"item","numeric-id":2751045,"id":"Q2751045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"278891304f5219ff2a90872c2a2884215a75d9d5","datavalue":{"value":{"amount":"+0.8030990362167358","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":"Q3624018$15FF33FB-698D-4349-958F-49A7999D6D6A","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":"194f040225304a2af78b1948237740c966750ab7","datavalue":{"value":{"amount":"+0.8029754757881165","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":"Q3624018$8D8EA8B6-6B2E-43FB-AF93-F563A13F48F7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3624018","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3624018"}}}}}