{"entities":{"Q1020501":{"pageid":1022349,"ns":120,"title":"Item:Q1020501","lastrevid":69438306,"modified":"2026-04-13T07:00:14Z","type":"item","id":"Q1020501","labels":{"en":{"language":"en","value":"A solver for QBFs in negation normal form"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5559836"}},"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":"Q1020501$75630B04-D7C2-4650-9D9F-00541E2194E2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a1b3fa903ca209e8044f60cad0fe393a68416dc5","datavalue":{"value":{"text":"A solver for QBFs in negation normal form","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1020501$EC82536D-D0A9-44F9-B753-982CAF4C7AB1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1c906cc4b0cd65829bf4ce3028d65f504bdde5d2","datavalue":{"value":"1167.68054","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1020501$08CDFC10-53C6-4887-B68F-1B4BF3C76A30","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d140f15ea14007eb49a1fd3fff371fc795569921","datavalue":{"value":{"entity-type":"item","numeric-id":229734,"id":"Q229734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1020501$AD7C5C26-2F21-4160-AE9E-3A82F6FB0BA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8ee4845e86e5811d62c9668c255c85eabfc67a62","datavalue":{"value":{"entity-type":"item","numeric-id":286395,"id":"Q286395"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1020501$F92EF818-AC80-451B-B0E1-34677752892C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7d60945846f47c381f94a775b3774656e226de61","datavalue":{"value":{"entity-type":"item","numeric-id":334819,"id":"Q334819"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1020501$1F3FB160-CCFA-4D4D-B746-CFE74A98D7E7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a94d1d6f5ae333511fea1192115f95b08e9c8fb1","datavalue":{"value":{"entity-type":"item","numeric-id":202524,"id":"Q202524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1020501$272E0643-F727-462C-8AEA-36D3EC7ED2DD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6c1214b366be0e4645b55d47fe60be82f198f986","datavalue":{"value":{"time":"+2009-05-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1020501$DFDDF8FF-8CCB-4CFF-8ABA-E5C845F23528","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1020501$F945B780-67F8-4A28-8552-78B90B10EEC7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e3c6932a6d2d5e6bd3956fbb1f13bee49959e949","datavalue":{"value":"5559836","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1020501$5D107EB6-A1E8-4681-A093-1D982F04D15D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0738ac04815d783cab8c1cea2f5f489a4a42ae45","datavalue":{"value":"solver","type":"string"},"datatype":"string"},"type":"statement","id":"Q1020501$6BFA52E1-F9E2-425F-9C8D-DAE4ACF69C34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"43b6b4d8b566ad12ed7b2bfdb297461ef500421a","datavalue":{"value":"QBFs","type":"string"},"datatype":"string"},"type":"statement","id":"Q1020501$282E86AC-1BDB-42BE-943B-B72420DC101F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1ff42b42320a82b79477c786f622fa365512b2e8","datavalue":{"value":"negation normal form","type":"string"},"datatype":"string"},"type":"statement","id":"Q1020501$6142D8B2-63A2-4D37-ACBA-51B29B637A8B","rank":"normal"}],"P1463":[{"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":"Q1020501$0D284ECE-1527-44B6-9257-CE25BFF0D3E8","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":"Q1020501$16B9D865-B8F2-477B-8CA4-C03F9BE13612","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":"Q1020501$300A5A25-6921-4E96-97EE-74C283BB93E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"87973a7a71e3ffa05ce5b5aeabcd6b005b85607e","datavalue":{"value":{"entity-type":"item","numeric-id":21561,"id":"Q21561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1020501$E67475C3-CE18-4501-A5FE-86D9CCC3FFB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"daf1126f3bf58ae583160328d0dec0da3aedc25e","datavalue":{"value":{"entity-type":"item","numeric-id":40434,"id":"Q40434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1020501$BC482481-6301-454D-A3FA-C7EDB90B808B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b80a8312448a75ce18cad949570147edd296704e","datavalue":{"value":{"entity-type":"item","numeric-id":40097,"id":"Q40097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1020501$56312794-3B99-4F24-8675-CED66DD66B3F","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":"Q1020501$3B8F3C82-698D-415E-B2EA-B21CA9851C38","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"71633fef3405d5fb8a4503a29c0ead399c5b5f98","datavalue":{"value":"https://doi.org/10.1007/s10601-008-9055-y","type":"string"},"datatype":"url"},"type":"statement","id":"Q1020501$CDAA099D-550F-47A5-83E4-CBB3C01F16E5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ad64c72f30810d735fce078694c251e7a359e581","datavalue":{"value":"W2161955489","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1020501$44B2E9A4-C568-44C8-8BAC-F7C016A9B5D0","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"84ca51db6a7bb5436adaafff689839a587063d0c","datavalue":{"value":{"entity-type":"item","numeric-id":4434614,"id":"Q4434614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1020501$367BB01B-27C3-470B-A770-D1395E7584B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"77025c29d5290494072647e90cfd5b7ac95c54f8","datavalue":{"value":{"entity-type":"item","numeric-id":4427904,"id":"Q4427904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1020501$38C175A7-EEC0-4153-8B27-B17F18F2C819","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b559e594edc07777117cb084e905ea94187a1df3","datavalue":{"value":{"entity-type":"item","numeric-id":4304753,"id":"Q4304753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1020501$E0430479-7EDE-4D53-8B32-B571AD25B022","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":"Q1020501$40C02CAA-2A27-4C1A-9DE4-18372C465660","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dade92b7bae7e35fbe6482384fde339e618db8c3","datavalue":{"value":{"entity-type":"item","numeric-id":5464028,"id":"Q5464028"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1020501$91C517CB-787E-491D-B0BC-8B5F64127126","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":"Q1020501$FEA28A08-23FC-4159-BDE2-A610C83EA7D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"18cdec34fa64c4fe94079af9a70deb0327c75541","datavalue":{"value":{"entity-type":"item","numeric-id":1201346,"id":"Q1201346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1020501$A1F818F5-B79E-4F19-BF67-D307E14F65AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91b17ca5304b07e27db69bbaad41f776f31427c7","datavalue":{"value":{"entity-type":"item","numeric-id":3997615,"id":"Q3997615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1020501$4C7D93B8-7B7A-49A0-8D89-05FFCAA33B67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c904ee72aed10f9210e9e7629acac3859a983c75","datavalue":{"value":{"entity-type":"item","numeric-id":674761,"id":"Q674761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1020501$706CE8B9-685F-4D5A-84B3-85109D7AC78B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19f0ea72f3ef395c101792bfb158c9efd6377c41","datavalue":{"value":{"entity-type":"item","numeric-id":4263791,"id":"Q4263791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1020501$78D34B27-FB59-477D-BB25-459ABF387570","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"32f297a16e97138f531f7e0337f2f2f3b501998d","datavalue":{"value":{"entity-type":"item","numeric-id":5325863,"id":"Q5325863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1020501$0D792C6C-4012-4C9F-B772-00631D72D38D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c56e4c2c6035566f59276543559e639fd9c50528","datavalue":{"value":{"entity-type":"item","numeric-id":676453,"id":"Q676453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1020501$F50F1D1E-E747-43BA-B74D-6A500ECCCF7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"92d155c7dcd0b41aa8d5369fa6a9b7a5ca42b115","datavalue":{"value":{"entity-type":"item","numeric-id":1603731,"id":"Q1603731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1020501$9DE5F805-9999-4A78-8986-2CF13AEDA10D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"113adb4ba1e3bd0177197069b543187572980809","datavalue":{"value":{"entity-type":"item","numeric-id":5903759,"id":"Q5903759"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1020501$1E0484EE-67BD-4774-9719-7177AA2E7FC8","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":"Q1020501$F37C978A-18A1-402D-A973-411C60C2FDFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f103fa401cdca02160ebee26851f7a4dbd4e17e","datavalue":{"value":{"entity-type":"item","numeric-id":5813181,"id":"Q5813181"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1020501$7F3AB979-1F4C-4BAA-85BF-84B8C8F5A0F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6fb709cf21f038838c22dc9dd9d3c12ffeac725f","datavalue":{"value":{"entity-type":"item","numeric-id":5714770,"id":"Q5714770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1020501$249A4798-8B29-45D0-AA32-F788D20E2860","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b6b8ac53c9c616c3aedcca87f608c4737d5fa97","datavalue":{"value":{"entity-type":"item","numeric-id":4412858,"id":"Q4412858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1020501$CF85C625-6EF7-48F9-BC5A-92BA0A30020B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"926790065f8720d8abd3f91f1840b886b94a647a","datavalue":{"value":{"entity-type":"item","numeric-id":5713741,"id":"Q5713741"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1020501$DB2A98F7-EF80-4FE6-9021-828D501BE5EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e70afc75614113fd909ab00f77eb42be8071853","datavalue":{"value":{"entity-type":"item","numeric-id":3429159,"id":"Q3429159"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1020501$CEDB5F51-44DA-42BB-BB0A-D1390B8F9C1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"704aa6a93e08ad86249a712577f6e2a837a14490","datavalue":{"value":{"entity-type":"item","numeric-id":4249904,"id":"Q4249904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1020501$C71B861C-9C5E-404F-92E8-BBC77691AF9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a1f22627a2fd6946b137c229e8caa7c910df178c","datavalue":{"value":{"entity-type":"item","numeric-id":5424873,"id":"Q5424873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1020501$F1BB1A58-0F35-40E4-A1C2-4BE9C099518A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a7752f7ec7cd78239b4d2ae3380391d213e2a4a","datavalue":{"value":{"entity-type":"item","numeric-id":5900711,"id":"Q5900711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1020501$7F74CF8A-E0DB-4A99-8A4A-155C0171F51D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"008723b33cb14bbda59226503d753d137dc6f8ef","datavalue":{"value":{"entity-type":"item","numeric-id":1098330,"id":"Q1098330"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1020501$C488F717-2638-4DF0-84B1-1E3A3D0597DF","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":"Q1020501$54A200B5-CB2D-4B73-BBE8-D58D125A7CF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb20c4d5610d34fe4f3c2f5acadd1e9233934561","datavalue":{"value":{"entity-type":"item","numeric-id":5756570,"id":"Q5756570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1020501$E5CE0543-11CF-4C97-A77D-5A35CBBDB590","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":"Q1020501$1E98B48A-B629-4086-815C-970CC6BC01DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"06bd13c38a7c6a59beea2e6a328cdaab198576fa","datavalue":{"value":{"entity-type":"item","numeric-id":5475778,"id":"Q5475778"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1020501$1D3C6971-108C-4120-92C2-C7B9F8A780FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"556c63d3d5fbb69adda2aaeb321f31370f38a3b9","datavalue":{"value":{"entity-type":"item","numeric-id":4716271,"id":"Q4716271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1020501$FBD56827-5EDC-489D-9500-DA1672FB1D7C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b26063b1ee4632015f7952c179d4d2ce29d27d24","datavalue":{"value":"10.1007/S10601-008-9055-Y","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1020501$82A635F0-BBD8-42C4-BFF7-3710564BD40D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aaca4aa409698235e96d4188f4bdfbbacd67412d","datavalue":{"value":{"entity-type":"item","numeric-id":4930584,"id":"Q4930584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7a1d8c3018d6c1319d2f9dcdab9521ee0c28f2b9","datavalue":{"value":{"amount":"+0.7908766865730286","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":"Q1020501$998CA32E-3FA4-4440-868E-2834A5E869AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"741673679e1460f40e1a8b02e221f185fbfaa111","datavalue":{"value":{"entity-type":"item","numeric-id":3637177,"id":"Q3637177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e0500e6a98c06a99f9d5444d398384d8cbb81f21","datavalue":{"value":{"amount":"+0.779577910900116","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":"Q1020501$DEEA72EA-B351-4336-8F25-CE75EF1AFC0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ae2c407c9d263a0164835ab2ab00e250470b2d5e","datavalue":{"value":{"entity-type":"item","numeric-id":5325883,"id":"Q5325883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e1187b60342dfc0ca22d72d7eeeba515d56dd59d","datavalue":{"value":{"amount":"+0.7786634564399719","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":"Q1020501$A8E63DD0-75C0-45C7-AE7B-B8FC1C1E98D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c1fc7cac1ef2a5f23b4b5e2763b1cb886782baf1","datavalue":{"value":{"entity-type":"item","numeric-id":5325863,"id":"Q5325863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"980e31e9489c94fd18fabfca2341bd187f890c80","datavalue":{"value":{"amount":"+0.7754114866256714","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":"Q1020501$7E2E64B0-76DD-4EBB-8AC1-592B80B978DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"83cc427116e8e5de07b05e44314d4af2dec7739b","datavalue":{"value":{"entity-type":"item","numeric-id":5900311,"id":"Q5900311"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f4966e59403216e99fbc664fd575d87c89fdff20","datavalue":{"value":{"amount":"+0.7740893363952637","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":"Q1020501$BAEA3852-90C2-46AE-BA3B-72C93C9055BF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A solver for QBFs in negation normal form","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_solver_for_QBFs_in_negation_normal_form"}}}}}