{"entities":{"Q2164248":{"pageid":2174991,"ns":120,"title":"Item:Q2164248","lastrevid":82570736,"modified":"2026-05-06T21:13:15Z","type":"item","id":"Q2164248","labels":{"en":{"language":"en","value":"Scaling up DPLL(T) string solvers using context-dependent simplification"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7571390"}},"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":"Q2164248$A0716436-C33D-4D3B-9F24-389AC09BA924","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0e4e2bee55096ca5bbb22d6458a08bcc474360c4","datavalue":{"value":{"text":"Scaling up DPLL(T) string solvers using context-dependent simplification","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2164248$D966E487-6893-4195-A823-8FEAA7954EBA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"de1ead1c0137d15d30fb7d7a5daf65277eb4408b","datavalue":{"value":"1494.68255","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2164248$F01F2DCC-2348-486E-BAB0-61E813895748","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"acbdddb7f99b28d6b855fd473eec11d48bb5f887","datavalue":{"value":"10.1007/978-3-319-63390-9_24","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2164248$69E20444-5983-44D2-9B20-C3CBEEE2EAB1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"84952d23570c02a49b2cbd6b6731071617699380","datavalue":{"value":{"entity-type":"item","numeric-id":518398,"id":"Q518398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2164248$189EDCA5-2084-45A7-8456-2B4B710603CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5c95bca6eb4f791d1e21445ce24c61c2eba3a9d1","datavalue":{"value":{"entity-type":"item","numeric-id":2164246,"id":"Q2164246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2164248$F1A599CF-AC29-4D06-ADFF-6F4C5B2CE812","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ad77f9f95b13763d1bf3e18f3ef5b6900b795f74","datavalue":{"value":{"entity-type":"item","numeric-id":518400,"id":"Q518400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2164248$867F3EC1-E083-4005-9A80-B93084D2C18B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"231426da238e53a061bf116e8561f3a48537346e","datavalue":{"value":{"entity-type":"item","numeric-id":2164247,"id":"Q2164247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2164248$C23CC216-72A2-4EE3-BAC0-66CCDF719DB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3a708f833efb7d08c0315fd576eae86717ce6ca9","datavalue":{"value":{"entity-type":"item","numeric-id":518397,"id":"Q518397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2164248$25D09104-4E73-4F5F-A7B2-187F8CD23B8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"947e5398223830d4c80e75386dbd3c8e6dd67f1d","datavalue":{"value":{"entity-type":"item","numeric-id":429585,"id":"Q429585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2164248$6725AF1D-916B-4B32-AB1C-4C36E0A9DB50","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7aa7040e0858a957251ee78ad1edc7d13d61d833","datavalue":{"value":{"time":"+2022-08-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2164248$0E8A30A2-2BAA-4B9C-938C-A3A788074990","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2164248$641EC2E8-8137-4D62-8970-04CC05312FD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"824c9242ee6f86c15bf4eecb8cafeab39e222c2d","datavalue":{"value":"68W32","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2164248$DAFBDBA1-3E3B-4F84-8CAB-4FCE4B61285E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4632e37440ecf9501e80339e580dc2f9ff7ef431","datavalue":{"value":"7571390","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2164248$ACCA6590-AAAE-4EBB-88D3-C5FB620F80DB","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":"Q2164248$FE101839-AE06-4562-8B7F-64B1428C85B7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"224c6a7a999174be3564c6113425039d5f785c54","datavalue":{"value":"https://doi.org/10.1007/978-3-319-63390-9_24","type":"string"},"datatype":"url"},"type":"statement","id":"Q2164248$D747384C-3F84-4377-AC5E-AC6E03A0C6E3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ee6636efaa3f90ef261c5d5ca97b837d680fda06","datavalue":{"value":"W2736027423","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2164248$65268D55-8AFB-46DB-9EB4-A35D586DE31E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e8b2e08f73f62e28259e395453e917e84bed531b","datavalue":{"value":{"entity-type":"item","numeric-id":518402,"id":"Q518402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"06008e5e6dfbbd508acee25a795b11182175ddb1","datavalue":{"value":{"amount":"+0.85286045","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":"Q2164248$453808C5-FAAA-4A5F-A31A-0A81FE57B3B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ca659b72b15749ffe2242a2b0e45f945fb135e7a","datavalue":{"value":{"entity-type":"item","numeric-id":6487337,"id":"Q6487337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b476b4d111f19e8edecad6bf612d0501ffa690a4","datavalue":{"value":{"amount":"+0.8417784","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":"Q2164248$E9A60BFA-6FAB-49CE-9B41-329DDB8E9376","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6b1d7fec79653bdb375c2d9347c80c50a47014df","datavalue":{"value":{"entity-type":"item","numeric-id":3305326,"id":"Q3305326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2d821ae667fbe87d5bf9731ca5c8598cee0062d5","datavalue":{"value":{"amount":"+0.8399004","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":"Q2164248$23BC9290-3DD7-409A-83DB-5919326D227C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8113a185df40c7dd8f4cba0854d000035700c9bd","datavalue":{"value":{"entity-type":"item","numeric-id":1978252,"id":"Q1978252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7f153cbb050d7b8b8adb24495f74bd4ee1b410c5","datavalue":{"value":{"amount":"+0.83241034","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":"Q2164248$28958FF3-70E0-4938-A865-50B71A90F2B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6c83cc5be31c7d54a73c0e0ada5ea27533e7f868","datavalue":{"value":{"entity-type":"item","numeric-id":5892559,"id":"Q5892559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6f465e1b84a256ccb233887d1139e238c76b43e0","datavalue":{"value":{"amount":"+0.8303448","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":"Q2164248$163E3F33-47EE-4A71-BBE2-E1A1CBD80AC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b8abce17ee79397c6ec683731b5367d6ad83ba32","datavalue":{"value":{"entity-type":"item","numeric-id":5892172,"id":"Q5892172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6f465e1b84a256ccb233887d1139e238c76b43e0","datavalue":{"value":{"amount":"+0.8303448","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":"Q2164248$06502B4C-E0A7-436F-8A46-2FBA50F40938","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"68c542e19faec31b46141c292b7aa34b7b85794d","datavalue":{"value":{"entity-type":"item","numeric-id":5900325,"id":"Q5900325"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1b6a10005712ffbb596a17af3eeea8a0ac6e8473","datavalue":{"value":{"amount":"+0.82266617","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":"Q2164248$9FE2FBAA-B8FD-4C5D-AFFC-B4EAE74073DB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Scaling up DPLL(T) string solvers using context-dependent simplification","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Scaling_up_DPLL(T)_string_solvers_using_context-dependent_simplification"}}}}}