{"entities":{"Q1946213":{"pageid":1956955,"ns":120,"title":"Item:Q1946213","lastrevid":57614031,"modified":"2026-03-31T15:15:20Z","type":"item","id":"Q1946213","labels":{"en":{"language":"en","value":"Ordered direct implicational basis of a finite closure system"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6155459"}},"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":"Q1946213$36BD167F-235A-4C9E-9E70-E155CF583249","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1515e7797f8aa0559b8c177d75166fd115f8cd53","datavalue":{"value":{"text":"Ordered direct implicational basis of a finite closure system","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1946213$6C8143BA-2F35-4F5A-ABCB-2BFA6074ADCB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b8d243cc7e133452864e21f68c695791dd0319dc","datavalue":{"value":"1288.06007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1946213$45D21B32-B31D-407E-922F-16EFC2679F58","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cc45e6b9322bed7360e4aac2a42f8c73614b44f3","datavalue":{"value":{"entity-type":"item","numeric-id":1787138,"id":"Q1787138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1946213$8E28E49F-10DB-4422-B8BD-B0C474441A04","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"087f55844cc920aae060b09644168bf17b022e1a","datavalue":{"value":{"entity-type":"item","numeric-id":96294,"id":"Q96294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1946213$5CC9A0B1-D285-4152-8C8C-65FD33BA659A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bc7e66db6101b78e3ea7c15b1ab0503a867fd99a","datavalue":{"value":{"time":"+2013-04-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1946213$74133D06-1E20-4FBA-B946-D104B40A8E9E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9844380376d94359eb2e0371607b42953b26c6f2","datavalue":{"value":"https://arxiv.org/abs/1110.5805","type":"string"},"datatype":"url"},"type":"statement","id":"Q1946213$74EB3189-BB83-4DFF-9F75-C98E77C590B4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"463f7d257a671a9510e684a0db949c2f8eb9d983","datavalue":{"value":"06B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1946213$8AF64C3B-BE7B-4B3B-94B5-E404237FEC96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"419d6f2b09c39920e34f63114ff159a2f0a01812","datavalue":{"value":"03B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1946213$96717AE8-ECBA-4B75-88AD-06E1A031761E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"09f3eb9b2932c3fdc120e877804d57f4cb2d94e9","datavalue":{"value":"06E30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1946213$337AB01A-B9D5-4434-8B5F-80FA96A57A76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1946213$4AA6AAEC-E28E-490F-B261-D25030EC22DB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0ddb0b793095f1a5bacbfcb0eb7337bc8431cf67","datavalue":{"value":"6155459","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1946213$97DDCE68-8848-48ED-AFC3-185F4F8A3E77","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e380a2a6740bc99767f3f0b2622e9050c075ebb2","datavalue":{"value":"closure operator","type":"string"},"datatype":"string"},"type":"statement","id":"Q1946213$8FF16EAA-B440-415A-B99E-486D09B7136F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"43d0c4b318bbb6428415a06335727d44115f7b99","datavalue":{"value":"system of implications","type":"string"},"datatype":"string"},"type":"statement","id":"Q1946213$FE98FD9C-9549-46AC-9680-DDD386BB095F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f4ca67561cfefb4ffbbcc4fe4aaee8049179d9d4","datavalue":{"value":"lattice of closed sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q1946213$68A127D8-8A4D-4F83-9BB2-E2A20E13C7FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"61380439d4976206c8d8bfd964c1dad40a9de599","datavalue":{"value":"Horn formula","type":"string"},"datatype":"string"},"type":"statement","id":"Q1946213$E338F920-0A41-4C6A-A12B-A5A3CB60CE0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ad02dcba13fa9e27d72ffa9b0797fde11a0c345e","datavalue":{"value":"Horn Boolean function","type":"string"},"datatype":"string"},"type":"statement","id":"Q1946213$D1320629-C136-483D-8775-00E7B57C1C64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b4483046a3e548ec7ee03403f325d0ac07748fd","datavalue":{"value":"forward chaining","type":"string"},"datatype":"string"},"type":"statement","id":"Q1946213$C2B8B909-BBDB-4AF8-B6A5-9FA96E111832","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ba2113c94d2eb58359f54cd19f1dd4a652bf9e10","datavalue":{"value":"linclosure","type":"string"},"datatype":"string"},"type":"statement","id":"Q1946213$008E49C5-AC9C-4C03-98F2-6F077A1E1E67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2df05408f3490207913d06d8f1dd1294a4b3bfef","datavalue":{"value":"direct basis","type":"string"},"datatype":"string"},"type":"statement","id":"Q1946213$2B387DC2-0AB0-4085-83B0-2A7269EC177D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a3a546dc044e7328a5dfd7df8308338a8652e5c2","datavalue":{"value":"canonical basis","type":"string"},"datatype":"string"},"type":"statement","id":"Q1946213$AD280D17-05E9-4E41-9813-8B468852ABA4","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":"Q1946213$E9B5DF4D-F5CA-4DC8-92FF-E2E649EEDC10","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7f242654847104a6c346cde067034aac464481ea","datavalue":{"value":"W2018498959","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1946213$F1C98716-AAE8-4AA5-AF08-694E67CF358F","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"5096e640570b559918f81585c19668564d501a36","datavalue":{"value":"Q113643194","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1946213$9E0B34BE-AD5F-4A10-963E-1FBA46DDA01B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5ce4feaaeb8083fb8f715e13b0b523ff2eb57def","datavalue":{"value":"10.1016/J.DAM.2012.08.031","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1946213$DE267D3B-14BA-4DAA-BB6A-040603DBF82E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"54a1a7d7c62bf31fb954a65dc7e3f13364cf8298","datavalue":{"value":{"entity-type":"item","numeric-id":2282305,"id":"Q2282305"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"17798176a73e9260c501465d32dcc3102b5b5a08","datavalue":{"value":{"amount":"+0.816109836101532","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":"Q1946213$8CCBB42E-CFD2-4542-AFCF-D4FF09612EB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e8384eb42aa77025d42b113b9a7e3c62d6278442","datavalue":{"value":{"entity-type":"item","numeric-id":741717,"id":"Q741717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5fba84752b444859852283c251df8f1a48cd9a2a","datavalue":{"value":{"amount":"+0.8013384342193604","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":"Q1946213$1EA0204D-6509-4DC7-B4FD-913D8CE3E45D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1d7d2f790c6cf1f032e3b6c45da4623db06ff33f","datavalue":{"value":{"entity-type":"item","numeric-id":3627735,"id":"Q3627735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f21e0f4ec5aff7adc1555839471e6db2a1b6c498","datavalue":{"value":{"amount":"+0.7868054509162903","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":"Q1946213$DCDD9F4D-AEFD-4716-B547-2AFE79AD3F87","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":"6d13bd9a2b6dca07c10dc5f5559344afb26c51da","datavalue":{"value":{"amount":"+0.7846449017524719","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":"Q1946213$CC449040-9949-44AC-A36A-837F628FCC39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"020ead1877bada4c4af55202c7117e10c12b0c66","datavalue":{"value":{"entity-type":"item","numeric-id":974107,"id":"Q974107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b714ce4ac743ca37125042b9cde339b412e00982","datavalue":{"value":{"amount":"+0.782411515712738","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":"Q1946213$BB7BFD44-E492-4646-80CE-5088A93C8402","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1946213","badges":[]}}}}}