{"entities":{"Q3172913":{"pageid":3183623,"ns":120,"title":"Item:Q3172913","lastrevid":45612415,"modified":"2025-12-11T09:22:46Z","type":"item","id":"Q3172913","labels":{"en":{"language":"en","value":"Antichain-Based QBF Solving"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5954788"}},"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":"Q3172913$E071B83A-8CDE-43C7-8862-13EE677D77DC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"615de9760013e612bcdd5208d27583bc78a42be9","datavalue":{"value":{"text":"Antichain-Based QBF Solving","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3172913$86C69663-9DAC-4EA3-820D-483F6F3919B8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"65a0681065a9b48da973b5b1f8f546029bb30750","datavalue":{"value":"1348.68224","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3172913$F0A3754D-CC15-42D5-89F9-1DD6F93FBDDA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"35c5d41b1803d644bfa032a07671fcdc878ef274","datavalue":{"value":"10.1007/978-3-642-24372-1_14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3172913$65837DA6-1AE6-4F1C-AFB4-8EE587BBFA88","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c813e4eac9249a49160a1fa23fbb3a021a9d29aa","datavalue":{"value":{"entity-type":"item","numeric-id":520341,"id":"Q520341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172913$693A24E5-18CB-4D1C-A635-B55873883C29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"99844aba0deee409850cec53537867a00f71d64b","datavalue":{"value":{"entity-type":"item","numeric-id":213200,"id":"Q213200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172913$ABF120DD-C5A4-4EFE-9BC8-A3387DED7580","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e2b65dbd282c1f97bc4cab6e67d32bfc907f46f5","datavalue":{"value":{"entity-type":"item","numeric-id":528192,"id":"Q528192"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172913$7BB8FABC-C440-4921-BDE9-F0F4DE52A708","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"74592c1b756ebece7bcd0c4d693ff99b4bfe64b2","datavalue":{"value":{"entity-type":"item","numeric-id":3172912,"id":"Q3172912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172913$E1CA8DE6-8489-43DB-8DB5-5B21118EB5D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8e2331a2eb35d5eca04fd9de57145000766bcc82","datavalue":{"value":{"entity-type":"item","numeric-id":453497,"id":"Q453497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172913$A6CE2B9D-D3E1-4354-8751-D8AD0AB19E78","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fb871d7a444106c04a08900e781eca233868e362","datavalue":{"value":{"entity-type":"item","numeric-id":3172900,"id":"Q3172900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172913$76F31AF6-978A-4A02-8EEA-E3D32BD573A8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6d9bd2d9b28ae12e022b2e08f4abf17c1216ac47","datavalue":{"value":{"time":"+2011-10-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3172913$EBA318CB-ED4D-4632-A9B4-9437514FBECD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3172913$1640F17E-A382-4A2C-9393-6E96E85ABC67","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ecd886f6d0d4ae51ac7a6db8334cd1d8193088ae","datavalue":{"value":"5954788","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3172913$A7150745-91D1-475A-98E9-59FFC5A0A71B","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ca9a3b7221d86f39ba625c5cdafb4b84300080f1","datavalue":{"value":{"entity-type":"item","numeric-id":13515,"id":"Q13515"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172913$4570DEDD-58BF-4070-B079-FC64FDC8E40E","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":"Q3172913$76407788-482F-4441-920A-D20EC6BA59A5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f126fc828cb2a7b236cfe622d931efe3d7f5245e","datavalue":{"value":"https://doi.org/10.1007/978-3-642-24372-1_14","type":"string"},"datatype":"url"},"type":"statement","id":"Q3172913$BADB0193-D716-457D-92B9-57E520009747","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"15d1e89db5b7d553559815c0b5f781ae9d7a317e","datavalue":{"value":"W2160643332","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3172913$2240A026-CA79-4566-9535-C0BDBC127E8E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"23a8215cb2ac50decfead0ef13be997f2d275500","datavalue":{"value":{"entity-type":"item","numeric-id":253964,"id":"Q253964"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7eaec3a6b0b26ed8ec39d8757037e23c24663119","datavalue":{"value":{"amount":"+0.88889253","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3172913$C0C0291B-951F-4301-A7D1-500CB91C390D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"44fd65f52ee036a7c3846fcf7643553a6b9cd9ff","datavalue":{"value":{"entity-type":"item","numeric-id":2843327,"id":"Q2843327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7eaec3a6b0b26ed8ec39d8757037e23c24663119","datavalue":{"value":{"amount":"+0.88889253","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3172913$E885CE20-86A9-4BC4-B80D-0CC8C45C0AC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"34e86ce0e8c74b69b7fc5effa8b75a3bf5465ab1","datavalue":{"value":{"entity-type":"item","numeric-id":3384880,"id":"Q3384880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3ca956d56bdc367644d23fb0e3fd39c5817d517e","datavalue":{"value":{"amount":"+0.8720618","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3172913$54243D14-D55D-4354-9D76-F63FBF6834DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"44963acd1f7b555400edb9759bba788d1d995631","datavalue":{"value":{"entity-type":"item","numeric-id":2818029,"id":"Q2818029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d94353dfcded411edbbc571fb3897e4c77967552","datavalue":{"value":{"amount":"+0.86751664","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3172913$4F41AB06-E31F-4D3C-AB08-B4E630D30F57","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":"c0c42d9ddb68a2927b30261fef2044f2cb7f6d5e","datavalue":{"value":{"amount":"+0.86383253","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3172913$0E7F8EAD-8500-4864-8DF7-6A4FD19CB6A2","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":"93c1cc2ddadff42d092e38a54dbcabe67e2283b2","datavalue":{"value":{"amount":"+0.8635243","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3172913$E75C8687-49C5-48F8-B518-ACCEAEA275FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1fa89057f4906c43e874fd26e87e45b702550108","datavalue":{"value":{"entity-type":"item","numeric-id":3192061,"id":"Q3192061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"06d278fe599596a1660545a2f4ef83e2224e575f","datavalue":{"value":{"amount":"+0.8609864","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3172913$AF86ADE9-61EE-4EC5-AF13-B930E09B9EE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2eb74453737debb13a5f551d1d62dfc67590b41a","datavalue":{"value":{"entity-type":"item","numeric-id":4930601,"id":"Q4930601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"abaaa1077abcdee8e5ec9e9f03b71b990b6b98ad","datavalue":{"value":{"amount":"+0.8606553","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3172913$52D2B060-E5EF-4CE6-8BE3-0324BACBE854","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f45acf569684e5407f555d4b998b43616c79e474","datavalue":{"value":{"entity-type":"item","numeric-id":5492981,"id":"Q5492981"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"295f5e21fb648d8920c5f4f56f11e8feb6aa8869","datavalue":{"value":{"amount":"+0.8603222","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3172913$98826F19-7B87-487A-B893-555223B948F1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3172913","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3172913"}}}}}