{"entities":{"Q3192088":{"pageid":3202796,"ns":120,"title":"Item:Q3192088","lastrevid":45644725,"modified":"2025-12-11T20:25:27Z","type":"item","id":"Q3192088","labels":{"en":{"language":"en","value":"DRAT-trim: Efficient Checking and Trimming Using Expressive Clausal Proofs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6348079"}},"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":"Q3192088$AAF15506-C02A-4340-8C00-6FC346E1085F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"841ed2fd7c7cca7f4af846526614d53dfc350a97","datavalue":{"value":{"text":"DRAT-trim: Efficient Checking and Trimming Using Expressive Clausal Proofs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3192088$B8C3F65F-4324-4288-9E41-088D7B25CC6D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"24258815a7476ac5fa10a5d339d3e9df889ea66c","datavalue":{"value":"1423.68475","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3192088$3525BD1F-9F38-4231-A175-DBEAE846D5F8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"027b6d657c0565cd4122720af9ad9baf49fb52dd","datavalue":{"value":"10.1007/978-3-319-09284-3_31","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3192088$C6378C7E-9DAD-4CA1-B554-0BE26F3B8FE6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4545114e473836bad71ebea0181e527108d9e5ea","datavalue":{"value":{"entity-type":"item","numeric-id":352966,"id":"Q352966"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3192088$4C44A55E-9A7A-491B-BC95-13BA925BD038","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c816a025bc6f755e450b819056444c0dbde28149","datavalue":{"value":{"entity-type":"item","numeric-id":1327710,"id":"Q1327710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3192088$DB8E06FD-5F77-4458-A5D6-B4FF3BFE462F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ab141dd3f837977df0bbbad339ac9c4afbc7f053","datavalue":{"value":{"entity-type":"item","numeric-id":2456369,"id":"Q2456369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3192088$193DFFE9-E9DF-4598-8BFD-D1CD5E75543A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3192088$945DA543-F5E1-4714-9395-234D53A5F2B9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7a6fb9003a97bbc70eb568e233ee4457edf484fd","datavalue":{"value":{"time":"+2014-09-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":"Q3192088$16F40C32-4594-4110-A3BA-B5D49C89C605","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3192088$7EC0413F-5258-4A4D-A5AD-832B4795EC12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3192088$14939513-1A44-42ED-8659-47442102E1E8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b371965832ae1c9761039233e55285c62ff9be3d","datavalue":{"value":"6348079","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3192088$1213BD32-F95F-4F89-8AA5-CA16CD741CCE","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e0ef7aed5e557965de3f0d4aab5d60887968bacb","datavalue":{"value":{"entity-type":"item","numeric-id":19149,"id":"Q19149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3192088$171F3E16-5AF5-4210-8507-279971C32A92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"3810c7bf221b43532b3d15bc5d7a1106ebd12ec7","datavalue":{"value":{"entity-type":"item","numeric-id":25229,"id":"Q25229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3192088$5C2A57A0-4AD1-40C0-B899-EDFD23B79126","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":"Q3192088$75DE0469-85FB-429F-BF60-6C3CBD9AE87F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e9c57f49d05a7a32209637847763d88ffedad911","datavalue":{"value":"https://doi.org/10.1007/978-3-319-09284-3_31","type":"string"},"datatype":"url"},"type":"statement","id":"Q3192088$6B728897-5FA3-4529-97A0-B9FB23F02589","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"91499afee7fbd861357aba031bd1a48371b50c75","datavalue":{"value":"W134339645","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3192088$FC908DBA-1464-42D3-953C-7C97F7B68753","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"12a132e4daa2e15bd5dc269ad3507f16b279f28c","datavalue":{"value":{"entity-type":"item","numeric-id":1687744,"id":"Q1687744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1438b4a266085db3ceb6356f56505862cc321381","datavalue":{"value":{"amount":"+0.8493967","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":"Q3192088$FF6A856A-D233-4296-8091-58099F1FC225","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ab683a7b1f35576127c529e6651dcc1403e6eaef","datavalue":{"value":{"entity-type":"item","numeric-id":1006729,"id":"Q1006729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1ef82fd36d55c45037deb0ea445b064d0ac947e7","datavalue":{"value":{"amount":"+0.83556634","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":"Q3192088$E15C86F7-D879-4A84-8DB1-D481D6E21BE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"78381424a58a2b470b44648b3c881e6ef393dc24","datavalue":{"value":{"entity-type":"item","numeric-id":4028828,"id":"Q4028828"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2c4354d4acc614ddec7d81156897f4445b280436","datavalue":{"value":{"amount":"+0.83388567","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":"Q3192088$92BE65DD-1FB0-4D67-AA3D-B0FAC8A66FF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4168c1fa5c1771efcb4008c2d86753fb4f943278","datavalue":{"value":{"entity-type":"item","numeric-id":5049051,"id":"Q5049051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c435db921ebdef27885c2b4ee8ca03c06d877137","datavalue":{"value":{"amount":"+0.83255273","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":"Q3192088$FA7828B9-40B5-4FA1-8AF5-BD96E968B8C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6c084d7aaeb05c8c0b51aacdb26edde7a746b3a5","datavalue":{"value":{"entity-type":"item","numeric-id":5504119,"id":"Q5504119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d0f111abd28f1882003b6fd7d9a7d6535cd2ce2f","datavalue":{"value":{"amount":"+0.8299509","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":"Q3192088$02714EB5-60FA-4A6D-9F10-93ED9EFAB63B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"989f28c9c1e21875261775a6581c68d2eeb842f0","datavalue":{"value":{"entity-type":"item","numeric-id":4540540,"id":"Q4540540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cf5b174615e45789f410203056317bc87096870b","datavalue":{"value":{"amount":"+0.8298502","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":"Q3192088$56E0BC74-B83C-4100-925F-1DD02811CA86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dbd7b8bb72e0c80f6e372a8a89999c6bac81cba3","datavalue":{"value":{"entity-type":"item","numeric-id":5387851,"id":"Q5387851"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3f62aebf08c94ae32e196c9f50c9a3386d0ae6ff","datavalue":{"value":{"amount":"+0.82866657","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":"Q3192088$D5A8D46D-0791-4279-B3AA-6EC8BE4297C1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3192088","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3192088"}}}}}