{"entities":{"Q1285668":{"pageid":1296418,"ns":120,"title":"Item:Q1285668","lastrevid":70584048,"modified":"2026-04-13T15:35:18Z","type":"item","id":"Q1285668","labels":{"en":{"language":"en","value":"Functional dependencies in Horn theories"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1281135"}},"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":"Q1285668$9C47A3B2-865D-4C2B-A09E-AA811041A2AD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3ac75e95901d3ba1bb1d9d9976794edf9ea4cfa1","datavalue":{"value":{"text":"Functional dependencies in Horn theories","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1285668$C43B9379-E124-4D67-A4D0-07F1C76E1135","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c38b7e94470ff2c183794374b5a0e067bd1d90f5","datavalue":{"value":"0914.68185","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1285668$1232D9D1-7307-4A41-8919-5554844844DA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"463e4c502809dfb8e0ded3efe9697d756032a72c","datavalue":{"value":"10.1016/S0004-3702(98)00114-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1285668$F7F119C5-7581-447B-B1DB-12160D9E56E7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"746535ddb96ae77c4a55cf2874e59b3bf4f00d57","datavalue":{"value":{"entity-type":"item","numeric-id":171928,"id":"Q171928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1285668$9B657297-4B46-473C-8B78-77F9D3D37DD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5a822cbccfab9076bd781f7e9ab59196a2bd3808","datavalue":{"value":{"entity-type":"item","numeric-id":245517,"id":"Q245517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1285668$2D9346F3-087D-48F3-88FF-11A0AB4E95C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cffea2588f41343c1ca50bec4f0b17d24b9d478b","datavalue":{"value":{"entity-type":"item","numeric-id":171929,"id":"Q171929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1285668$8736F795-45E7-46FF-B14D-D633A73A1A93","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"984e6510ec40a363d20e607cce2cc2f8b07918ae","datavalue":{"value":{"entity-type":"item","numeric-id":72340,"id":"Q72340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1285668$033524F4-971C-480A-929A-0638BBA09A72","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9d6d292392867bfa77ace8d025cfcc30db394b6b","datavalue":{"value":{"time":"+1999-04-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1285668$65B65AE4-71B3-42A6-B235-196602F874DB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0c6e71133293256880be082f6af9aa793c57d433","datavalue":{"value":"68T30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1285668$A7AAE7E7-34DB-44E8-AF06-CB137B384C50","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"20be3da4710edbdb01f19f1be404fe20e1a08aa3","datavalue":{"value":"1281135","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1285668$56BAA008-0B94-42AD-AEAC-DEADF57BDBF2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe99cc33cb0d5ac2e6c3a73729bf23aa7caccf7b","datavalue":{"value":"knowledge representation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1285668$6B796B94-1B06-43D0-8FCA-A62065D58298","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb131991ac61df937a24e35f9a843efb72ca0ee2","datavalue":{"value":"Horn theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1285668$2E426989-98A3-4EC4-A3C0-0E2A0140F01E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0c1cdec68f6f531065eeae64be8360df19d70183","datavalue":{"value":"functional dependency","type":"string"},"datatype":"string"},"type":"statement","id":"Q1285668$977D8C00-E961-4ADA-8EC5-C7B1140D966E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8954d6f76799365dc5b870fd18e348b2083a4841","datavalue":{"value":"condensation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1285668$47E28BA5-54B3-49AC-BA9C-16CC0557218E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ba0cc3f7aaac8445724ef309c9eecb57f5a563d","datavalue":{"value":"computational complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q1285668$30624925-93DF-489C-A2BF-B7CB55A12B36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"828e479c39c5c64293eb95e0403dbef7bbf79066","datavalue":{"value":"conjunctive normal form","type":"string"},"datatype":"string"},"type":"statement","id":"Q1285668$5AA9ACA6-8A84-4EEF-A984-AB4981547DF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d8ec9aaccfbefca3a6796892d946098699de2fa2","datavalue":{"value":"acyclic directed graph","type":"string"},"datatype":"string"},"type":"statement","id":"Q1285668$49323468-CB7C-4FDB-88CF-B31514845EED","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":"Q1285668$20A15B94-E462-4D7F-9049-676917AA1F6D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"cbaca80106e9f44d444603afb36ee7115482d341","datavalue":{"value":"https://doi.org/10.1016/s0004-3702(98)00114-3","type":"string"},"datatype":"url"},"type":"statement","id":"Q1285668$087259F2-4C6F-46E3-90C8-0EF486D12EC0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"73910c8067069d2315b1ad50f11af8633bfc29d1","datavalue":{"value":"W2035284422","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1285668$E270E692-4F86-4899-AD98-7A853780E42C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7bdcb56aebbb0f0ee2db8b11076750db96124a25","datavalue":{"value":{"entity-type":"item","numeric-id":1606330,"id":"Q1606330"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"18ada8a7bf729b90e06fdcfa66ad7900d9533228","datavalue":{"value":{"amount":"+0.9275364875793456","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":"Q1285668$613FC0A0-33A1-48BA-AB2F-AFD46232FBCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ac2e61a0445970db36c447b0c2d58a720aee88c7","datavalue":{"value":{"entity-type":"item","numeric-id":1810895,"id":"Q1810895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9dc1e2df03d1e5f5b873b7243399f03187835e20","datavalue":{"value":{"amount":"+0.8916357755661011","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":"Q1285668$1B884420-4B5F-46C7-A5C6-CD993A7A0946","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f6eb7c02265cdb40b50527157ecf1a76701ee32a","datavalue":{"value":{"entity-type":"item","numeric-id":3830524,"id":"Q3830524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6b648ccb6519c3f3f286af400e840ccd8068943f","datavalue":{"value":{"amount":"+0.7925165295600891","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":"Q1285668$74481325-C63B-4D52-889E-84AF8E022A3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"141abd6d76f8a2d133ca1f299022e90ee54a2593","datavalue":{"value":{"entity-type":"item","numeric-id":2672584,"id":"Q2672584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f5d2f326faab0f3467bcc299569c3676e2586ce5","datavalue":{"value":{"amount":"+0.7912210822105408","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":"Q1285668$D6AD9F2B-6F9C-41B1-A1E5-4D077C87B9D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"95a3464a2d23e04bfac360119cfdba8529f54c7f","datavalue":{"value":{"entity-type":"item","numeric-id":507516,"id":"Q507516"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"faa9f34bd21ac24b44a75cb04729a27c5bf3478b","datavalue":{"value":{"amount":"+0.7843056917190552","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":"Q1285668$DA5242A6-7995-45CE-8304-1904D3D13819","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Functional dependencies in Horn theories","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Functional_dependencies_in_Horn_theories"}}}}}