{"entities":{"Q2818029":{"pageid":2828767,"ns":120,"title":"Item:Q2818029","lastrevid":79746509,"modified":"2026-05-06T14:37:11Z","type":"item","id":"Q2818029","labels":{"en":{"language":"en","value":"Non-prenex QBF solving using abstraction"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6623524"}},"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":"Q2818029$A3640E9C-D1AE-488D-BEAA-8C5A52771797","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7f39920ac459c51ad6871d14c9bef2ea329dd6af","datavalue":{"value":{"text":"Non-prenex QBF Solving Using Abstraction","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2818029$6CD0C290-76D6-4963-8EDB-9CF829D09EF5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ee82d6b929c31a72e9dae35ea84c659f6fb09387","datavalue":{"value":"1475.68224","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2818029$DFDB39B8-77DB-46EF-BF9D-56C5D7F7EE5E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6a89ca55f3a7e63da7e69ac473129b39be12ef7e","datavalue":{"value":"10.1007/978-3-319-40970-2_24","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2818029$1235AA19-4A84-45CC-BF9F-5DA95393C088","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b101b98a6bd34faf7b0864d086dc15dbfa8592e6","datavalue":{"value":{"entity-type":"item","numeric-id":1784964,"id":"Q1784964"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2818029$7C006819-A281-4DA2-A1D1-17AE336CC003","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"0c83d828fab67264ee3effdcbdeab1b4c818c4e9","datavalue":{"value":{"entity-type":"item","numeric-id":2817996,"id":"Q2817996"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2818029$FCF6031E-6CB9-4678-8FE6-EF06F21FCB06","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c42ad213f9b7f39d3e9ee142840c36c28e5864b9","datavalue":{"value":{"time":"+2016-09-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2818029$164276C2-2FE9-4440-8353-CE32C1653E05","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7083a5d146d78edf9fc7469a5d9b0c104122f1b7","datavalue":{"value":"68R07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2818029$A3FB9C3D-EA96-4CCA-B7AC-7D4B834AEC42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2818029$58FFACDA-9CE7-46C1-938D-91BF03AA3E3C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0a11b8bcfabc1f083919626964feb6b81a1654a1","datavalue":{"value":"6623524","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2818029$78FC6036-891E-4041-B5A1-8A75A8B6AA76","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2c9183463f88b5847f6cb1fa629a2f0b9ed00778","datavalue":{"value":{"entity-type":"item","numeric-id":23326,"id":"Q23326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2818029$611B1D8E-A041-47E6-9B5C-2454E8051BB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"62d5577a6426dd4bc6f53a7537d5e52c18adb6e4","datavalue":{"value":{"entity-type":"item","numeric-id":5974402,"id":"Q5974402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2818029$B4C5A183-20D8-4794-8971-3CB2682CF812","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"60c977c73f66c80db6a0782a3e55d401ee00ddc1","datavalue":{"value":{"entity-type":"item","numeric-id":19150,"id":"Q19150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2818029$464783EB-7242-42DA-8879-893D57CECBCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1ef66678d684041b8de78c7576de4cf0ad3466f3","datavalue":{"value":{"entity-type":"item","numeric-id":21560,"id":"Q21560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2818029$1A670985-AED6-4774-A9C6-23F049DC2FA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"4b0c0b6f7df3b8593ba973ede6d815c565b9b733","datavalue":{"value":{"entity-type":"item","numeric-id":23398,"id":"Q23398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2818029$93B0D792-76AB-4CE3-989E-BEB644A750C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f977d90147989768e21daaa75bb9e675b4c21143","datavalue":{"value":{"entity-type":"item","numeric-id":5973448,"id":"Q5973448"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2818029$116673E6-AF6B-48C7-AFD6-EF71810871DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"34285ec8e5b429721874dfad99c5da35c4ff72bc","datavalue":{"value":{"entity-type":"item","numeric-id":30503,"id":"Q30503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2818029$638FF0F0-DD77-4663-818A-A402F8642211","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e709217feba5582ee4330feae544dbf386970536","datavalue":{"value":{"entity-type":"item","numeric-id":37002,"id":"Q37002"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2818029$2D1E4527-7B14-4F1A-9054-2AF4A8877475","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"36ac489b116ea9c72cdd6f5aeb7f35ddb61dc6c4","datavalue":{"value":{"entity-type":"item","numeric-id":37655,"id":"Q37655"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2818029$3058C9A3-5B21-4DC0-827C-C3137EDFE8AB","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":"Q2818029$E2715102-4E0C-41A3-972C-ACA43E4598EE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"69cc71670e27f1f5db7a139e2c17ba85bdd4cdb0","datavalue":{"value":"https://doi.org/10.1007/978-3-319-40970-2_24","type":"string"},"datatype":"url"},"type":"statement","id":"Q2818029$4120F692-1449-41C6-9F18-4F22700798B2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"40ec6e4bb6273f93d6d619f76f2edab1c9ca433c","datavalue":{"value":"W2463075119","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2818029$BE979517-A3DF-4C59-B3E2-76AF3CB282E3","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9370899dedc1d653d16f1f5aaa8b6c6be96f529c","datavalue":{"value":{"entity-type":"item","numeric-id":3604000,"id":"Q3604000"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2818029$88E32AE0-27D2-482B-A2DB-99951D2289F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e0f9367fcada7729fe0f23d3b73250a0b1a897f","datavalue":{"value":{"entity-type":"item","numeric-id":1020501,"id":"Q1020501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2818029$DDB78093-1FBB-49C7-9E78-135BB4E6D73D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1aa9496983c523e576ed7e030ef8b8418be0e0d0","datavalue":{"value":{"entity-type":"item","numeric-id":3510817,"id":"Q3510817"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2818029$3C7B0448-876A-4D62-90F1-C263ED635284","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c29080afe6ea65229b5d1a0c0697db86e7d8d8c9","datavalue":{"value":{"entity-type":"item","numeric-id":3637177,"id":"Q3637177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2818029$E929687D-CDAE-4770-9124-00CBC91CC35C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"330ce073a559eb014c24d439e8bed6879ab9c0af","datavalue":{"value":{"entity-type":"item","numeric-id":2843327,"id":"Q2843327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2818029$0D2E6D41-6A65-438C-880B-FF7219E94AC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60a7268ad3b4748046f367cada6bdab438323000","datavalue":{"value":{"entity-type":"item","numeric-id":3192089,"id":"Q3192089"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2818029$12B6299A-AD1E-46AA-86D3-7C17932CBC9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc8e7aa6809d54e2ccf2352967b475ad93db72d0","datavalue":{"value":{"entity-type":"item","numeric-id":4930584,"id":"Q4930584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2818029$1797E088-E7DB-41C5-A6D3-C64206DF2923","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a27d1fb90cccb11f35259877f3ba9e207a2057f","datavalue":{"value":{"entity-type":"item","numeric-id":3502708,"id":"Q3502708"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2818029$744CB641-C37C-4456-AF67-68C238D86ED6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"759a3fe35509401001b165ba0d5ab1dfe3649ee5","datavalue":{"value":{"entity-type":"item","numeric-id":2818029,"id":"Q2818029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2818029$1128E69F-DF95-4CA2-BA64-9576D269B45E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4629c081970510c149c2cd537ca1f4bf05682828","datavalue":{"value":{"entity-type":"item","numeric-id":3453239,"id":"Q3453239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2818029$88D289AC-B722-4938-8C3C-84A6B27A5D85","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":"29737f68f4569774dee2f2ca366eea4e61b235bb","datavalue":{"value":{"amount":"+0.7911198735237122","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":"Q2818029$3093A147-9A98-4FC9-A6AF-51FBD3E23828","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f89fc255e92eccc916a706837acc484a8f070186","datavalue":{"value":{"entity-type":"item","numeric-id":5015608,"id":"Q5015608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"84022cec8b84ee3072e51353e6d0f6fcf5e5ed70","datavalue":{"value":{"amount":"+0.7830212116241455","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":"Q2818029$C88E413C-4F6D-4F09-97DF-53558C658B0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5e90393cb1a4862c6b22503feae877e5b45f2365","datavalue":{"value":{"entity-type":"item","numeric-id":3007686,"id":"Q3007686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"99b5126add4c8e9329672bdd4e7f661a78dfd920","datavalue":{"value":{"amount":"+0.7773916125297546","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":"Q2818029$3B0C06E9-4EA4-4976-96BF-1870C296DAED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c733211105b38a2a26b9dc19b8b9e469ed3ff78","datavalue":{"value":{"entity-type":"item","numeric-id":2058378,"id":"Q2058378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"373325c06aa9f96312bbe1bdbf4039964db8e162","datavalue":{"value":{"amount":"+0.7605263590812683","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":"Q2818029$4C74BD8B-5BB1-47F1-9F7E-F447C805508C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2bbec2b1785c9f7b440286b569ea957689db67d7","datavalue":{"value":{"entity-type":"item","numeric-id":1020501,"id":"Q1020501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"029f2cd8d5f77e90e396a8e412f7ddad02f0e722","datavalue":{"value":{"amount":"+0.7587428689002991","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":"Q2818029$9EA71E03-0E06-44A7-B785-727F02942D8C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Non-prenex QBF solving using abstraction","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Non-prenex_QBF_solving_using_abstraction"}}}}}