{"entities":{"Q1098615":{"pageid":1109367,"ns":120,"title":"Item:Q1098615","lastrevid":66127050,"modified":"2026-04-12T07:43:48Z","type":"item","id":"Q1098615","labels":{"en":{"language":"en","value":"Recursively defined domains and their induction principles"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4039261"}},"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":"Q1098615$809202D1-33C5-462F-B8CB-69B5AD843D9A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"56a94252d0ef80423d41f8276126c2e01076c978","datavalue":{"value":{"text":"Recursively defined domains and their induction principles","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1098615$4ACE299D-AFAA-4C6A-B614-8367532B8E45","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4da141d0fe8018b3c9542c40914033ce68331edd","datavalue":{"value":"0637.68017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1098615$63C20EC3-36B5-4297-A7D5-B5E02E8DA889","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6e5fc7f30e2332b574129f44687d24838fd91b65","datavalue":{"value":"10.1016/0304-3975(87)90017-X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1098615$4CEF180F-547B-4E1F-A82C-C29DCA0C8561","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":"Q1098615$475D4DF5-BC9F-4425-B6D2-76665E6A678A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5ae48c61eed19d1e1e1f33f9255d5b329362d064","datavalue":{"value":{"time":"+1987-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":"Q1098615$4F30EEC3-DE45-4FAB-8FAC-1DB2DAC22525","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"8f021848e551a0e295e6e30ae8db4d9c60dfea11","datavalue":{"value":"Amo\\(\\{\\) \\(A_ 1,...,A_{\\ell}\\}\\) is the set of minimal keys over \\(\\Omega\\) and \\(K^{-1}=\\{B_ 1,...,B_ m\\}\\) is the set of all antikeys of K, then \\(\\cup^{\\ell}_{i=1}A_ i=\\Omega \\setminus \\cap^{m}_{i=1}B_ i\\), i.e. \\(\\Omega\\setminus \\cap^{m}_{i=1}B_ i\\) is the set of all prime attributes. Based on this result we are going to construct an algorithm that decides from a given relation R whether an arbitrary attribute is or isn't prime. We prove that worst-case time of our algorithm is polynomial in the number of rows and columns of R. In this paper we give the representation of a minimal key through a set of antikeys.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1098615$FF1F54C6-384F-4005-A313-4DBC96AF3255","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1098615$B3F062FD-BC20-4F67-9282-31EB74A3A001","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1098615$2A8EB87D-DE4C-43BE-BF25-26E2BA7E79D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1267197712a0b8481bdd51a65bbac0428b08dd13","datavalue":{"value":"03D45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1098615$BFECB06A-AE34-4E58-84E1-61A3BF0D3E2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"758b4d196a1f97708f26591fee42c00739e26cc0","datavalue":{"value":"03D80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1098615$65220AAA-EA08-4025-BD4C-BCBDDB29EC72","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cd9134d152444a4c00546ede7383d22a3e5d4c7c","datavalue":{"value":"4039261","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1098615$305D46F4-A0A9-47E1-917C-236B18E91529","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"767d4e5c7702e9a19c4a80a95507a18e84b26852","datavalue":{"value":"antikeys","type":"string"},"datatype":"string"},"type":"statement","id":"Q1098615$99B832BD-943E-4F53-86CD-6ABF071A7596","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48ddf43eca498c7e7087cd696beb82ea63925320","datavalue":{"value":"algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q1098615$392C7455-D111-4E1B-9F45-3CC9EC950C00","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d43765bc124cf9959def4c0b391c31b1fcd172f1","datavalue":{"value":{"entity-type":"item","numeric-id":2375335,"id":"Q2375335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1098615$FF88D0B1-0627-4F38-A34F-3540B94F0EBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7ac8acc0ee38d6ade72f0d112f1c054cc98c3505","datavalue":{"value":{"entity-type":"item","numeric-id":808272,"id":"Q808272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1098615$F614F457-3ED0-4725-AA2A-597C702695BA","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":"Q1098615$7E14D59A-A83B-45D7-B923-0C154F3B894D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6cc8abb92210655a5bd4143cbbadd6eadb52d635","datavalue":{"value":{"entity-type":"item","numeric-id":1801222,"id":"Q1801222"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1098615$942FF0F8-3F1D-4C5B-BC2F-DA2D47506648","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bbf2e43edb37fc8aaffef4789c6550d3089eb141","datavalue":{"value":{"entity-type":"item","numeric-id":3907066,"id":"Q3907066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1098615$2F8F7D20-378C-4E42-8828-CD7EAF319057","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d95b10a173ae6dc4de0474fac3045b33fccef0b5","datavalue":{"value":{"entity-type":"item","numeric-id":3330551,"id":"Q3330551"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1098615$DBDB2F06-2D15-40E3-9BD3-5E9414F172D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11369978efa15dc62da89d10bfe437030b4aa86d","datavalue":{"value":{"entity-type":"item","numeric-id":3956379,"id":"Q3956379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1098615$F23F0DBF-515F-421E-B28A-5232AEDC2687","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf701c74ef07eac6f191b34254e528b70e4494ba","datavalue":{"value":{"entity-type":"item","numeric-id":5649639,"id":"Q5649639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1098615$1DB14F4E-EB49-4567-B0F4-623E60359A0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d13a074e10182485b0efcf5cf7cfc43a7672c7e","datavalue":{"value":{"entity-type":"item","numeric-id":4115133,"id":"Q4115133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1098615$FCBE71D3-EA6A-45F1-BE2D-081A0DE4F485","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3c9e633a6ca83c6de09c3b5e6a353f34a5b2e193","datavalue":{"value":{"entity-type":"item","numeric-id":3777441,"id":"Q3777441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"02909f162328899e3b3b539e160c21853d02b355","datavalue":{"value":{"amount":"+0.8957692384719849","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":"Q1098615$B7127D00-999A-4601-AA0E-1E23DB9D6F8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a0d054a0da64ce0413f7d8a3a19fc02e9e325131","datavalue":{"value":{"entity-type":"item","numeric-id":3805968,"id":"Q3805968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"38ab6cf75507b7a2f194fc66b5a16ba16be68fdd","datavalue":{"value":{"amount":"+0.8643218874931335","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":"Q1098615$87230C70-7119-4B0D-A0CA-0EFBA167959F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"398e8beac6b075c1fd5d35b0303bb197caf22cde","datavalue":{"value":{"entity-type":"item","numeric-id":3779791,"id":"Q3779791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c06cee31f98224f681baa7af802880a72692df6a","datavalue":{"value":{"amount":"+0.8181260824203491","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":"Q1098615$26F26C64-21BD-4F67-B950-163BA5D26915","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"25490a24c16950e9eb48b7a6818e5f547d539d8c","datavalue":{"value":{"entity-type":"item","numeric-id":3746934,"id":"Q3746934"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c02128947c533815f0608dd6e3c8bc87af24102f","datavalue":{"value":{"amount":"+0.810267984867096","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":"Q1098615$6B2E9466-B855-476C-899E-430366AE9CEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ffab16821c7e1f1141ee7d7049834d420c9969bb","datavalue":{"value":{"entity-type":"item","numeric-id":3690263,"id":"Q3690263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"94cbdfae7d20e0e04a226b4a7fb73ec6e57ea72e","datavalue":{"value":{"amount":"+0.7951897978782654","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":"Q1098615$11F00C21-ABF1-422F-8D38-56E1843CDF3B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Recursively defined domains and their induction principles","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Recursively_defined_domains_and_their_induction_principles"}}}}}