{"entities":{"Q759482":{"pageid":761331,"ns":120,"title":"Item:Q759482","lastrevid":42679417,"modified":"2025-07-08T10:11:16Z","type":"item","id":"Q759482","labels":{"en":{"language":"en","value":"A sound and complete axiomatization of embedded cross dependencies"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3881876"}},"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":"Q759482$A6681B63-C752-40E2-A4D3-7E256B00742F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5b65ec76b1437b8bb750ed8e29913ca0ffa32348","datavalue":{"value":{"text":"A sound and complete axiomatization of embedded cross dependencies","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q759482$DAAB1258-96F1-46E1-9A7C-750BFC27A6F8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"28743278cda85d51833e0efdf1bf1a38d369b9f4","datavalue":{"value":"0553.68027","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q759482$E7EEC079-A3D1-4EE7-B996-D948A8292F1E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d18963413456b438a882db1f912fce5ab0b76acf","datavalue":{"value":"10.1016/0304-3975(84)90059-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q759482$52816DA3-1C8B-4CC5-8E6B-2ED6ADB07AB4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5b4300f519be13ba488fe3092979f9d9b9453e98","datavalue":{"value":{"entity-type":"item","numeric-id":759480,"id":"Q759480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q759482$DE395054-2198-4090-819C-D4F3D837D5DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e00c297456023b206f7bea794a369c5563cfb3a9","datavalue":{"value":{"entity-type":"item","numeric-id":759481,"id":"Q759481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q759482$BA5C0B01-C9A6-4710-9258-7063A35DF9EE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q759482$085B5257-3F0C-4174-AF0B-D33A2F22FE32","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2ee0f220147ae8bc749a64db56839865dbc4f127","datavalue":{"value":{"time":"+1984-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":"Q759482$564E73EB-6659-4B7E-B8B1-82B66CEED348","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"66a55c15e8678944754e70661d87558a08d49634","datavalue":{"value":"https://hal.inria.fr/inria-00076309/file/RR-0249.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q759482$44ED7E3B-85D3-4801-B1EF-96F6A5C175E3","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"96877b347348e4b5c848de9687a50eadaf060c0b","datavalue":{"value":"A very concise paper which gives a sound and complete axiomatization of embedded cross dependencies within the relational data model. A set A of axioms is sound with respect to a set of dependencies F if every new dependency derived from F using A is implied by F. It is complete if every dependency implied by F is derivable from F using A.","type":"string"},"datatype":"string"},"type":"statement","id":"Q759482$8789750D-5A38-465D-9A70-E4838B857BAE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q759482$B5ECA68B-ABED-4DB9-AD84-60BDB3FBBB1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a762d1a2468ec8882180d0d1124f12b94f8eb1b0","datavalue":{"value":"68P20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q759482$5554BC4E-A30E-428A-A645-5FFE3F0953DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"14cf74de25853c940589b125137b792dfb2d092b","datavalue":{"value":"68P05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q759482$31B41406-E7FE-48E7-BC04-18AF5E1F2810","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6f48baf337d2b41d48ae710c76f9ad559ae98c6a","datavalue":{"value":"3881876","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q759482$EF147439-AD10-4468-A476-5FCA806F0CFB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe51228e17b836f3520db7bc0de40e5086eebee3","datavalue":{"value":"soundness","type":"string"},"datatype":"string"},"type":"statement","id":"Q759482$5571D951-C8FD-44CC-949C-8D7822050251","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q759482$D37848FC-743C-438E-A349-BC88D2AD62C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9f6e3a7bcf6fbb01e95b3aadf833ede4d0e721a0","datavalue":{"value":"axiomatization of embedded cross dependencies","type":"string"},"datatype":"string"},"type":"statement","id":"Q759482$6FF651E2-696A-474A-A263-10DADABC7C9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"34a71c0f912ca402361bac13819fc28a1a4a3970","datavalue":{"value":"relational data model","type":"string"},"datatype":"string"},"type":"statement","id":"Q759482$DB75D452-DDED-4531-AB14-F1457C88B82B","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"cba5c9a69b333f1d9099e9df6edbfd77be9d4973","datavalue":{"value":"Q114683732","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q759482$DB3B524E-3D4A-4F4C-9184-F786385BE90E","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":"Q759482$9499D7E0-5D6D-42EA-8594-30238D60A79D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0cf77424340d9782fe3022a48ea0c031e9b35bb3","datavalue":{"value":"W2003196490","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q759482$7B7F9E2E-623F-476A-B14C-D903DB144FF2","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"223c5ceee549a94a8ba5c26ff64a6da011e42238","datavalue":{"value":{"entity-type":"item","numeric-id":4050122,"id":"Q4050122"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q759482$C9A09B79-B144-45B4-8439-AD35D74C4AEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b00c51201f67e59e740260c694a944ba5779880","datavalue":{"value":{"entity-type":"item","numeric-id":5607609,"id":"Q5607609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q759482$2EA9A221-7CC0-4E5B-9CF7-504C581D5F5B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e7fe36c57979a0b786c5703b6b9fbbd8bef0bd64","datavalue":{"value":{"entity-type":"item","numeric-id":3460037,"id":"Q3460037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"090fc6e9d139900154bba6bbb6a889344d36707e","datavalue":{"value":{"amount":"+0.8749982","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q759482$88323A10-E9DF-4959-B9E7-40A4AE17916D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ce7277ff14a4a4d1626d0569a23b3d48514e3d8b","datavalue":{"value":{"entity-type":"item","numeric-id":293431,"id":"Q293431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d94380e15ca6c13f959591390bbf2dd9ee23d489","datavalue":{"value":{"amount":"+0.85724527","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q759482$F889157D-38E9-47D0-9924-101D83476D83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f82b1d2a82d3363778068033fd9d39512b52f9f6","datavalue":{"value":{"entity-type":"item","numeric-id":3075488,"id":"Q3075488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0fa9546f93e33e56663a7442e8a3197ef708cc5b","datavalue":{"value":{"amount":"+0.84720874","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q759482$6379BF34-E986-4AC5-A80D-BB167BAB5FAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5bfacf55bf405cf9bbe49926f41b86a19fbd125a","datavalue":{"value":{"entity-type":"item","numeric-id":5351964,"id":"Q5351964"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f00b08b416c0a6f762988413d15c92e99a4dd35e","datavalue":{"value":{"amount":"+0.8467358","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q759482$421E03CD-7A9C-4541-9DE6-6261EA430E76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3f37d93683aa851ff0aa0d51feaffaaa38240837","datavalue":{"value":{"entity-type":"item","numeric-id":1274978,"id":"Q1274978"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b3e0fbf8aaef68fc5d835c8d0b50b128d6cef7ab","datavalue":{"value":{"amount":"+0.84227747","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q759482$3CA442F8-A622-424B-87C4-0839C2D5286A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"152057a1f33cf8ef65f6e795e36cc8e54718dfe5","datavalue":{"value":{"entity-type":"item","numeric-id":1077155,"id":"Q1077155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"34e63b978c5d3a95d56c64b9f1abb079501a13b2","datavalue":{"value":{"amount":"+0.841751","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q759482$086F67F1-E4CC-441E-85A1-1AD9AB3D37E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bb3ee318bf33ea386c29f2b82730213cebbdf637","datavalue":{"value":{"entity-type":"item","numeric-id":388209,"id":"Q388209"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"921319ef9e0275bdecb2cb175a636632486e2297","datavalue":{"value":{"amount":"+0.829083","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q759482$4BFFBB5A-1BA8-45EF-AB16-5EB8E4653192","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b7b7e9d73589e096bfb655dd6dae887b5bd025ec","datavalue":{"value":{"entity-type":"item","numeric-id":3975027,"id":"Q3975027"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d2f2104d1005eb7aa4372cf917e87c2327f36faf","datavalue":{"value":{"amount":"+0.8284738","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q759482$7E58C668-ACBF-43F5-9282-7A2CBC08337C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1d93b7d63bc0dc5aed2ca5dc003c1117f81077c3","datavalue":{"value":{"entity-type":"item","numeric-id":334998,"id":"Q334998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c29ede85b1438972c1034e8056a5cda4264df7ac","datavalue":{"value":{"amount":"+0.82762885","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q759482$64FC2CD3-2950-45F9-A9E2-DB5657B10090","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:759482","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:759482"}}}}}