{"entities":{"Q5756581":{"pageid":7786132,"ns":120,"title":"Item:Q5756581","lastrevid":50157728,"modified":"2026-01-13T07:24:43Z","type":"item","id":"Q5756581","labels":{"en":{"language":"en","value":"Fast and Flexible Difference Constraint Propagation for DPLL(T)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5187240"}},"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":"Q5756581$883E76BA-8FED-4A0C-8A34-5537340FD0C4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"314449e8acd690360ef923a3b72952525b6afdd4","datavalue":{"value":{"text":"Fast and Flexible Difference Constraint Propagation for DPLL(T)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5756581$718D0134-1B32-44B4-9D7C-9E7A8A030FDD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"530438a291c183250e5d9e9f211f0d439e205a67","datavalue":{"value":"1187.68537","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5756581$0743D7E3-3DA0-4EDF-B36E-737822A55BAE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e046a200833e305e2ae97c0d97f31ab4ad60909b","datavalue":{"value":"10.1007/11814948_19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5756581$4096B6D8-310E-40BC-9096-1466B74A8F88","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0be44b190522d588866b1ca0dc9f32be141a394f","datavalue":{"value":{"entity-type":"item","numeric-id":3557067,"id":"Q3557067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5756581$BA7FB82E-187B-42D9-AD5B-33D0A688F098","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"797dff732e38d176bf7500ab5c245082b935afd3","datavalue":{"value":{"entity-type":"item","numeric-id":533350,"id":"Q533350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5756581$37C00E0B-A6EF-4E76-B81B-50CEFED1F6A8","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":"Q5756581$B55245C1-3361-4EEA-8264-EED522A63842","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"425e48b9986b227b93d91ab0854d5e88273c1020","datavalue":{"value":{"time":"+2007-09-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5756581$4B4C449C-39FD-4EDD-B22E-E6AF49A69FB6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5756581$D1BB8564-6895-4931-B4F6-83B998B50F54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5756581$4A37CC9D-51F3-4D43-9588-F2BA046025A7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"44ecb9b4246cc76d9b4f1ced45091b6eccd5abc0","datavalue":{"value":"5187240","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5756581$1E7E6C67-2831-47DA-9353-D04DCBBBAC4A","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8449db7d9aaa28101ba7b0de8e98d9c446365070","datavalue":{"value":{"entity-type":"item","numeric-id":13332,"id":"Q13332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5756581$D4811684-75B4-4AA6-B4B8-71DAB9EDDAF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f29f161a221c0bedeec97e9d4ad10664227f4777","datavalue":{"value":{"entity-type":"item","numeric-id":16290,"id":"Q16290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5756581$C3DF7A4A-E2D5-46E0-8795-AEC679217F45","rank":"normal"},{"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":"Q5756581$18CA9666-B18C-4472-BAA2-72FE47E242DE","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":"Q5756581$0CCFA51C-15B1-4526-85E9-46A063D7D6EF","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":"Q5756581$9D1C3D42-49A5-4387-AD2C-EBF0F5D59C25","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b22ef8fd282ab1d51dc27a2ad212c1bb1506dd24","datavalue":{"value":"https://doi.org/10.1007/11814948_19","type":"string"},"datatype":"url"},"type":"statement","id":"Q5756581$F62761CD-1716-4B2A-895B-07A2B22C00E8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"07f8e3ecea355e4f31d56758b0d1c030cf29676d","datavalue":{"value":"W1488662850","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5756581$EAEEFC27-937B-4BE0-9AEF-B61144453B16","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f73ef4e4cd40d6dc34268d177258481051eb4b8e","datavalue":{"value":{"entity-type":"item","numeric-id":5716574,"id":"Q5716574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b3ba4e85b354a649527ed2543e98e46017324827","datavalue":{"value":{"amount":"+0.7827702760696411","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":"Q5756581$288EDB3F-F514-4158-A058-80B660C0931A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"362481dcdca17dddf2ecc4f9e3cef6ed43e6a483","datavalue":{"value":{"entity-type":"item","numeric-id":2946703,"id":"Q2946703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9072e40b4d9c38170d50a102aa186a913a397c9e","datavalue":{"value":{"amount":"+0.7385349869728088","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":"Q5756581$563C7D60-364D-43D7-A9FC-B6BA7145E370","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f220d8ee27cd79f8fe803b9c9cafc6e6ec3997e4","datavalue":{"value":{"entity-type":"item","numeric-id":5449595,"id":"Q5449595"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6c7685f45f974026539a5f3520edd6945abb4988","datavalue":{"value":{"amount":"+0.7084434032440186","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":"Q5756581$0138A6CC-F7F8-472B-8460-01BFEB4EAFC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"68df2d2f484959f3a45302067ba1c837f323a9bf","datavalue":{"value":{"entity-type":"item","numeric-id":2818021,"id":"Q2818021"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c96c7b6038cb1bf34ffa870a65855596a0ae706d","datavalue":{"value":{"amount":"+0.7017672061920166","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":"Q5756581$6A865D2C-604F-4636-9EE2-EF61C5BD8D1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b984fc49b75a70f41c904fd849b29b4317a50e51","datavalue":{"value":{"entity-type":"item","numeric-id":5900322,"id":"Q5900322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fd9df8400f93fc4c16d5c967b2e28041939a6c40","datavalue":{"value":{"amount":"+0.6948291063308716","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":"Q5756581$7B590E6A-2A08-49F0-8A16-C369D3905D69","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5756581","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5756581"}}}}}