{"entities":{"Q507516":{"pageid":509283,"ns":120,"title":"Item:Q507516","lastrevid":62360787,"modified":"2026-04-11T05:33:44Z","type":"item","id":"Q507516","labels":{"en":{"language":"en","value":"The joy of implications, aka pure Horn formulas: mainly a survey"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6680933"}},"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":"Q507516$DAC0B962-4B87-45BA-A346-8BD4DC3ACDE4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6ad9018f18aed636cfe1e732561553fab335bc7b","datavalue":{"value":{"text":"The joy of implications, aka pure Horn formulas: mainly a survey","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q507516$9666E590-666D-455C-BCC5-F8D9A3249236","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a54de412bae42b781577e5d72881770481b3cbff","datavalue":{"value":"1418.03144","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q507516$E915B3DD-0440-42E9-AC15-596AB93DE9D2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d8edc5904dd2851735677fd4946153329bf4566e","datavalue":{"value":{"entity-type":"item","numeric-id":418893,"id":"Q418893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507516$D946D85A-5372-42BC-9D6B-540FCB50F35E","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":"Q507516$270F900B-602B-4E11-B423-F0D0C05984A1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"69224595960101be6ec21574e4c403135d7942f5","datavalue":{"value":{"time":"+2017-02-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q507516$5657BF1D-B30D-4DB8-BAE0-AFA8429DE268","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d2944752519f85ff615e0bb97390b342d2c868c0","datavalue":{"value":"https://arxiv.org/abs/1411.6432","type":"string"},"datatype":"url"},"type":"statement","id":"Q507516$93D9B408-D1A2-45BE-849D-D3F5B8DC5629","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q507516$0EBB2047-1F20-4333-BF40-C4C4ADBFB71F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0a5669d874d908140477142bf0de378e9c2d48f8","datavalue":{"value":"6680933","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q507516$425DD689-EA66-4814-9E8D-5283E748C0CC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a00ef92e715ee6ab8f0d4e235e6a965a144bcad6","datavalue":{"value":"pure Horn functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q507516$31E226CB-DE8F-4657-8EEB-37ACBE9A08EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2a1279221fe7735b1b47afd1411b335eca7e3f0e","datavalue":{"value":"minimization","type":"string"},"datatype":"string"},"type":"statement","id":"Q507516$C1740638-FB18-4B0D-B1E0-80E5318C1386","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8f99b16facd6e000c6df5f71194c7fc9ab564413","datavalue":{"value":"Boolean logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q507516$0CD7AF87-6251-4FE5-9902-4A77DB7A5CDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"386f75a80d8c228a580bdbdbaec48505f296713d","datavalue":{"value":"association rule","type":"string"},"datatype":"string"},"type":"statement","id":"Q507516$D1B0EF2E-08B5-48B0-8D50-A6846E8A666A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"06cf9711c6390395a60b61ca8ecf0b9b2bef1aea","datavalue":{"value":"lattice theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q507516$FFC2A16A-C35C-4F52-A85D-5FF7F6F6378A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"356e366d6c8b96790c960b2cb3520c79f5b43485","datavalue":{"value":"formal concept analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q507516$F73485AC-53D6-4511-BF7E-803ECD40A158","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"935c582534315791f137c01bc53f9118690d4156","datavalue":{"value":"closure system","type":"string"},"datatype":"string"},"type":"statement","id":"Q507516$AE4A593A-0F90-4CEE-9A8C-AC0CA97AB497","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"280221cde86c143eb3701b731897dd2ac31e952e","datavalue":{"value":"convex geometry","type":"string"},"datatype":"string"},"type":"statement","id":"Q507516$C6855674-C636-4ABB-8EDE-6B4F055470F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7ebaf8c68af2f167f6db4495cf5a023c843d6de0","datavalue":{"value":"prime implicates","type":"string"},"datatype":"string"},"type":"statement","id":"Q507516$39B1E37B-B94A-4D2C-A975-8146E8ED9ADA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe861330fdb821d7bdde4e0688e5a01d01d922df","datavalue":{"value":"meet-irreducibles","type":"string"},"datatype":"string"},"type":"statement","id":"Q507516$1E8EA530-DB01-4887-83F6-4EBB00EF5B84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"09a188bc590546995974b55a3f2f84f00e08b2a9","datavalue":{"value":"universal algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q507516$898A36EC-2A71-41D3-A648-0969E2BDC0FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0909ed8d265ff46b4078ccca41131010327b116a","datavalue":{"value":"functional dependencies","type":"string"},"datatype":"string"},"type":"statement","id":"Q507516$21D33DDC-FC78-4289-9457-07F6F4B3AED9","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":"Q507516$05F1DF67-A1D8-4FE8-B7A6-02CD7DB47404","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c9ff3eff7c4064acdb76ed9e837df62c8bfb4e45","datavalue":{"value":"W1866396423","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q507516$532ECDF9-F2CA-4427-9861-ACB452967D73","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a0b4e6d829c87497256927dfc8dcaa9d88e2cbbe","datavalue":{"value":{"entity-type":"item","numeric-id":2399285,"id":"Q2399285"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507516$8BD58F65-A45E-4F86-B134-AC9E491E2EEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba6eb786628588c06014aaf01a4ba2b8a421cc1d","datavalue":{"value":{"entity-type":"item","numeric-id":741717,"id":"Q741717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507516$8B2418E2-60B7-40BC-BA97-0DC40B7CD8BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd6eb5c22554879b1d38e499b6fbfb7f3092edcf","datavalue":{"value":{"entity-type":"item","numeric-id":507518,"id":"Q507518"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507516$670AF9B0-E14B-4774-B7FC-AEF532C48110","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f799b7a655429a15245b4389cad39c46ccfe9ae","datavalue":{"value":{"entity-type":"item","numeric-id":1946213,"id":"Q1946213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507516$71F95AB4-9860-4DFA-9EE5-B9C178492C1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"754a4a60c3c7157ef3f839e3afcfc0210f97581a","datavalue":{"value":{"entity-type":"item","numeric-id":705493,"id":"Q705493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507516$B4389614-4440-4CB1-A26A-5FEF2BAF4AB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ea6faa9fcdc44c7b68c99d63eded951737dcf60","datavalue":{"value":{"entity-type":"item","numeric-id":3648750,"id":"Q3648750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507516$B4D23EB0-16A3-4CB0-81D2-264768A7F7F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd3a3e052346b3e42c07257c51858e7ff99f9837","datavalue":{"value":{"entity-type":"item","numeric-id":3738576,"id":"Q3738576"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507516$4634A454-3C86-4FDC-99EC-5DFDAACF336E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a3c4b64ac29dd4ea9205a2e340ab39b07537cb5","datavalue":{"value":{"entity-type":"item","numeric-id":1041213,"id":"Q1041213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507516$4E0EE599-8426-4523-820B-82E5808041B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff15458b41a1b19a6f7f4ac2bdcc7d064eb5ed3e","datavalue":{"value":{"entity-type":"item","numeric-id":3575303,"id":"Q3575303"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507516$12551693-8CDB-4026-8697-5C06A4C06882","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cdc57cf2ba5617fc074cae34fef64910590e17f4","datavalue":{"value":{"entity-type":"item","numeric-id":5331549,"id":"Q5331549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507516$A6A6EDC3-2D59-4AD3-8B8C-19E8E7C72712","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9993530cbe9b57faeca324c52f8d642e4f2cb2c8","datavalue":{"value":{"entity-type":"item","numeric-id":693287,"id":"Q693287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507516$859E616D-9E3A-465D-BECA-6A2AC90D679B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"352ad119173744f47c3dace151d873b00e486023","datavalue":{"value":{"entity-type":"item","numeric-id":1659991,"id":"Q1659991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507516$2E1BD643-6D1B-48C8-A1A7-327430954BB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f855ca9f044b4ccfaaf3871a97165fe5be95c278","datavalue":{"value":{"entity-type":"item","numeric-id":2254607,"id":"Q2254607"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507516$E06D6471-D091-4B9F-BD09-F65BF9CFC42A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4c64ffad6071c5ae89eb75f2d433857bb8d8397f","datavalue":{"value":{"entity-type":"item","numeric-id":1946215,"id":"Q1946215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507516$3628A892-F6FB-4D50-AF47-D62640D9E51D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c87736da9afd05d05c4916d40c0ecb1e4405b06","datavalue":{"value":{"entity-type":"item","numeric-id":974107,"id":"Q974107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507516$F067546A-6152-40F7-8289-18B0135D2395","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b37532c6a8a012ed428661052c50dbc89064c6ee","datavalue":{"value":{"entity-type":"item","numeric-id":507534,"id":"Q507534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507516$535846E8-81EA-4A9C-8BCD-3B7B306D9977","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9dca21f69b49caaddf4fab6bd4434ff928e6978f","datavalue":{"value":{"entity-type":"item","numeric-id":4318177,"id":"Q4318177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507516$184BF597-DE5D-4B53-9D0A-7E3C282D5577","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0449a823fa473672f1b17a448f8c765305e8aaf7","datavalue":{"value":{"entity-type":"item","numeric-id":1577312,"id":"Q1577312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507516$49B73258-5B4B-4DC9-ABF0-00B9B77DD7B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd9d41de292e3fe88a7d1837b26ece3d8fec8518","datavalue":{"value":{"entity-type":"item","numeric-id":3077976,"id":"Q3077976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507516$C67396CD-35C3-41BE-A605-1ECBD9C2371C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d3dd34ecac01e8715275f14b2c16024db9846df","datavalue":{"value":{"entity-type":"item","numeric-id":1874537,"id":"Q1874537"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507516$1501A903-75EC-45B9-AA05-212416A18878","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e6e6d3d2fe716d071cf6a34e4ce5680600d0d46","datavalue":{"value":{"entity-type":"item","numeric-id":1176723,"id":"Q1176723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507516$8B015F73-FA3E-4E37-B41A-E5A7DF740404","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d46a661e00605f1d10f624d8a9e7bd2ff025fa9","datavalue":{"value":{"entity-type":"item","numeric-id":3869398,"id":"Q3869398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507516$7CEB9F47-5171-4EA3-883E-050B2459AE51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d9ba8c5187ae4f57bc2fea3778e7713b632b6b7","datavalue":{"value":{"entity-type":"item","numeric-id":4029566,"id":"Q4029566"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507516$7014B8DE-174C-46AF-B4AC-ED4A2C0B3274","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"87aefec68103ddfccff6dc1d6f3731c1a68ec8fd","datavalue":{"value":{"entity-type":"item","numeric-id":628340,"id":"Q628340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507516$72543DF6-7409-4301-9BD1-42DF9DB53CED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a38ca1c550201e38ed00e32a726b3d29bf5d4e8","datavalue":{"value":{"entity-type":"item","numeric-id":943839,"id":"Q943839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507516$540EA492-84E6-43CD-BEB5-3A79631F935A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"45d82df60ca984fa15e75d19fe33058c8e298ba4","datavalue":{"value":{"entity-type":"item","numeric-id":4142680,"id":"Q4142680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507516$B8C5AD6B-96AE-4FF0-8D07-AD19D279D5C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"20ed0aeee874455e44663139bcd13fab990ae3be","datavalue":{"value":{"entity-type":"item","numeric-id":4728289,"id":"Q4728289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507516$8F9F300F-16F2-40FC-A364-A00E98A55B43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f05898cf725c9c317a3e4b211a365684e16b7f9","datavalue":{"value":{"entity-type":"item","numeric-id":3057606,"id":"Q3057606"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507516$E93E0901-ED79-40CB-87A3-569E9EFF644F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"274f446738a89a0eefc2c3d8124106cc3eb08a31","datavalue":{"value":{"entity-type":"item","numeric-id":4834373,"id":"Q4834373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507516$71CC2160-A278-4A29-90B6-057757962933","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"75eafa87c266a7c18e3ace9e65b49c59b5f5be5c","datavalue":{"value":{"entity-type":"item","numeric-id":3162101,"id":"Q3162101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507516$A61B0A32-D9A7-4FFE-9B10-9DCC10AA10BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4bf20bad2f52f0e67f28ec5ef09dc2220198c5ab","datavalue":{"value":{"entity-type":"item","numeric-id":5058462,"id":"Q5058462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507516$4879EC2E-F175-4BE6-A16F-DAD764333FF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"363f742c83b2675b357acfab9260dc81ed8988bb","datavalue":{"value":{"entity-type":"item","numeric-id":4230685,"id":"Q4230685"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507516$9EC88283-4964-476C-9E49-9425995BDFE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f5ddc74540eb05642bbf4d8044f544a32da40023","datavalue":{"value":{"entity-type":"item","numeric-id":1183948,"id":"Q1183948"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507516$EF851DC0-2CA6-4B6D-B02F-B5C0D45FA80C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9905bd9bcb7f9686af2ea9b01654f97f4cc49d17","datavalue":{"value":{"entity-type":"item","numeric-id":845722,"id":"Q845722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507516$AA866E4D-EE5B-457B-B215-A7106CDE6D57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8ac914eef57218a088a12da85eaf3be244f9043","datavalue":{"value":{"entity-type":"item","numeric-id":1855210,"id":"Q1855210"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507516$C66E7E08-D857-417F-8DC1-B7FFFEC9707F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e8267ac9840e5a7e4d3c45c5e5ac1251058340d","datavalue":{"value":{"entity-type":"item","numeric-id":4871262,"id":"Q4871262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507516$7B8E4E76-0A6F-40DA-BF72-69BE2CEE411E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fd8097640b1f4ba9eec43837bd81d298e8358613","datavalue":{"value":{"entity-type":"item","numeric-id":810029,"id":"Q810029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507516$8458CBD9-18FC-4B10-ADA1-03314FA46275","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2341abae714afd27555dd7a568bd8183aaf7389c","datavalue":{"value":{"entity-type":"item","numeric-id":1953403,"id":"Q1953403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507516$3123FEB7-6995-4310-BF33-87DF5DFF1AB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"770462b766b46565e7be9d6abea27d109e3bcff2","datavalue":{"value":{"entity-type":"item","numeric-id":2676579,"id":"Q2676579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507516$DA4C28BE-647C-43B2-B3B0-75F5CFC8666A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"48f2632d9e4f7dc224003a1ac340df614cdfbfa6","datavalue":{"value":{"entity-type":"item","numeric-id":4409026,"id":"Q4409026"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507516$BF9C8837-C498-4E90-AF9F-E61F44B7EB69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b598e21e22a6f1813e931365664f10fcd79439ae","datavalue":{"value":{"entity-type":"item","numeric-id":943835,"id":"Q943835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507516$47B24802-99AD-446E-855F-930C6B82FB77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"143421a0cbe4ba34cedbed6f5fa70d101952a550","datavalue":{"value":{"entity-type":"item","numeric-id":3668890,"id":"Q3668890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507516$6B9FB40A-8443-40DF-830B-1DA2335338B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ad778688079d4a53aaf9e0e9300643f2b8969a1","datavalue":{"value":{"entity-type":"item","numeric-id":4779973,"id":"Q4779973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507516$737B369B-7C0C-4D4C-BD5F-009FD01EAD8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9458367bb9ccbe5971fad3927cb0f32f9ff952c8","datavalue":{"value":{"entity-type":"item","numeric-id":579962,"id":"Q579962"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507516$CB1DDAB7-F2BC-43F1-9165-478DD53F0444","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eab4fdb9862b5089e126cf1aa962dd810e5efd10","datavalue":{"value":{"entity-type":"item","numeric-id":4023862,"id":"Q4023862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507516$D1716C3F-C664-4036-AA63-1F7E1EC6EC1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eff18239048ae56591c9a0daa06217bca17c64b0","datavalue":{"value":{"entity-type":"item","numeric-id":2449091,"id":"Q2449091"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507516$BDE5B674-9BD8-4822-A0A4-C24046318CDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4902088de4de58618135a079d067e1701d6edf1c","datavalue":{"value":{"entity-type":"item","numeric-id":2640633,"id":"Q2640633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507516$AF217395-0B86-4B7A-B042-7FE75A31EA04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"512361f7e5d69fe5adedf828c14f137160b3276c","datavalue":{"value":{"entity-type":"item","numeric-id":5411880,"id":"Q5411880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507516$912AA88A-8A05-418B-A8B4-7199ACCC6F51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d91275bf9130acb7463119521f9d749a9a820d09","datavalue":{"value":{"entity-type":"item","numeric-id":5599129,"id":"Q5599129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507516$96961CF7-8F06-45CE-BC43-FCDD701DDAC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5dbb2b7a148257878c0cb246df607d5addbc749e","datavalue":{"value":{"entity-type":"item","numeric-id":507522,"id":"Q507522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507516$7B4BC855-8B04-4AC0-8517-7DBD8E52494C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"07ebf85f18f12ad6126206b453b976cb28b4e67d","datavalue":{"value":{"entity-type":"item","numeric-id":4967187,"id":"Q4967187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507516$D96FB298-8E66-487E-9819-14E111EFD0F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de50f4b92dc495ab59332ef6ea7080018a6cf260","datavalue":{"value":{"entity-type":"item","numeric-id":2248531,"id":"Q2248531"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507516$52FC08B4-5E04-49B4-8E4F-185353385874","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f86069b80a66f03da1cb27c5fa9c269c7c7bfc3","datavalue":{"value":{"entity-type":"item","numeric-id":3330973,"id":"Q3330973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507516$D2F882B7-7DA6-445D-A2E4-AF06E80BFD96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae6065225cb8469dcce4df2258a12a68518bfc6c","datavalue":{"value":{"entity-type":"item","numeric-id":1072723,"id":"Q1072723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507516$7C395773-DEDC-4448-923D-DAEA26EEBF80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"416b30adec8dbf6de4dc61d855228545cf395435","datavalue":{"value":{"entity-type":"item","numeric-id":2941043,"id":"Q2941043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507516$8E4D6523-4107-4A0B-B6C1-C2589E8D6485","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dea265d6ecbbacf834a2d8886904caf822a0a422","datavalue":{"value":{"entity-type":"item","numeric-id":4521532,"id":"Q4521532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507516$5497DC9B-E95B-4861-A836-93FC7A3AEE0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"02d27b81f54db8ced32506866a1108406852c6c2","datavalue":{"value":{"entity-type":"item","numeric-id":1341147,"id":"Q1341147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507516$15EB6B82-B38D-419C-A5B2-A0BDB9ABCFFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"85bc190d7999a2e4bff6f2437cfcbd865796a734","datavalue":{"value":{"entity-type":"item","numeric-id":1679036,"id":"Q1679036"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507516$45EA4DB8-CCC0-4519-BDFB-CFAD48110D8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a0e539e46af6f28839119810ac08cf573bcfb11","datavalue":{"value":{"entity-type":"item","numeric-id":2786908,"id":"Q2786908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507516$4763940D-893C-4A5F-B6D4-D99AEC53E902","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e0c9ae2a9fb02032ada947ee960a0ff47d4eb113","datavalue":{"value":"10.1016/J.TCS.2016.03.018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q507516$8C774774-531B-4108-8152-511AAA0B8169","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"286d972ccc0e87cc770135f90bb0f7a7bf017b1f","datavalue":{"value":{"entity-type":"item","numeric-id":1285668,"id":"Q1285668"},"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":"Q507516$5CB256C9-F4CC-4058-9541-141AFC7BE603","rank":"normal"},{"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":"fea59f66c27b30b2874a0d2e79a1b7e575984f6e","datavalue":{"value":{"amount":"+0.7523616552352905","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":"Q507516$56C7F6F3-ADBA-4D34-993E-906C4DFC0BB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"158b1b876e8a92ccfc5db050e93d6c3caff85862","datavalue":{"value":{"entity-type":"item","numeric-id":4230359,"id":"Q4230359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6a1b93ed6eecffb61b271d4fe2c7d5af8f7d8f9a","datavalue":{"value":{"amount":"+0.7469221949577332","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":"Q507516$CDFAB534-E059-4D50-8863-D3A26647C38A","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":"75a73e1dbd14701aae7be3a72b186d2d894cc043","datavalue":{"value":{"amount":"+0.7439305186271667","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":"Q507516$AC05F932-3D52-47B0-AA82-1968F837B084","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7fcbef14ca7f8c9c2f0b3556326c48e0b2a4c2cb","datavalue":{"value":{"entity-type":"item","numeric-id":3140392,"id":"Q3140392"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"58622be85fe0f2244c5a9b8ee2f37f4ee97804f9","datavalue":{"value":{"amount":"+0.7414711117744446","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":"Q507516$691E7074-0125-48B3-8CD0-31F8F93ED1A3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The joy of implications, aka pure Horn formulas: mainly a survey","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_joy_of_implications,_aka_pure_Horn_formulas:_mainly_a_survey"}}}}}