{"entities":{"Q3568227":{"pageid":5598131,"ns":120,"title":"Item:Q3568227","lastrevid":49581496,"modified":"2026-01-08T01:21:22Z","type":"item","id":"Q3568227","labels":{"en":{"language":"en","value":"Practical algorithms for unsatisfiability proof and core generation in SAT solvers"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5722876"}},"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":"Q3568227$6F0401F1-C03E-41AF-9C21-8782E5F7655E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6fb6f732e89aebe6912e9cb064590c8b1122737a","datavalue":{"value":{"text":"Practical algorithms for unsatisfiability proof and core generation in SAT solvers","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3568227$C828132B-B12E-4952-9DDF-A3468BA18B5C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"92740526bb25dd87bd2157039242b44a3ef0b924","datavalue":{"value":"1208.68195","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3568227$3B7BE3D7-8DA0-4E21-86EE-FE2C171BC900","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0201f753e9734fba9b712f252d4cd859cb3d7ee7","datavalue":{"value":"10.3233/AIC-2010-0462","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3568227$E234B8AD-9DDE-47D6-ACBA-B21646CDF776","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"bf3accd054fb06de0d0a3383bea8f0cdb29d6eb0","datavalue":{"value":{"entity-type":"item","numeric-id":475168,"id":"Q475168"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3568227$5AD5AE25-5FBA-4771-8409-FDDFF0E60E1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1e6a58ff964b9ca97414f0c42659717fa8e6fc43","datavalue":{"value":{"entity-type":"item","numeric-id":475169,"id":"Q475169"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3568227$0C7FD0EE-E5AF-4BEF-9AB7-FA7ADC676C20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cfd1da8b09a3144b32ef026d1d9b2bca68560b37","datavalue":{"value":{"entity-type":"item","numeric-id":438574,"id":"Q438574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3568227$734B500B-6D2E-4FE1-9672-09680C27E0EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f1c6f3313098f94ac950042b92865f2f95306b33","datavalue":{"value":{"entity-type":"item","numeric-id":438575,"id":"Q438575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3568227$CD3D3F2E-A0ED-4BD1-9F2F-BC9EA841C7C0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b0d5ef245f17a6ec236579b9502514ae3fc93c36","datavalue":{"value":{"entity-type":"item","numeric-id":2811219,"id":"Q2811219"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3568227$FACBBF03-91FF-455B-A3B2-52AF9B91A6A1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1f3ce47aa4f0dc34b47bc79e3d35b38da1ee5e5f","datavalue":{"value":{"time":"+2010-06-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3568227$718A71CE-A3F4-4F8F-A232-B21052543B12","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3568227$1EA816B8-F5B0-4325-8D0B-C30FD1A32958","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"296bbc6b0018f8dc38be337bc0125b41e8de74fe","datavalue":{"value":"5722876","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3568227$F094B8F2-9C5B-4EF0-95F3-907CBA5193A2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"414c4c78e6a9fef1e5e20c1e84bd5bf00c50f2d2","datavalue":{"value":"SAT proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q3568227$9A1A02B8-6366-48D0-B484-FC36F93A7746","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ef97bdf3760013ad46b9dda566d1f37df50f5a6f","datavalue":{"value":"unsatisfiable cores","type":"string"},"datatype":"string"},"type":"statement","id":"Q3568227$014DB84F-9F6D-4641-A604-2384A5C23864","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b443b776731e3bc75eb79b752e7ef8c4cee2d97a","datavalue":{"value":{"entity-type":"item","numeric-id":15455,"id":"Q15455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3568227$A3000B0E-9BF0-4547-8695-33B72CE653ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"60c977c73f66c80db6a0782a3e55d401ee00ddc1","datavalue":{"value":{"entity-type":"item","numeric-id":19150,"id":"Q19150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3568227$094EF979-B6FF-4D0D-8125-C532A60D46AD","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":"Q3568227$A45C935D-9FDC-4550-B5AA-63C1F85C164C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c859cc4a43f044fbd6ef532c445bf465653fa2b3","datavalue":{"value":"https://doi.org/10.3233/aic-2010-0462","type":"string"},"datatype":"url"},"type":"statement","id":"Q3568227$5B931DDE-7486-4DB6-B472-86B7BEC5A134","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c4b9ecf342224491c499208fdbe12ae9486f9012","datavalue":{"value":"W2167333876","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3568227$A01EB4AF-9981-4FB0-975B-F06DAA9AC72D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"798c8537fe65fde6ccd0b6ec261a9f9844c27ce9","datavalue":{"value":{"entity-type":"item","numeric-id":5505540,"id":"Q5505540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"118d761670d6a1af45ed1ebea8fbdda7bc3f4322","datavalue":{"value":{"amount":"+0.9603343","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":"Q3568227$C904EEEB-B896-4474-A58D-1E90E6569675","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"407e0325809d78a1543beb02ff288c991c34e86b","datavalue":{"value":{"entity-type":"item","numeric-id":1408376,"id":"Q1408376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6fbc74e16dcdbd08b9d28e6bb7b94459f4a4dd92","datavalue":{"value":{"amount":"+0.8865044","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":"Q3568227$FF9A4E6C-740E-4CF7-A424-C21B533EDDC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d61d84e070a214db063b64febdc62a5edfe35cdd","datavalue":{"value":{"entity-type":"item","numeric-id":4218095,"id":"Q4218095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2ae671fe1413e94c945f420cf1295bd275448130","datavalue":{"value":{"amount":"+0.88356125","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":"Q3568227$FB513E52-DA5E-4D03-B5A7-E5F63A7E518D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0e0aa964a66315e34966296c47a398e15109c086","datavalue":{"value":{"entity-type":"item","numeric-id":5222981,"id":"Q5222981"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fbeb01f8523951a45a872f7595014f93150a0611","datavalue":{"value":{"amount":"+0.8808378","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":"Q3568227$97D3F3BA-7AD2-4A19-A3DE-4A8B56FA0A5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"48f2f1bc8aa3afbb16568e931cc28ee9326b5225","datavalue":{"value":{"entity-type":"item","numeric-id":3612475,"id":"Q3612475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3ca9ada7289dd619d2caba13d1c53a9fdf00d7f1","datavalue":{"value":{"amount":"+0.8803974","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":"Q3568227$448E352D-B6DA-4410-B3C6-01EC51B3B8A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c52842aa0ef3fdc23d94b72689bbf2813b0859c","datavalue":{"value":{"entity-type":"item","numeric-id":3124320,"id":"Q3124320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5f0b26e366ba4ca367466e9051c1098bf26bf2ba","datavalue":{"value":{"amount":"+0.8785966","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":"Q3568227$260DAE0C-CC73-4A1D-B720-94621F8224CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c98e3a2fca2e53bc3e7652a7ccc8979e2c9b05e3","datavalue":{"value":{"entity-type":"item","numeric-id":839035,"id":"Q839035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e642f1f3465db75c256c4569f86ae0a5a3ab9574","datavalue":{"value":{"amount":"+0.87846273","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":"Q3568227$07EFA6B1-7F02-47C0-B029-545F6CD2B7EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"36df5ac9c9e57dfa9b4bb7c7e606bd307f699133","datavalue":{"value":{"entity-type":"item","numeric-id":4209085,"id":"Q4209085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"da2a857d9b5ebf74c4828fcb1d12c6c725373cdb","datavalue":{"value":{"amount":"+0.8774508","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":"Q3568227$EFDB00CE-75F3-44C0-BD14-336E276E1389","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e4e2d69121d2f15f6ed4ffe1858482cc331a96c0","datavalue":{"value":{"entity-type":"item","numeric-id":4375757,"id":"Q4375757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b4c7b92350ce69f79aaef2ec08c4d18d4b49fd8b","datavalue":{"value":{"amount":"+0.8767174","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":"Q3568227$5B9984EF-E9C8-4AAA-ACD3-C8880B075164","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f98fffcd84dbf671ba0e249d63dda9b2d4aa18b1","datavalue":{"value":{"entity-type":"item","numeric-id":4667097,"id":"Q4667097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5f9e528b771319a499a221d6049c5e87143d5948","datavalue":{"value":{"amount":"+0.87631303","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":"Q3568227$B546DF4E-7152-4880-8B1B-CFDCB3DF45F8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3568227","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3568227"}}}}}