{"entities":{"Q5505540":{"pageid":7535100,"ns":120,"title":"Item:Q5505540","lastrevid":50550620,"modified":"2026-01-14T09:07:12Z","type":"item","id":"Q5505540","labels":{"en":{"language":"en","value":"Efficient Generation of Unsatisfiability Proofs and Cores in SAT"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5498330"}},"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":"Q5505540$7F270740-4B77-4CE5-BA03-88BBDEC56285","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"15b627122ab593dad828c2117f573236a1d84fa0","datavalue":{"value":{"text":"Efficient Generation of Unsatisfiability Proofs and Cores in SAT","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5505540$F4CFE55D-E75C-4ADD-BEAC-B65BE760D02E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b09bd645994be95ac35d3d0f0ef8ca0c37931863","datavalue":{"value":"1182.68215","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5505540$81429ECB-55D5-4B45-90B0-EE4FD4B9D770","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0419d5dc21ecc6b5886de527aa3e0f6d5249ce93","datavalue":{"value":"10.1007/978-3-540-89439-1_2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5505540$793517D1-103A-4D24-A5E0-C31F6AD1993D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1968fbb23146960d0f76a92e3f4acf20616d5433","datavalue":{"value":{"entity-type":"item","numeric-id":538317,"id":"Q538317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505540$03521C24-5D28-4AF0-953E-DAAF80F4879A","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":"Q5505540$9B562664-92E3-425D-9B09-0A06FE84E0F2","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":"Q5505540$0D55B067-1746-473C-BE62-1C43447472E5","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":"Q5505540$DEC3AB89-94B1-4023-8AE9-66072159FF62","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"23864e2be568bb8a6a4b0526f5a5216348320070","datavalue":{"value":{"entity-type":"item","numeric-id":2870110,"id":"Q2870110"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505540$E31E3C12-1CC0-40E8-B437-40A3C49BFC1B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"51e6c39ac6ec91b8381a06fe1e16cf5aca0f2bdc","datavalue":{"value":{"time":"+2009-01-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5505540$AFAFD57A-BE2E-4AE6-9E22-6B07A2C42D47","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5505540$643824D9-C9D3-4051-86D1-845749ECF5CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5505540$35EBB213-2A62-42C4-83D3-5C4117B3CB25","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1192cead3ada531d0207b275d481a63e6cfad09c","datavalue":{"value":"5498330","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5505540$E4B20888-241C-4502-A1CA-E78433BDD6DA","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"478f9061f14e098e3fdf3fe3667d3a7084c42e61","datavalue":{"value":{"entity-type":"item","numeric-id":18982,"id":"Q18982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505540$9B0A64DB-15D9-498F-8CC0-212904E87B7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b029c35ffabe60b7d29584a6d40b4cb278ba542d","datavalue":{"value":{"entity-type":"item","numeric-id":18983,"id":"Q18983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505540$743953B7-7F4F-4F63-B01D-E132F8703FDB","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":"Q5505540$B8D24834-B8E5-4DE2-B82A-41522C71FF73","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"089ac88a8a46cccf87d4bb2891ab7a49180fb7f9","datavalue":{"value":"https://doi.org/10.1007/978-3-540-89439-1_2","type":"string"},"datatype":"url"},"type":"statement","id":"Q5505540$D888C862-CF6E-4560-A4E3-A527E49A962D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3338c0396613085c25907c4756ea130b106cb763","datavalue":{"value":"W1568765955","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5505540$5C620BB8-99E8-41E8-9B0F-FDAF723CD4BF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a48ca832639b5c1479b485346ff7ed1f0a925a2f","datavalue":{"value":{"entity-type":"item","numeric-id":3568227,"id":"Q3568227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a72332f68faf17e96340d97699753261f14ff6ea","datavalue":{"value":{"amount":"+0.940055251121521","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":"Q5505540$527D1C76-C290-4CC5-99E4-6C7E28463E03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"305314cd53c45094fbe0975e30108a02ae33267c","datavalue":{"value":{"entity-type":"item","numeric-id":5756585,"id":"Q5756585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b1d18f67b46fa88ee7b8c2418f0b2a6ca70e3fa7","datavalue":{"value":{"amount":"+0.7824121117591858","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":"Q5505540$DB6F5598-E64C-4567-94F2-8F8CFC873681","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":"799740b85862efc8dc12d76f0a1e9d34e6a3ec0a","datavalue":{"value":{"amount":"+0.7665721774101257","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":"Q5505540$5BC86C43-37B0-4400-B826-B7D7692C3392","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8baa14e88319bb40aae8bb111e040434ebce5abb","datavalue":{"value":{"entity-type":"item","numeric-id":3007682,"id":"Q3007682"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7a58cfcacb13b14c9b6b7d1d6e3955cf10c54a4c","datavalue":{"value":{"amount":"+0.7624365091323853","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":"Q5505540$64B89113-3D40-469C-AA90-C73DE908D41C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"944677192979990d1e36614027371852ce6358f4","datavalue":{"value":{"entity-type":"item","numeric-id":3192051,"id":"Q3192051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cb5fcc978fb064cb48023f0456515e216988f2fd","datavalue":{"value":{"amount":"+0.7515378594398499","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":"Q5505540$B6FC9940-7712-463B-BAB8-E7B4B25B3574","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5505540","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5505540"}}}}}