{"entities":{"Q5863327":{"pageid":7892878,"ns":120,"title":"Item:Q5863327","lastrevid":93271697,"modified":"2026-06-05T04:06:59Z","type":"item","id":"Q5863327","labels":{"en":{"language":"en","value":"Approximating minimum representations of key Horn functions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7488097"}},"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":"Q5863327$2D54556B-1E06-4DB2-8EBC-498C6004D8DB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ed5a66ce66584a54cdcad46cdfc48e45e26b76dd","datavalue":{"value":{"text":"Approximating Minimum Representations of Key Horn Functions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5863327$9FD3CF3A-650A-4B6B-8A34-DC95FE92D3AE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c1db2ce97b26684f479881c96bc33502cbdf3de1","datavalue":{"value":"1504.68052","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5863327$5DF28AD7-237A-4F99-87AA-D2204171B6FE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"beb9479c5564b04b502a0010d3e5312a36071506","datavalue":{"value":"10.1137/19M1275681","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5863327$5F4BD0A6-1F98-47A1-9A76-7DE5D44ECD7A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"bf6be74b3b3aea4fcaadf00582dd1aad27b9ec27","datavalue":{"value":{"entity-type":"item","numeric-id":414632,"id":"Q414632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5863327$3AE422D3-141B-4439-A7A6-38D565E1C0D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1948172daa46442222e070757b29802cb238c10d","datavalue":{"value":{"entity-type":"item","numeric-id":226794,"id":"Q226794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5863327$26B2A74E-DC18-4A10-83A5-AF7C0D55885E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"db66f8f8eeba705ad18f41f8ce73717dd91f2c8c","datavalue":{"value":{"entity-type":"item","numeric-id":392183,"id":"Q392183"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5863327$97FDACCD-4301-4C96-A65C-3115E32162D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"aa48f1028b234c27f9bc905789909c202f226910","datavalue":{"value":{"entity-type":"item","numeric-id":392184,"id":"Q392184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5863327$81BC78E8-595F-4B56-8B82-0BF14B56DD9A","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":"Q5863327$4645E92A-2E31-4DAF-AC03-659A9FDBB906","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":"Q5863327$F40DFE94-A5D0-4830-A9DF-78FDF16CD25B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"932a926f48f1a99d5c676a3e09211363b2f1c4d4","datavalue":{"value":{"time":"+2022-03-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5863327$F860CBE5-54FC-498B-9247-6BD96EC5A28D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b27d1a1c065b379184b316652db7367aac509b43","datavalue":{"value":"https://arxiv.org/abs/1811.05160","type":"string"},"datatype":"url"},"type":"statement","id":"Q5863327$43DF61AE-2F0D-4A83-9711-3C5E3851791A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf2726c5c2109371cc10358eaa69bc4df711caf7","datavalue":{"value":"68P15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5863327$B390D9FE-A186-4197-A57C-3055AB500DE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"419d6f2b09c39920e34f63114ff159a2f0a01812","datavalue":{"value":"03B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5863327$A9FDC880-5E7F-4342-9B90-F661FE10D0E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a09872c507729d29e1c1613e820db567c4517089","datavalue":{"value":"05C65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5863327$D72B62F2-4678-400F-A936-0751B7CD88F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"09f3eb9b2932c3fdc120e877804d57f4cb2d94e9","datavalue":{"value":"06E30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5863327$DA1DB341-47ED-4001-AFFC-B6F5C9801F58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5863327$E04D1F2E-08D6-4038-8BC0-A38620178481","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a4228d21095b3348e9ea20aa0b63610107aad8cc","datavalue":{"value":"68W25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5863327$2D1C8CFB-CE7E-467F-B294-037677C14C91","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"853771cda1d1b4488ec4158ac222b712a622ae36","datavalue":{"value":"7488097","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5863327$64E095DE-C543-425A-85C8-9FAA9004EBF3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cc4837877785b4675d8ac1c6d4c911bcaf794e13","datavalue":{"value":"approximation algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q5863327$E3B30116-399E-4B5A-ABC7-DEDB008D2843","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7339a29bf09525ad0735952a5c2d822a98c0f372","datavalue":{"value":"directed hypergraphs","type":"string"},"datatype":"string"},"type":"statement","id":"Q5863327$B9CF8636-DAAE-49B6-AB12-C4223A4F3423","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e4520243af08101a3202bca2a8ed559acce80373","datavalue":{"value":"Horn minimization","type":"string"},"datatype":"string"},"type":"statement","id":"Q5863327$21330182-50DA-41BB-BFD5-90D515EE1139","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a09733d597a6a2625e5a908090cc2e6c100f7853","datavalue":{"value":"implicational systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q5863327$89782850-5979-4148-B16D-477C9697CD37","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ce514966e327ded3c17917f258854330d9f0ecdc","datavalue":{"value":{"entity-type":"item","numeric-id":18319,"id":"Q18319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5863327$84CD5CFE-8B24-428C-8187-C6456443C70A","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":"Q5863327$00B79077-2486-4053-8068-0F3E7AECD55B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"52b37db1f75b1fe2bd91d3915bec89ade0194420","datavalue":{"value":{"entity-type":"item","numeric-id":5659571,"id":"Q5659571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5863327$BBEF9CA0-46CE-4FEE-B7EA-DB67BF7C46A5","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":"Q5863327$D4C9650A-D50E-4F2B-A8E8-44C2F862C105","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b54cf9709169298d21ea64dd9446b98120b3170","datavalue":{"value":{"entity-type":"item","numeric-id":3587398,"id":"Q3587398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5863327$C80A9DAB-EC2B-4546-A4EE-3DCFCE8FED0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"53de941dbfdbe6c98eb51a8d62862856e2ebaf56","datavalue":{"value":{"entity-type":"item","numeric-id":1277344,"id":"Q1277344"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5863327$6AB83CE3-3E70-41D6-B275-2ED9F125FDB8","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":"Q5863327$1929E5E2-E36B-491D-A550-D845B88C0ABA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ccc7b66227eb2f8356bb3b06aba66b8bb1b26c5e","datavalue":{"value":{"entity-type":"item","numeric-id":392185,"id":"Q392185"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5863327$CE35CB37-ADC3-4ADF-A3BC-716864FB13C5","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":"Q5863327$4527C60D-3339-4E86-B5D6-E37A284F01C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19decb5bd5363c1a6e2b3f177cf2dc9f0db8f9e8","datavalue":{"value":{"entity-type":"item","numeric-id":619911,"id":"Q619911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5863327$8F60E13B-A355-42F3-B02B-946FD14D7B7F","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":"Q5863327$80FAF9A7-9052-4718-802A-D22A954BEF78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e0479e2411231996c037adbcede0345cb47efc22","datavalue":{"value":{"entity-type":"item","numeric-id":5567717,"id":"Q5567717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5863327$B2F0341A-C7F6-43EF-9041-81D9E1AB99C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b7948d2ae997be513a92df2486b836c4e1eaa12","datavalue":{"value":{"entity-type":"item","numeric-id":5667480,"id":"Q5667480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5863327$A3EFC08F-ADCE-474C-9EC0-534E1A9ABA61","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":"Q5863327$2F3CAA72-6AFE-410A-A782-B318D921CCCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c403665aa6e3aa64da28618956f2f116df15324","datavalue":{"value":{"entity-type":"item","numeric-id":1204870,"id":"Q1204870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5863327$43FB264F-01BE-443B-B7F3-7B0022D888C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff64206d60d51de708c7c16742c89089b213c602","datavalue":{"value":{"entity-type":"item","numeric-id":5545191,"id":"Q5545191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5863327$B8C0C7AA-7849-4C0F-AA7F-E18CF03D8EED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a73f079fad88596351ff709cf186cec234a2805","datavalue":{"value":{"entity-type":"item","numeric-id":3723723,"id":"Q3723723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5863327$D3939882-4B36-4D35-B56C-BE3EE71A19ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ab456935031c732c9df7e77ae45d7cb3ea982cb","datavalue":{"value":{"entity-type":"item","numeric-id":5537097,"id":"Q5537097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5863327$848355BC-F61F-4428-8300-28C12657BFF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"123daef8044687c6b82b228d6d82b12d7d70e566","datavalue":{"value":{"entity-type":"item","numeric-id":3910552,"id":"Q3910552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5863327$45F1BA6E-90F6-40BD-91D4-96C02C373605","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":"Q5863327$271E81C6-46F6-4BB2-8312-B35EAA88F074","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d81a1569c55af0236c5095ad01cdba91666ec7f0","datavalue":{"value":{"entity-type":"item","numeric-id":1313951,"id":"Q1313951"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5863327$41CF525A-9FFC-4D8D-8B46-7C3EC77DB83F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"79feac6311819ad6b7afaf3af574725569ed8d23","datavalue":{"value":{"entity-type":"item","numeric-id":1923587,"id":"Q1923587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5863327$BC899E9E-A571-4D2D-A3C3-D0F6159592E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"754254e68d36015c62d25a0d822a7b73ca36d32e","datavalue":{"value":{"entity-type":"item","numeric-id":507535,"id":"Q507535"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5863327$0CB21E0E-D367-4FF1-82A3-55C90E25E786","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e00dbe049ef694ddf89bda4540748d3bb56f13be","datavalue":{"value":{"entity-type":"item","numeric-id":3919121,"id":"Q3919121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5863327$6B3CFE55-2EF0-43E9-BD8E-0CF5A5E2C32F","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":"Q5863327$DE93F4DF-7EE3-4C8E-B70D-5495A8711184","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0370041587da68223fcd82f96230bab999e79aaa","datavalue":{"value":{"entity-type":"item","numeric-id":507537,"id":"Q507537"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5863327$2503F9DE-7147-4204-99F9-38C663FDCCE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d50041fd827b9a880db5475227f379529c471731","datavalue":{"value":{"entity-type":"item","numeric-id":790612,"id":"Q790612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5863327$C89CE51F-3C8D-4A5F-8D1D-7B355EA441C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"44bc767850337e21a183ed9e8b9103abf049f928","datavalue":{"value":{"entity-type":"item","numeric-id":3206351,"id":"Q3206351"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5863327$55747922-5A5B-43CB-A2C9-928E70002E1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d606ca29a316c6d13ac236e9ee6da4bfadd6eb91","datavalue":{"value":{"entity-type":"item","numeric-id":1604210,"id":"Q1604210"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5863327$FCE60B5A-502F-4859-89D5-421A90B3AE73","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c36d85481c0d48fcb07e1e0ee54df2e3e6474ebf","datavalue":{"value":"W2901129014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5863327$8E26B6F9-F235-4278-8924-4AF4FD7C7727","rank":"normal"}],"P1643":[{"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":"9f97104ec958298ce1423c76382bbeb6e09dc49b","datavalue":{"value":{"amount":"+0.8761361837387085","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":"Q5863327$71302B9C-64BF-4A9C-829A-E972B01FF433","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a42da7883b3377f4076af095ae766c3f50a48211","datavalue":{"value":{"entity-type":"item","numeric-id":693287,"id":"Q693287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"631dec4f87dc36eff324d85c10df8c619b39af84","datavalue":{"value":{"amount":"+0.8467760682106018","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":"Q5863327$07887B82-B7EA-4BD5-9348-C157490E5CE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8c3252dcef05d12f04e9bdb7b8046416e0e2853d","datavalue":{"value":{"entity-type":"item","numeric-id":1195858,"id":"Q1195858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ad9e3ec7f5611f85976b0172203af0aaf8473d17","datavalue":{"value":{"amount":"+0.8196513056755066","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":"Q5863327$695E48CD-B957-4C2D-8469-740ADBF253F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"40bfaf1843618142b5d0d6ad264e4d15b51ce842","datavalue":{"value":{"entity-type":"item","numeric-id":2404615,"id":"Q2404615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7b55bd32d8f236261adf711764b70fc6f6be13b5","datavalue":{"value":{"amount":"+0.8052526712417603","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":"Q5863327$4898EF1A-19C0-4835-93EF-08209544C395","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2990827dbcd8d1aa07ee49a7cbd846c1dfe5c9fc","datavalue":{"value":{"entity-type":"item","numeric-id":1277344,"id":"Q1277344"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a2f770a968e1a564fb73f8b089aef054387e8fc8","datavalue":{"value":{"amount":"+0.7981531023979187","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":"Q5863327$237241CF-B120-4993-81F1-303773BE2F33","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Approximating minimum representations of key Horn functions","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Approximating_minimum_representations_of_key_Horn_functions"}}}}}