{"entities":{"Q2225124":{"pageid":2235867,"ns":120,"title":"Item:Q2225124","lastrevid":57685827,"modified":"2026-03-31T22:04:02Z","type":"item","id":"Q2225124","labels":{"en":{"language":"en","value":"Interpolation-based semantic gate extraction and its applications to QBF preprocessing"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7306425"}},"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":"Q2225124$B473B950-0642-4853-89D4-58B7EEF76200","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"88b5b1d86cb73cea09c7a16b4875c86a87d8c140","datavalue":{"value":{"text":"Interpolation-based semantic gate extraction and its applications to QBF preprocessing","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2225124$8584CCE6-CEA6-4D42-AC70-76064B2D1942","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"81e9f167a6a76255405a339a43c3b2243f76e6e9","datavalue":{"value":"1478.68202","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2225124$992D7DBD-5529-4654-A814-D9317293E600","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"348cfba3445c072656401be56af4a0ffbc95f60b","datavalue":{"value":"10.1007/978-3-030-53288-8_24","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2225124$2AB57E91-33FD-4556-97FB-AE720C8205A4","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":"Q2225124$38538FAC-9E65-411D-8924-F5B90580088F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8d6a456e0bab179ca64e4b2223a94b5349f4a541","datavalue":{"value":{"time":"+2021-02-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2225124$C38F4188-7BFB-48AD-9059-209E8CC833C9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7083a5d146d78edf9fc7469a5d9b0c104122f1b7","datavalue":{"value":"68R07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2225124$86950D1A-548B-4A36-921A-09C965B04360","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2225124$A8E96F83-444E-4ED0-BC14-96F3AC36CD73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c1d2d83da0d870574277144fdd1db9abaae162ec","datavalue":{"value":"03C40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2225124$8CF4000F-4C32-45BE-987B-3A0694D0F2C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8a784276b4e09d379c8147965411b455c3d79751","datavalue":{"value":"68T10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2225124$A3BE1062-6521-4351-A923-A104B89074B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a252ac0e16e7cd1b816dd4d8c55ab05955b53869","datavalue":{"value":"94C11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2225124$0F1F8A9E-96AC-4CB8-93B5-7B4412CC7D55","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4f56148a4741272f9901cf19fefdce6a14df8fba","datavalue":{"value":"7306425","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2225124$7763B37A-6347-4AFF-BAD4-5B4431631BB3","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":"Q2225124$2FF813A3-ECA5-4050-8013-F0834658CFCE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b15f1f471aea795ffad6a0391fade027f972aa17","datavalue":{"value":"https://doi.org/10.1007/978-3-030-53288-8_24","type":"string"},"datatype":"url"},"type":"statement","id":"Q2225124$2FF5149D-6525-4517-9400-998D5788A7F9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"451be83e91f2075c19dd7b8507fdc101dee34f2d","datavalue":{"value":"W3042349892","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2225124$4876939F-E9BC-4C12-838B-47EA3D0E847B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5917fae84451ac558b4e757a8d3d8325b47d62a4","datavalue":{"value":{"entity-type":"item","numeric-id":2362496,"id":"Q2362496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"93c1ad150b8ec241b7b1793fc225c9a0fe235f1f","datavalue":{"value":{"amount":"+0.7720500826835632","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":"Q2225124$498F0614-A67C-4487-9C2F-9EF524BD5472","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8665f6b016ba60a0892af208453c29c9c3e0f8e8","datavalue":{"value":{"entity-type":"item","numeric-id":3453223,"id":"Q3453223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9b893c840c205a33b05f6cf247b27827e9ccb523","datavalue":{"value":{"amount":"+0.75460284948349","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":"Q2225124$860E24A6-1D90-4A32-A63B-9257AF51ECE6","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":"63b7fd8975051e65938c87041d29db8978ee7240","datavalue":{"value":{"amount":"+0.7476133108139038","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":"Q2225124$8B68AC51-CC77-49BF-9092-4EA68A71B667","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"735e4a7593e2aec0066ffe9438847f1c6adb8fa2","datavalue":{"value":{"entity-type":"item","numeric-id":5200018,"id":"Q5200018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"65ab99b74cb45dee9b37ec82b3c8c98b810330d1","datavalue":{"value":{"amount":"+0.7469950914382935","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":"Q2225124$9577E57C-AC19-4E21-828F-3F87E23188DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2e3fa43ea9a72a83663cc0ab045250bfd2bb9f05","datavalue":{"value":{"entity-type":"item","numeric-id":3460072,"id":"Q3460072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ae27f8c2fbb7be3dbfe4e46bc6a9f7856f0b444f","datavalue":{"value":{"amount":"+0.7391006946563721","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":"Q2225124$6AF18C68-0067-49EA-BF9B-E8E1D858990F","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2225124$AC7BC760-B8FA-4AC3-8859-48B753C85DD7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2225124","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2225124"}}}}}