{"entities":{"Q2362496":{"pageid":2373239,"ns":120,"title":"Item:Q2362496","lastrevid":72600936,"modified":"2026-04-14T06:00:41Z","type":"item","id":"Q2362496","labels":{"en":{"language":"en","value":"Solution validation and extraction for QBF preprocessing"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6741141"}},"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":"Q2362496$E15B4330-EC19-4873-8190-9A7E7D0552AC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ab52f59a41c55cce00057bd55182154eaea78f3d","datavalue":{"value":{"text":"Solution validation and extraction for QBF preprocessing","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2362496$CC9AD423-0678-493E-B0F6-10E3C2EA8342","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2023e3e5217454ff254b3555bcc111d6fbab4361","datavalue":{"value":"1409.68258","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2362496$735BC650-8F8D-4D07-B9F1-D585E13FA103","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4545114e473836bad71ebea0181e527108d9e5ea","datavalue":{"value":{"entity-type":"item","numeric-id":352966,"id":"Q352966"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2362496$70AE1FFA-B3AB-4473-A15E-016F064B19F0","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":"Q2362496$89B3410B-3218-48E5-B404-9BF73ABD9AA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"396db362b8f5a55e9aac7b42eacb07e40796d942","datavalue":{"value":{"entity-type":"item","numeric-id":209458,"id":"Q209458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2362496$11A6CE67-002C-45ED-B4C6-4CF99174EB0B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b84cc8b5923f45dc86ae69f67f68bf56d7ecfce9","datavalue":{"value":{"entity-type":"item","numeric-id":174771,"id":"Q174771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2362496$5C23008B-ECC8-48BD-8085-EB8E093E6869","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e955e3eec351ab42dab17f50ba694aafa8d23fd1","datavalue":{"value":{"time":"+2017-07-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2362496$07A641F2-1B94-4F7E-B7BC-688636A32B17","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2362496$B8575F78-6E95-4A7C-A0D2-48D4BD5DE4B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2362496$6367D75C-F6EE-4C8E-BE0E-C7B8E678DBE9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a92459c817601c4f072e640010d8f928a0a2984f","datavalue":{"value":"6741141","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2362496$36EEAFDD-000E-40D4-8418-5A32F57B3FFA","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"90bbf05b61d9b805bad3a7dddfdf703eeaec6239","datavalue":{"value":{"entity-type":"item","numeric-id":19022,"id":"Q19022"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2362496$6B83C7BB-AA53-4B01-8595-9191D8590C26","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":"Q2362496$7950F5E1-5D1A-41D5-80C6-A3818027B68C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"51a313bba85d083d332055ca3bb709d116ecc30a","datavalue":{"value":{"entity-type":"item","numeric-id":21559,"id":"Q21559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2362496$542ECBA0-2BDA-4CDD-BA45-A66D0A642FA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e0ef7aed5e557965de3f0d4aab5d60887968bacb","datavalue":{"value":{"entity-type":"item","numeric-id":19149,"id":"Q19149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2362496$23C15ECD-F7F3-4DD8-A4DC-580D240AD1C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a6b38d41f42be9a63abc418d73603b2d531b26a9","datavalue":{"value":{"entity-type":"item","numeric-id":21713,"id":"Q21713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2362496$2218B17A-A975-4F3C-AF80-55237818AC15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bbe2b9a97ce0ea3098b4e4971345da27fad3d33e","datavalue":{"value":{"entity-type":"item","numeric-id":39735,"id":"Q39735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2362496$F2535BC3-A380-4778-A97B-5D859BA18F7C","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":"Q2362496$31EF130F-9267-485C-AA60-1FEB909F82A4","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":"Q2362496$E339C016-AD59-440F-93EB-505747A3E667","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"3810c7bf221b43532b3d15bc5d7a1106ebd12ec7","datavalue":{"value":{"entity-type":"item","numeric-id":25229,"id":"Q25229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2362496$F9628DE6-7F53-4A27-B7C6-B0758CD131A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a3f7f8548c5af1e2ae512d0bcfba5384da7ef3bf","datavalue":{"value":{"entity-type":"item","numeric-id":25228,"id":"Q25228"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2362496$9FB08B04-A54A-4BC6-B4BB-B17251833B37","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":"Q2362496$70B0D662-636C-430F-B268-35296ACCF059","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"571e1897374ce709fd595a47c83b7674c2dfa63f","datavalue":{"value":"https://doi.org/10.1007/s10817-016-9390-4","type":"string"},"datatype":"url"},"type":"statement","id":"Q2362496$E340AABA-CD5D-4F5F-A2CF-C14E963A4BAC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"54a843a3e510fbe059744722979a629aeb89732b","datavalue":{"value":"W2547601025","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2362496$71E99D3D-A296-4EA1-8CD2-EC71960456F3","rank":"normal"}],"P223":[{"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":"Q2362496$87F530BE-C0ED-4BDE-8320-4F601199F61E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"024f5f642d34b86085d7b9145b61316e312fd268","datavalue":{"value":{"entity-type":"item","numeric-id":2441712,"id":"Q2441712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2362496$971980E3-D997-4954-84B5-78E86F1C467E","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":"Q2362496$DF3C04D2-BC69-4730-8225-E6B3FBABCD8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ebd47a55b9c2aed7b10858aad59c96098e81642","datavalue":{"value":{"entity-type":"item","numeric-id":3620436,"id":"Q3620436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2362496$E6B54B06-C822-41E7-91E9-65988D0F674A","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":"Q2362496$17057E1A-0088-4B57-A384-846CC7976022","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f89527defb7821d91c51c15ad00dbe2e1b3d605","datavalue":{"value":{"entity-type":"item","numeric-id":2941732,"id":"Q2941732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2362496$A88C794D-514B-46C2-BAFE-CE145DB53078","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"926ec579a6e1751bee4f751c2a20e927df8e0825","datavalue":{"value":{"entity-type":"item","numeric-id":5200018,"id":"Q5200018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2362496$268F86CE-567F-41CD-AE14-5AA93AD8C859","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"16381af0cca809d96a3239e7f95bab63296fc5da","datavalue":{"value":{"entity-type":"item","numeric-id":2938057,"id":"Q2938057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2362496$65AE3BF7-D327-4CE4-AD87-FA7EBF4EF33A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fda6711bd23a75752359e8da91eea58b1ea8ddac","datavalue":{"value":{"entity-type":"item","numeric-id":3612470,"id":"Q3612470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2362496$43BB47F0-E8B6-4182-9BBE-C1E66581992A","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":"Q2362496$F5AA6D86-58D8-4BAA-AD23-3D0DD99A64EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c0e6b90c16ae5fa1eac19212a306cb84ffec72b","datavalue":{"value":{"entity-type":"item","numeric-id":5613969,"id":"Q5613969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2362496$1652603B-266E-4DAC-AA47-0E38CE5EDCCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4329c832aaeefb18d7073f9e13d9d92559128df4","datavalue":{"value":{"entity-type":"item","numeric-id":4930581,"id":"Q4930581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2362496$C2A1B802-BDB6-4D7E-9CC6-665C1A498408","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4bcb0e71d083cf8486de0b4db45626afe5608e21","datavalue":{"value":{"entity-type":"item","numeric-id":3557074,"id":"Q3557074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2362496$57544809-ADA4-46F3-AFA9-D683CEE3FD0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"002ee549d8bb57e5e1846db9b011600108709cfd","datavalue":{"value":{"entity-type":"item","numeric-id":3192183,"id":"Q3192183"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2362496$0061BC6B-88CE-4618-9550-BF22B2F021FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de7e4d77503aed92727b364d8ebca331dbb48acd","datavalue":{"value":{"entity-type":"item","numeric-id":3454124,"id":"Q3454124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2362496$8A1C022C-7D2B-447C-AF59-232E5E1B8769","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4140c1175bddc4c685fd37c0a5c7adcd0a184434","datavalue":{"value":{"entity-type":"item","numeric-id":4933317,"id":"Q4933317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2362496$B4E5B5FC-37BF-4891-A2F8-2949D3D37BCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd1ae1eae0bbb3048cc59d85f34aded019099780","datavalue":{"value":{"entity-type":"item","numeric-id":4928451,"id":"Q4928451"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2362496$4E0A155C-51FC-41B2-96D6-CB162129DA89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"46a64f5d8bb8796d929b170b9a451b694680664c","datavalue":{"value":{"entity-type":"item","numeric-id":2339467,"id":"Q2339467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2362496$14169E60-6062-488C-86AA-A4841C9D27F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"044129070bc08dd1905e0080800d7b1258775f86","datavalue":{"value":{"entity-type":"item","numeric-id":2870148,"id":"Q2870148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2362496$8594433A-2162-404D-9B31-66AFF8A0D9BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"87be12daaa9049d37eba12568fd639bb8a1c86c9","datavalue":{"value":{"entity-type":"item","numeric-id":2908507,"id":"Q2908507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2362496$319F71C6-C188-4858-979D-3A4FD733933A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd73ca6e418060dc9aa1dc7053b40ae99fececfa","datavalue":{"value":{"entity-type":"item","numeric-id":5756562,"id":"Q5756562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2362496$CB08254A-72F2-40ED-950A-60267C4262F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e81867e3920d63292ec40a953a0141bb46dbbec3","datavalue":{"value":{"entity-type":"item","numeric-id":3612467,"id":"Q3612467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2362496$D7900E00-B2E1-43C2-8CE1-77E1E0197186","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":"Q2362496$44FFDF9C-DF95-4323-B777-4BF1FD39ABC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6ca68d21b1b06ebf1c22bbc5b4da9a3b62e5e70","datavalue":{"value":{"entity-type":"item","numeric-id":2642467,"id":"Q2642467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2362496$6C76CA0C-A899-4EC3-8194-D8A46970A454","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"55b1c8183df1009d3675586de65e7dfd8c2c37ca","datavalue":{"value":{"entity-type":"item","numeric-id":286397,"id":"Q286397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2362496$638F4C86-CA9F-4527-880D-A80E72AAF542","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a68cc60804613a7acb4af9a6e5a107724c588bd","datavalue":{"value":{"entity-type":"item","numeric-id":3460072,"id":"Q3460072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2362496$8DD17872-179C-4200-9C1C-7C78EBBC333D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"241a84e6f61ddf1a88ab9e24d91b0723d27a5775","datavalue":{"value":{"entity-type":"item","numeric-id":3400890,"id":"Q3400890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2362496$69EC08FE-132F-48AA-8C43-F12DB7467BF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1c6d0d596991bfe8d4d820bd3efbafa0c05d235","datavalue":{"value":{"entity-type":"item","numeric-id":896919,"id":"Q896919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2362496$21CAC739-BD29-41AA-802A-C50936A8541A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b4a6b652a56cc97a0cfb61529d9b614d8a0988c8","datavalue":{"value":{"entity-type":"item","numeric-id":3169452,"id":"Q3169452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2362496$D4558538-E795-4925-A2E1-DDC76CE9D156","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb081c24d3f308759ffc5be25d93bb06a52b464f","datavalue":{"value":{"entity-type":"item","numeric-id":3192088,"id":"Q3192088"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2362496$C7692332-0C11-4C75-9471-03482EC96A3F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2945528df6ba9b6a8500d7152b872e34434877bd","datavalue":{"value":"10.1007/S10817-016-9390-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2362496$7C958E5C-5EA6-4D07-960B-66DB4EE8A098","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"316f41812037143c55f949ca95fe8a48b96dfdb4","datavalue":{"value":{"entity-type":"item","numeric-id":3192183,"id":"Q3192183"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dba8bc37251045a612f5ebe2a9acf3a1490c9b7b","datavalue":{"value":{"amount":"+0.8810267448425293","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":"Q2362496$210F17FB-72C2-4446-B351-F508AE13ECCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1c835d700cda9d0fb6f07bb5ffbc1ed56d22c2c6","datavalue":{"value":{"entity-type":"item","numeric-id":5086224,"id":"Q5086224"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a5f757e7ed46da079259809572ebed7110cae5e7","datavalue":{"value":{"amount":"+0.8530941605567932","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":"Q2362496$0168AA10-54CD-42F9-95D5-737FB0986A13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3db7f57505a4a5149a46c14f89c4fb20314fac17","datavalue":{"value":{"entity-type":"item","numeric-id":2870148,"id":"Q2870148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"23310018bf3c592dcc1708350e1d5ecb0e864120","datavalue":{"value":{"amount":"+0.8424942493438721","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":"Q2362496$81C62ACD-AF98-4E87-9E93-38F0151036B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9695626990872a97c04faa503faf1ead3d10e7b6","datavalue":{"value":{"entity-type":"item","numeric-id":3612470,"id":"Q3612470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c0d1ab32d74fdf34d646c0af865d0b8ecd64964f","datavalue":{"value":{"amount":"+0.808834969997406","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":"Q2362496$66B4E67B-9388-4384-A427-A28F33796C0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3f2caae3c88bd411f954346557b19767f2499a51","datavalue":{"value":{"entity-type":"item","numeric-id":2181932,"id":"Q2181932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"69e8a3eebf2197acb9735ab0b89b86ded271d74a","datavalue":{"value":{"amount":"+0.8016671538352966","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":"Q2362496$665C9521-7BD4-4E33-9C35-BFA6D901C390","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Solution validation and extraction for QBF preprocessing","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Solution_validation_and_extraction_for_QBF_preprocessing"}}}}}