{"entities":{"Q3740280":{"pageid":5770186,"ns":120,"title":"Item:Q3740280","lastrevid":50945066,"modified":"2026-01-15T21:18:24Z","type":"item","id":"Q3740280","labels":{"en":{"language":"en","value":"The Implication Problem for Functional and Inclusion Dependencies is Undecidable"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3974349"}},"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":"Q3740280$EF084D42-AAFD-4205-AD5E-92EB7DA3926A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"98c8e4d50af59a9e434caa79a0d37ea6f7b7f87d","datavalue":{"value":{"text":"The Implication Problem for Functional and Inclusion Dependencies is Undecidable","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3740280$E2CD7529-5DE3-4CF1-A0EA-4326B70FCD8B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a1e64f2dfe4c898ed5de687c2ab664cc98b3076c","datavalue":{"value":"0603.68100","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3740280$7C3A8D9C-41D6-4D41-9BE9-571D48BE1F24","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f5cc110faf26c2a9cc50e81d2747c2d7a7c0565c","datavalue":{"value":"10.1137/0214049","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3740280$C0D699B7-7126-4A60-AA63-7637DA363B81","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"37f94e219c650c0af69779700675fb4fbdc2fbc1","datavalue":{"value":{"entity-type":"item","numeric-id":913503,"id":"Q913503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3740280$8C699C5C-137D-449A-86B3-D3DC61892218","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ce87cbb6ded942a7df2b71cd7e21808de8efe775","datavalue":{"value":{"entity-type":"item","numeric-id":208771,"id":"Q208771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3740280$F65B5CA7-6634-4687-B40C-D74B1FCBA498","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c2a1c45d0f0997786c62faf9f7fcd603424632e8","datavalue":{"value":{"entity-type":"item","numeric-id":84798,"id":"Q84798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3740280$F51F47BC-0A4A-463B-9397-7563BB19E9D5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3c94df5c9af0ede578c52141befd29044de13172","datavalue":{"value":{"time":"+1985-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":"Q3740280$67F815B9-5A76-4FC3-974B-60E538835BC8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a762d1a2468ec8882180d0d1124f12b94f8eb1b0","datavalue":{"value":"68P20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3740280$5D300BD3-95D5-49BA-9BB4-2D1BB9F898D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"14cf74de25853c940589b125137b792dfb2d092b","datavalue":{"value":"68P05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3740280$2F5DF67C-5D85-4EDE-9833-56127012D972","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1f48011f133ad026b9e835537bf9c6d843909fbb","datavalue":{"value":"3974349","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3740280$CBA6A0FC-7477-424A-9A3F-C5843B56B172","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c4978f2c4d263ef258ed0ffc576a325d510c4d8","datavalue":{"value":"axiomatization","type":"string"},"datatype":"string"},"type":"statement","id":"Q3740280$2C0AE883-96D5-491B-AD45-40C32E4494F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e2004b9ce7bfddfa6e216d619b3d6e47306543f7","datavalue":{"value":"data base dependency","type":"string"},"datatype":"string"},"type":"statement","id":"Q3740280$6AA31923-0C19-4AE5-8AA1-30C084F88205","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0c1cdec68f6f531065eeae64be8360df19d70183","datavalue":{"value":"functional dependency","type":"string"},"datatype":"string"},"type":"statement","id":"Q3740280$525BFD19-2B8D-4A6A-A857-6D67147D113E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"be3779687bf263ead9559727a53297ee19a75453","datavalue":{"value":"inclusion dependency","type":"string"},"datatype":"string"},"type":"statement","id":"Q3740280$0F308064-8D63-4DC4-994F-68C2C164E0A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9bd8781bddd936e216e70a0c72370f70ec6e4fe3","datavalue":{"value":"recursive inseparability","type":"string"},"datatype":"string"},"type":"statement","id":"Q3740280$B81DC75A-8605-4483-A0EB-09645CF9535C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d7974bf6e122f768f12aaa4e98003fae9a379c6d","datavalue":{"value":"relational data base","type":"string"},"datatype":"string"},"type":"statement","id":"Q3740280$E9A8ED0F-7041-49AA-8317-4E152D691D5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a813fd0e4aef1fda5e8e7d4b77b02104337d96e6","datavalue":{"value":"undecidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q3740280$20053111-854E-44DE-816C-14AF2264E54D","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"cfdebd490fb1f940adf4fddd787b8b5bdcf234c3","datavalue":{"value":"Q114615485","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3740280$30615E92-1204-4F42-BFBC-DA15ADE09A82","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":"Q3740280$4450E40C-2BE9-4AEF-84B6-E73A57FC860B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"40e1fa3fd8c6fa42639f1be7e666748426416084","datavalue":{"value":"https://doi.org/10.1137/0214049","type":"string"},"datatype":"url"},"type":"statement","id":"Q3740280$C5EA721B-5071-4D6E-8F7F-28E8D37ED30B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d0c99ae9591c5370aba527b640abcf4ddadf16ca","datavalue":{"value":"W1970782121","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3740280$06CEADA4-4AA0-4D33-9466-EC2647F2876D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"faeb8350f2dc1ffc2945ecedd321707a89509bfd","datavalue":{"value":{"entity-type":"item","numeric-id":3326888,"id":"Q3326888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"457dd3abdf9031fa5c7b94d630aa2b733f06255c","datavalue":{"value":{"amount":"+0.8863467574119568","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":"Q3740280$E02E52CD-CB61-4F9B-A443-12D947593270","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"492bfac227d18d5fb8b552f4a1df7ecf599bfd8a","datavalue":{"value":{"entity-type":"item","numeric-id":2508328,"id":"Q2508328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a012cb4e6fe69763f18e84535d255a62399405f6","datavalue":{"value":{"amount":"+0.8410831689834595","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":"Q3740280$9F5B6945-E900-4F88-AAC7-572786C03545","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2045d47b269c13a92e407d65443a196ec47814d6","datavalue":{"value":{"entity-type":"item","numeric-id":3340200,"id":"Q3340200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aba13be07d8d5bc171f62e62f21918bc2bd9242d","datavalue":{"value":{"amount":"+0.8227026462554932","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":"Q3740280$DB17D6CF-0F52-4530-8B09-AC69DF2BC0C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"29f036a0019fe7c412e2b0488f643e56c1b385c2","datavalue":{"value":{"entity-type":"item","numeric-id":1071523,"id":"Q1071523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a2abe69617b229a6dacb7162580cc8f835e6dca7","datavalue":{"value":{"amount":"+0.7880191802978516","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":"Q3740280$EB5F5C58-B77F-4C61-AF53-D0296F0ABF39","rank":"normal"},{"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":"0dc924a8b13b457c5e71a3c14a36f3e371ab4498","datavalue":{"value":{"amount":"+0.7792498469352722","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":"Q3740280$67F3BFDD-C2C4-4036-A251-45A5A02C6713","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3740280","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3740280"}}}}}