{"entities":{"Q507522":{"pageid":509289,"ns":120,"title":"Item:Q507522","lastrevid":62399373,"modified":"2026-04-11T05:49:24Z","type":"item","id":"Q507522","labels":{"en":{"language":"en","value":"Succinctness and tractability of closure operator representations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6680937"}},"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":"Q507522$A1FDD0D0-AD5E-41F6-BA9A-292B11932168","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"88d7b093c06d7114d721105e4bed68f52963a386","datavalue":{"value":{"text":"Succinctness and tractability of closure operator representations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q507522$CB329BED-FD13-400A-A2D1-819BE7D029F3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a5458d0573dd29444de998572371d18f236b8bb7","datavalue":{"value":"1418.06001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q507522$C6CE5BB7-1C23-423E-94C0-2A3C56E08601","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cc7d042de70826f8d8f173da27538961fba30026","datavalue":{"value":{"entity-type":"item","numeric-id":507521,"id":"Q507521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507522$6CDF599F-077C-454A-8D58-5353247A4640","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":"Q507522$4AF0FE0F-EC08-4114-B569-D23D6F557D1C","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":"Q507522$C6B26D6F-3381-4109-ACD9-F49EE962107A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"798cc93af1af672fcddaa0ab93cef1e0a30d7b36","datavalue":{"value":"06A15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q507522$DB4A2A18-AF3C-4071-9662-42F2BF44C97A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0c6e71133293256880be082f6af9aa793c57d433","datavalue":{"value":"68T30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q507522$D765BE2F-284D-4BFA-9012-51600DDF2447","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cca8680c48332c6b0a94e388956e53e3d8e09b28","datavalue":{"value":"6680937","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q507522$3744EB44-56A2-46CC-B13E-FDAC1A5EA3E5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b0bdacfc00f070fa477355a17c5232246f664f3d","datavalue":{"value":"closure operators","type":"string"},"datatype":"string"},"type":"statement","id":"Q507522$DC4A455F-3F37-49CD-9F03-9B662877C9D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aab50b3e7dfa12c062c049bc9b3b8968916b7828","datavalue":{"value":"formal contexts","type":"string"},"datatype":"string"},"type":"statement","id":"Q507522$DF7D7AF5-7674-4943-B5C6-5236F92D0000","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"05d8657c111a605826e6c3c69ff90be01315489b","datavalue":{"value":"implications","type":"string"},"datatype":"string"},"type":"statement","id":"Q507522$2DC4330D-16DF-4B79-B319-FF332552ECC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"88ffd2ca9452a95455f19f35bfb3f100bed2aeb1","datavalue":{"value":"tractability","type":"string"},"datatype":"string"},"type":"statement","id":"Q507522$A19AD5A5-AD19-4C31-9B0B-60324BB2E08F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c640934be6aa44a45ab05e2591104a77cd814802","datavalue":{"value":"succinctness","type":"string"},"datatype":"string"},"type":"statement","id":"Q507522$248B196E-FEF1-4DF0-984F-5A57AA939448","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4640f7d21b781549b81e9a8ce0ff834130ca9bea","datavalue":{"value":"computational properties","type":"string"},"datatype":"string"},"type":"statement","id":"Q507522$D062BEEC-2E17-4F16-A2CA-5749D60A9516","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":"Q507522$ACF6211B-D385-4B93-B5BE-EBC5A945A5DC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"42a2a445f6f7f62de731160d3eeaf23952452f99","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2015.12.028","type":"string"},"datatype":"url"},"type":"statement","id":"Q507522$F169AE98-3C3A-4928-A250-2E7033038831","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"33744a9ff47b4014210cd823df96b81df461ba65","datavalue":{"value":"W2219393927","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q507522$2D45962D-4375-4CB9-8F10-D00A1331F2EE","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"422a50e907599f0dd0aaf8991a6921f047130e60","datavalue":{"value":"Q54824445","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q507522$3D10D75C-926F-4531-A05D-38B7F2E8BC5A","rank":"normal"}],"P223":[{"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":"Q507522$B168D8DA-6494-4674-8976-9D28EF769508","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":"Q507522$91642637-2F82-40C9-BD13-86B549995368","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86663d1dcd9ddc5fcfc24e7a3ad8ed619cc75578","datavalue":{"value":{"entity-type":"item","numeric-id":2638763,"id":"Q2638763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507522$A6A065A1-F7B8-47E0-9F94-754E3E099935","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":"Q507522$04570A92-43EF-44C7-BED0-DA850EB3A8D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b02893a0061a331442bb53e799442f7c51a0e05d","datavalue":{"value":{"entity-type":"item","numeric-id":3552281,"id":"Q3552281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507522$A765EDC7-B85D-4F93-9300-CE607F2BCD81","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":"Q507522$B3A44A21-B0B3-4390-9158-428982B3AB0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad534762ad5791d74c780af9ebbe18482bc431f9","datavalue":{"value":{"entity-type":"item","numeric-id":3552284,"id":"Q3552284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507522$F4F88003-162E-4144-B7E4-B20289357655","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":"Q507522$76021CEA-A793-4897-873A-CAD7CBF88890","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f428ac10435969dc4db64dc649e079dac2a9dc8","datavalue":{"value":{"entity-type":"item","numeric-id":3349969,"id":"Q3349969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507522$CD932A59-D8A1-473B-B031-0029DF591327","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":"Q507522$D8EE3960-5F24-4C9E-A4E2-86859CB68C82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"00da6fea688b47df513f73ef730d530c28eba5c5","datavalue":{"value":{"entity-type":"item","numeric-id":1781981,"id":"Q1781981"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507522$EC789423-D8C9-48FF-ADC4-D929E0217870","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"699af5edc5bc71e240432e9771ca636547e4f77c","datavalue":{"value":{"entity-type":"item","numeric-id":1377730,"id":"Q1377730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507522$921DA5D6-AC63-4EED-B321-C3576CC9CEF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"501aefe4754342fb8d5444baacca037714207964","datavalue":{"value":{"entity-type":"item","numeric-id":4999425,"id":"Q4999425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507522$38F0B246-556B-4EEC-808F-EDEB6B3AD2FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c7395d2c7a0c989acd12ac78bc90410a1a095e1","datavalue":{"value":{"entity-type":"item","numeric-id":5429564,"id":"Q5429564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507522$8B90B42B-9941-4CC1-90F8-0BA482D05CC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b44082a83dc1616e017d4bf822b9a9be0fc73a90","datavalue":{"value":{"entity-type":"item","numeric-id":5898505,"id":"Q5898505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507522$07F9BDD5-038E-4C7E-8B3A-6AEA92A85145","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":"Q507522$33724916-6888-4F1A-8F85-F8CF0D34CFD0","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":"Q507522$B1F3A1C5-F521-4855-BD5A-F65F6656EABB","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":"Q507522$C7BF9242-234A-4476-9F84-54111E9E10F7","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":"Q507522$4D3A407D-0BA5-41A0-9155-039AC08F4EF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a15b2a2283434fa49d8b91fe8e50cb7a13f457d5","datavalue":{"value":{"entity-type":"item","numeric-id":5844609,"id":"Q5844609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507522$99E202B2-B896-45B7-B613-B339F27073B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a1f43d49876d339aa88763c69584e366b77d13fe","datavalue":{"value":{"entity-type":"item","numeric-id":3590984,"id":"Q3590984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507522$1462E68D-9BB2-4C54-8653-02C4C29BB967","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"93556b0f6b16a5d32f23917b8261aea9730b98ae","datavalue":{"value":{"entity-type":"item","numeric-id":2907475,"id":"Q2907475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507522$CE102FF4-250C-45BF-9174-DAD49870FA1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"18f7f211448309866478d9581c17f19bf919fc76","datavalue":{"value":{"entity-type":"item","numeric-id":4981121,"id":"Q4981121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507522$6D64A9C5-413F-4ED2-BDDD-8AC2F5CEA252","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"280e1addf698edc28e177cb2f084874eb3aee2c2","datavalue":{"value":{"entity-type":"item","numeric-id":3630240,"id":"Q3630240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507522$8255A9F3-EFDB-4CB2-9E00-EDE27E2254B6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b106e1aeba87e01038bb316cdef407a58965542b","datavalue":{"value":"10.1016/J.TCS.2015.12.028","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q507522$63C2A247-2CAF-4E94-B41B-757992A7B366","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"367ae390c8f0943c4b05e510e096081c18f3d70c","datavalue":{"value":{"entity-type":"item","numeric-id":4981121,"id":"Q4981121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"83bf1ef782a918254711a9cf15b693ed6b6a36b7","datavalue":{"value":{"amount":"+0.9803946018218994","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":"Q507522$3AB4683A-F8A5-48EA-9624-020D6A078413","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7e717787ee672e155d8f79bda2ee9535ff39c40e","datavalue":{"value":{"entity-type":"item","numeric-id":2907475,"id":"Q2907475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"45e2f4e91f2c14a0d57f8e3f4e0b4cba62fe7625","datavalue":{"value":{"amount":"+0.8888634443283081","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":"Q507522$890A33CF-934F-4FD3-B7F3-D0FAFC30ED1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2f1e81f30833169b1cc62130389562e60b119926","datavalue":{"value":{"entity-type":"item","numeric-id":2974304,"id":"Q2974304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ee67471734b8805b8359050e1b1fa7f700297a42","datavalue":{"value":{"amount":"+0.783851683139801","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":"Q507522$4845FB0F-915D-4744-ABCA-3FFFE505CEAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6426149def64f197a90e55d3a9590501015f4705","datavalue":{"value":{"entity-type":"item","numeric-id":4667609,"id":"Q4667609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"72b8995e5d14cd522b5c0053e48605f3834d34aa","datavalue":{"value":{"amount":"+0.7698761224746704","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":"Q507522$67324CE8-87F4-4AE9-AF97-6D1ED535062D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"550cb2ebd0373ec528f0222f2ecb5f23354b7cfc","datavalue":{"value":{"entity-type":"item","numeric-id":1874537,"id":"Q1874537"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"14f47744c184157217621ecd959c432eae1fcf80","datavalue":{"value":{"amount":"+0.7620899081230164","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":"Q507522$BE483612-FB7F-4FD9-B7BB-B0A721163064","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Succinctness and tractability of closure operator representations","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Succinctness_and_tractability_of_closure_operator_representations"}}}}}