{"entities":{"Q287386":{"pageid":289153,"ns":120,"title":"Item:Q287386","lastrevid":60714966,"modified":"2026-04-10T18:41:25Z","type":"item","id":"Q287386","labels":{"en":{"language":"en","value":"Quantifier reordering for QBF"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6585666"}},"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":"Q287386$87CA5535-69F4-4481-BBE1-3DBBB7BACBD5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c5d2662d7f62754510329e434486223921fc5781","datavalue":{"value":{"text":"Quantifier reordering for QBF","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q287386$974B67E8-C52C-4F72-9E18-D02CA2FBA1F6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ae85b5806d3904b7dfaa68b2929479128f40a7f6","datavalue":{"value":"1356.68200","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q287386$4AD1DE61-17F9-4BF0-B8A1-8DF24D6F4D4C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ea7245a8985e7729dbb2100021fb8a2a32efed15","datavalue":{"value":{"entity-type":"item","numeric-id":287385,"id":"Q287385"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q287386$2F44333E-F45B-4FA2-86C2-C860510FD2EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"df479fb7dd60e36689e004e930ca5d750cdea886","datavalue":{"value":{"entity-type":"item","numeric-id":261393,"id":"Q261393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q287386$41C87D49-9E36-48D0-B5D7-CB28B2B69E1D","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":"Q287386$892C6F68-AB33-43C4-91C4-6EA1607449E5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b626bb78b3e93b3076e6958296f7f25e2e74c3ab","datavalue":{"value":{"time":"+2016-05-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q287386$8D70A139-4F3A-48C5-A574-53AA729EBA5B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q287386$1E68972C-E209-482A-BFE3-91DA43EB2610","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q287386$369A3BD4-BCC7-4406-803B-1032F1D1088B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fef595b4720441a368e82c2af1619259bdb36820","datavalue":{"value":"6585666","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q287386$0684FF94-8369-4C30-94C1-1529405DB5AC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9f805b7faea11905894680953dd9b9dfc3dd4258","datavalue":{"value":"quantified Boolean formulas","type":"string"},"datatype":"string"},"type":"statement","id":"Q287386$EA5A254F-63F0-4263-9580-6413A2B4AD41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"305e7026502b8e6e8517a2cec21d90ddd1aaed13","datavalue":{"value":"quantifier reordering","type":"string"},"datatype":"string"},"type":"statement","id":"Q287386$8D9C540B-A2D5-4E2F-A0F8-BCD408700E83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c36185d866a06c8b527286312dc9a0c89ec6a032","datavalue":{"value":"variable dependencies","type":"string"},"datatype":"string"},"type":"statement","id":"Q287386$72CD8410-0F6E-46FD-9CE2-9603CB6732FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0d2bc307fd2c88f5393329efed40fb2e06ad4cff","datavalue":{"value":"Q-resolution","type":"string"},"datatype":"string"},"type":"statement","id":"Q287386$FDB6E9BE-5327-4CDD-B3B8-10736152F7F5","rank":"normal"}],"P1463":[{"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":"Q287386$A62E57C9-B4A4-4E23-BE7E-FE704889A294","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":"Q287386$87141E5B-EF2B-46D0-A774-82A49B76FE0A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a68e325f39d8c0f86a2e27ba9ef1f9d17d43fa45","datavalue":{"value":"https://doi.org/10.1007/s10817-015-9353-1","type":"string"},"datatype":"url"},"type":"statement","id":"Q287386$7DF26A44-CC56-423E-9E43-CAA6FEB995BB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b4e5ee76c4f4016dec732e4a042ca0116ae68884","datavalue":{"value":"W2262500273","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q287386$58D4E33F-1DF7-47C5-98F0-4819E6FA979D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc857334dcd4916265f7bd8d095f3917fede5149","datavalue":{"value":{"entity-type":"item","numeric-id":2957870,"id":"Q2957870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q287386$4832F30C-13A2-4376-8137-57472E848F6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c980258a2b52c992d9a0c35b22f3411058f7ea6","datavalue":{"value":{"entity-type":"item","numeric-id":4930586,"id":"Q4930586"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q287386$85F2712A-18EF-4D32-9D54-DD065FD8A966","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":"Q287386$E09ABD2C-4DF1-4F0A-832E-0251C21B48DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3199ee993e7659b1e87a4f739fb4a0238b116c7f","datavalue":{"value":{"entity-type":"item","numeric-id":4553262,"id":"Q4553262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q287386$FB354DFB-C57B-48D9-82C7-A81A15C63374","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":"Q287386$A6D5AE20-CC60-4E23-A9C4-7BAB06B6C213","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a856eabfd48ba25e148be4fb9c4387f0a4d3d7b8","datavalue":{"value":{"entity-type":"item","numeric-id":1040783,"id":"Q1040783"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q287386$EF0CA935-AF5A-405F-8C09-CA36DD0858C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"130dbb6db379f2863eacc4d460357dee10cd38dd","datavalue":{"value":{"entity-type":"item","numeric-id":4488342,"id":"Q4488342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q287386$18A9E84D-656C-424C-8C14-4F9495EDB5A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"58826a8b01814b8363ea979157afc0f35550e4da","datavalue":{"value":{"entity-type":"item","numeric-id":2843322,"id":"Q2843322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q287386$28AE6F7B-6A36-437E-A9B2-45A25966BFD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"72ac12e02b617aafe51a4fb4bf3ef107c99fd816","datavalue":{"value":{"entity-type":"item","numeric-id":3192076,"id":"Q3192076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q287386$CF545B55-3A3C-4492-8C5D-4FBF972E432D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4751cb99cfb27abec44f2378f8165a3a9a6376a","datavalue":{"value":{"entity-type":"item","numeric-id":1236109,"id":"Q1236109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q287386$6AE5A1DD-E284-4F17-A6F2-4D0DEF2D1902","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":"Q287386$329ABF4A-9F6B-430F-BCC4-678A02725539","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f495fe02aa91fdfa6c525c392c72e8c9f93dd75f","datavalue":{"value":"10.1007/S10817-015-9353-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q287386$9B29A196-6219-4C18-A928-B64ACB25B9BA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9c16e67361b0ef57ca8c0cafafecada84d814977","datavalue":{"value":{"entity-type":"item","numeric-id":2843322,"id":"Q2843322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e4a2de2b26c010655a61cf49db64acf7e6b6b883","datavalue":{"value":{"amount":"+0.8315957188606262","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":"Q287386$697ECDA5-CEA3-4090-8181-BC1B418E2215","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d06a54f9f58d70b750796b92f3947935b7f23d6b","datavalue":{"value":{"entity-type":"item","numeric-id":4930586,"id":"Q4930586"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cd6656fa9d8078266b97402f7333aa49c77076e2","datavalue":{"value":{"amount":"+0.8268718123435974","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":"Q287386$694A1CE7-5DB5-4CC5-82D8-DF624C33D186","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":"f8b3880ff5e53109ceb4379fe2f326eb63506dae","datavalue":{"value":{"amount":"+0.8224008679389954","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":"Q287386$E59CCBE1-9A28-498A-8B3C-A4094C8351A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"30bffcc30c6e2e82f6795bcad4268b860b395d30","datavalue":{"value":{"entity-type":"item","numeric-id":3169452,"id":"Q3169452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"383e0afed55a1a3933cf11a1ce03f9947a69f685","datavalue":{"value":{"amount":"+0.8191351890563965","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":"Q287386$2B5BE6CB-2AC5-48BB-8403-B015A1590ED8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"396e9f05d4ad3751d8cd083836d121e6398060a0","datavalue":{"value":{"entity-type":"item","numeric-id":4968372,"id":"Q4968372"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"68db96bee17de41b0bd6ca2013706295b9cb8183","datavalue":{"value":{"amount":"+0.8160411715507507","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":"Q287386$AC8C9E5E-9FC3-4BA5-A660-44DC6C0177D6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Quantifier reordering for QBF","badges":[]}}}}}