{"entities":{"Q5280781":{"pageid":7310356,"ns":120,"title":"Item:Q5280781","lastrevid":94619345,"modified":"2026-06-05T07:16:44Z","type":"item","id":"Q5280781","labels":{"en":{"language":"en","value":"To SAT or Not to SAT: Scalable Exploration of Functional Dependency"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6753329"}},"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":"Q5280781$89714EB8-DA32-4378-9AA7-A1F66895B6A5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"edc9b7bf713bfa749c0e0145e5e52af380d7800c","datavalue":{"value":{"text":"To SAT or Not to SAT: Scalable Exploration of Functional Dependency","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5280781$58C02E1B-5E80-414A-9A00-CA316B53309C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b999c8b30d63aa8bbbe59873b375eeb4c3b15820","datavalue":{"value":"1366.94776","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5280781$51889876-9A4D-447F-9947-227513ECA59B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"aec5a992feb29942b6397e85076bcffc4025ed71","datavalue":{"value":"10.1109/TC.2010.12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5280781$F3E8CA30-F695-4D5D-BE4C-9E73B546DDDB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d108f2cc75f223419614b9663d463900e39edb7c","datavalue":{"value":{"entity-type":"item","numeric-id":2435314,"id":"Q2435314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5280781$1F10F41D-495C-4838-843A-4AA2045F5C78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e8acbccdd642be64ff94cc415c3fbb1d3afe4b7e","datavalue":{"value":{"entity-type":"item","numeric-id":5280779,"id":"Q5280779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5280781$8C38A7B5-0645-4984-9F4F-37031AB4230F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9fd80db419a4febcabfef10effe05bbc801f47cc","datavalue":{"value":{"entity-type":"item","numeric-id":1799567,"id":"Q1799567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5280781$C04EBC9E-CE42-452E-AED5-4FD8E099245D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"252ba633a0565f8448a1e7d55ad95101ff5a2084","datavalue":{"value":{"entity-type":"item","numeric-id":5280780,"id":"Q5280780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5280781$74D54883-0808-41E6-8A9C-54F6BF5FBE0B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"cb95ba1181f89055fe808aa2c36bea9d3930d0fc","datavalue":{"value":{"entity-type":"item","numeric-id":80442,"id":"Q80442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5280781$BE260128-CADF-4085-A0F4-39B1A7E3D094","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2c40fe938fbefaf770a613a23526d4d4322534f8","datavalue":{"value":{"time":"+2017-07-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":"Q5280781$E11DEEF9-4117-4007-911E-072BD384E04B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1e903e68a16880f66ed79a0863889f1b2d3c837c","datavalue":{"value":"94C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5280781$47E11BF0-EB07-4524-8DF9-D42F1867942C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5280781$E6887062-99A4-4740-9A89-1E3C082042FE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d868916c155a61ead603650760fd6fd7bc950749","datavalue":{"value":"6753329","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5280781$B0CB572A-224D-44CE-ADE5-DF76F581C4A1","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":"Q5280781$54DE2AA5-D3FC-4F2D-B2E9-543202812817","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"To SAT or Not to SAT: Scalable Exploration of Functional Dependency","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/To_SAT_or_Not_to_SAT:_Scalable_Exploration_of_Functional_Dependency"}}}}}