{"entities":{"Q578937":{"pageid":580704,"ns":120,"title":"Item:Q578937","lastrevid":62915043,"modified":"2026-04-11T08:58:27Z","type":"item","id":"Q578937","labels":{"en":{"language":"en","value":"Some characterizations of finitely specifiable implicational dependency families"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4014079"}},"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":"Q578937$607755F4-882B-4767-BF5A-F720C06D89A7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"abf5389431396600b67e7704f295786248c0f2fc","datavalue":{"value":{"text":"Some characterizations of finitely specifiable implicational dependency families","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q578937$FC15A6EE-04C8-4538-971E-1AC71A2C7C21","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ded3029f41475f6904986a8c54b07b330df2d20e","datavalue":{"value":"0624.68092","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q578937$5A1F0884-4ABF-4DB3-AA2E-3C1FB95B3E1B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2c47a0912502c03ff468b4cdc5191e4f18a7c633","datavalue":{"value":"10.1016/0020-0190(86)90116-X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q578937$F6C590CB-C3EC-4447-AF18-E47FB920A66B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"550921573c684451784bd73888042e2264c2d3c6","datavalue":{"value":{"entity-type":"item","numeric-id":578936,"id":"Q578936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q578937$1AC8A92F-F55B-4D0B-9F3E-F39774711700","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"52fa7d44b58d0511cb8993765bd916aef86052d8","datavalue":{"value":{"entity-type":"item","numeric-id":63092,"id":"Q63092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q578937$75090E6A-657B-4FC6-A2D9-17AB511D2596","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"63df7153432d81fa42019fcabb076c89649b0b5b","datavalue":{"value":{"time":"+1986-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":"Q578937$DC03C121-F0BB-47E6-8EB3-A22FAD86C603","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"f4d90be455460f073433eb0cb131f11941c24064","datavalue":{"value":"A theorem analogous to Tarski-Fraisse-Vaught's characterization of universal classes is proved in the following manner: An implicational dependency family over a relation scheme is finitely specifiable if and only if there exists a finite number of relations such that a relation belongs to the dependency family if and only if it has no substructure which is isomorphic to one of the generator relations. Furthermore: A family is finitely specifiable if and only if there exists a natural number k such that a relation belongs to the dependency family whenever the family contains all its substructures of at most k elements. On this basis a new proof for Hull's (1984) characterization is also given.","type":"string"},"datatype":"string"},"type":"statement","id":"Q578937$A0C8E03C-AFA3-42D9-B76C-8F3453420F3F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a762d1a2468ec8882180d0d1124f12b94f8eb1b0","datavalue":{"value":"68P20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q578937$84951332-379B-430B-872F-DED08EF2FA4C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8e955f38c31cf31ee6b0382e116a62de97f5e1b5","datavalue":{"value":"4014079","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q578937$1A12A56F-B762-4E97-978B-A2BA51BA5301","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"74473800caa00ca2354e3822045142f9adaae316","datavalue":{"value":"relational database","type":"string"},"datatype":"string"},"type":"statement","id":"Q578937$EADD2A7F-FEDA-4D51-9F49-B3F494ABC3A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d35e160014ff5d7e3a7d4b8074f320ea5e2b4297","datavalue":{"value":"relational dependency","type":"string"},"datatype":"string"},"type":"statement","id":"Q578937$0AE9113A-187B-47BA-A950-F7D76AC7395D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe6b904d13faee68b5c67430d31030af311c3496","datavalue":{"value":"implicational dependency","type":"string"},"datatype":"string"},"type":"statement","id":"Q578937$9CF73BD3-4D82-42EE-9411-2D6482BE103F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"64188b084e3b3609d8e97194d06630def85452bd","datavalue":{"value":"relation scheme","type":"string"},"datatype":"string"},"type":"statement","id":"Q578937$10CE9BDB-22A4-4326-A427-89CC0694DED5","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":"Q578937$2E623F04-EB98-4AAD-85AB-F8A19BE66B77","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ca4f823ca2e82e86e612699cdb65f38c133999d","datavalue":{"value":{"entity-type":"item","numeric-id":4052071,"id":"Q4052071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q578937$FFEE492A-BDA8-4085-8D4F-2DD0336F9531","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8bd6c969231e6f49e9de8df2bebdcacfffac1dbf","datavalue":{"value":{"entity-type":"item","numeric-id":3956433,"id":"Q3956433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q578937$D0F5A9CE-259B-4558-A23D-BEB8CE9BBBE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d5673e1f50f78cf183ece392aa22d4d3b595033","datavalue":{"value":{"entity-type":"item","numeric-id":3768430,"id":"Q3768430"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q578937$9D015A97-6347-4858-8CC8-C49888EE21DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6667d29690da802e41dbaa0f1f4db3280cf4b19d","datavalue":{"value":{"entity-type":"item","numeric-id":5815606,"id":"Q5815606"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q578937$4B0C56F7-2506-48B3-B289-5B6D46B1B4F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b8793493983ef79387cdf9085bcee0c585bc4d0","datavalue":{"value":{"entity-type":"item","numeric-id":3347338,"id":"Q3347338"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q578937$36662F7E-7A5A-43D3-88B4-B9C4A99AE23A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8e97ad4ed3fc53b23a39a29c9ab8e7b678c0bcf3","datavalue":{"value":"https://doi.org/10.1016/0020-0190(86)90116-x","type":"string"},"datatype":"url"},"type":"statement","id":"Q578937$6110F18E-0793-4687-9BF8-5114FA4F4D87","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"53a81f8609730fb3bec3a29001a520bad924c08a","datavalue":{"value":"W2043408048","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q578937$8B0E23F7-A823-411D-9976-094AEF4D49EF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"645bd7eb324353cf704a218bbff9318643163b83","datavalue":{"value":{"entity-type":"item","numeric-id":1082095,"id":"Q1082095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a011fcb609fa8d6391b6469d064b1f7cbd994d8a","datavalue":{"value":{"amount":"+0.7803634405136108","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":"Q578937$78014498-6F2D-4EC6-94C6-D22CC1FCB056","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b9ee597daecae00d4c31ba2d8a8f07d2295fc6bd","datavalue":{"value":{"entity-type":"item","numeric-id":4853316,"id":"Q4853316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b3e0eae324b7e0c7fa5b214df21910622563d008","datavalue":{"value":{"amount":"+0.7795647978782654","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":"Q578937$A54B8AB8-50BA-4F3E-AF8E-06D745D4E3BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5ea8a189fc16a342afcf876848e8b5ccf1aca2a5","datavalue":{"value":{"entity-type":"item","numeric-id":1071525,"id":"Q1071525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"992f27dcd9b334125262e1b9df18f548b75970e6","datavalue":{"value":{"amount":"+0.7779445648193359","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":"Q578937$1A6477DA-7DE9-417F-95CE-0A53873D4150","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a08a7a696506128b89127619ca48ba3b041bc78b","datavalue":{"value":{"entity-type":"item","numeric-id":4841284,"id":"Q4841284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f16116ff8679b7ed4777d87b9aef2e24eb016d6","datavalue":{"value":{"amount":"+0.7756769061088562","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":"Q578937$243F667D-173A-4155-B085-1216A7283131","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a96fb7a633f82b54f5990fc58e437b5a8090781a","datavalue":{"value":{"entity-type":"item","numeric-id":2629853,"id":"Q2629853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f16116ff8679b7ed4777d87b9aef2e24eb016d6","datavalue":{"value":{"amount":"+0.7756769061088562","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":"Q578937$E4BD0A69-FDBA-46C5-967C-5C3CAD6D5902","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Some characterizations of finitely specifiable implicational dependency families","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Some_characterizations_of_finitely_specifiable_implicational_dependency_families"}}}}}