{"entities":{"Q3891803":{"pageid":5921708,"ns":120,"title":"Item:Q3891803","lastrevid":87715685,"modified":"2026-06-04T12:26:11Z","type":"item","id":"Q3891803","labels":{"en":{"language":"en","value":"An Algorithm for Inferring Multivalued Dependencies with an Application to Propositional Logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3698432"}},"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":"Q3891803$1BD4907B-5B8C-489B-9E4B-114695BB89B7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8b5fe05b40da17d6c021dd1a87835db733a2b9a6","datavalue":{"value":{"text":"An Algorithm for Inferring Multivalued Dependencies with an Application to Propositional Logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3891803$C060E088-CE66-444C-B1AA-EE7013E1C744","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0c37010dac789220c49f65d4cca26d826dd304af","datavalue":{"value":"0446.68085","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3891803$4982212C-D639-4275-B2CB-C2500D4C9F3F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"90df54d796db7aaf957977002dbe50addca55ed5","datavalue":{"value":"10.1145/322186.322190","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3891803$BC258829-0093-4AAB-A8DA-04C369FDDBFB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"eec7ecaad687cc8171e152c9caee9b9b75cd7b5e","datavalue":{"value":{"entity-type":"item","numeric-id":199249,"id":"Q199249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3891803$D41B0CCD-DA39-49FF-B4D2-D6D0E397979B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f12bfc80fe4a431c556e028f5134a217234a7cc4","datavalue":{"value":{"entity-type":"item","numeric-id":63915,"id":"Q63915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3891803$F277C86F-E5A0-4248-9052-756C3F65503F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"56afe75e154439409929c71e0e459d1542811b6e","datavalue":{"value":{"time":"+1980-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3891803$DF5899E6-8BC2-4015-BD0C-A04CB9B79169","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a762d1a2468ec8882180d0d1124f12b94f8eb1b0","datavalue":{"value":"68P20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3891803$1E743F4E-8E62-4E20-BCC2-6855953CC768","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3891803$BBCD9908-702C-47D0-9628-DB8A3AC3FA56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3891803$4CC91AEB-B548-4ED9-B796-9B2FCF285582","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bfa0a6345278ce17d212d388dcfe43f6743fc846","datavalue":{"value":"3698432","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3891803$4A6E4D60-0C6D-456E-A6EC-C5934CE3C8E9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"74473800caa00ca2354e3822045142f9adaae316","datavalue":{"value":"relational database","type":"string"},"datatype":"string"},"type":"statement","id":"Q3891803$376170F3-E94B-4116-8266-E1D62643BA31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eaa2342b676651b9e51f0a31a259682300ec5ede","datavalue":{"value":"data dependency","type":"string"},"datatype":"string"},"type":"statement","id":"Q3891803$9AAA9F69-3CAE-4210-9AE1-D5775FDF7878","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7df92e3f6d5b3784df0b3d8cf74f30a3455e265b","datavalue":{"value":"inference procedure","type":"string"},"datatype":"string"},"type":"statement","id":"Q3891803$4059C078-FCB9-467A-B66E-4574D1C58611","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"93c047fb19c5161b32c5245d5c8c28b4500157fe","datavalue":{"value":"propositional logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3891803$30C49E74-C28D-4794-8CC3-7E29637D035B","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"c266fa18a4040bdfbabab32926a3721af0281cb4","datavalue":{"value":"Q114614038","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3891803$F5988F71-86EC-43E8-866E-F7DAE301BA32","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":"Q3891803$15F1CC5D-60FE-423E-B44E-12E972CDD31B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a8fac1ac0961f5064f2baa5c974320de67e6c5fc","datavalue":{"value":"https://doi.org/10.1145/322186.322190","type":"string"},"datatype":"url"},"type":"statement","id":"Q3891803$3EA5F5EA-4533-4824-A2A7-2CA25288E8F9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1e2bdc16cebc11a2b09092cbb9d6269d1160c554","datavalue":{"value":"W2089176231","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3891803$320D79F5-753D-4C93-9B24-37DF29A89538","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"An Algorithm for Inferring Multivalued Dependencies with an Application to Propositional Logic","badges":[]}}}}}