{"entities":{"Q5958139":{"pageid":8134941,"ns":120,"title":"Item:Q5958139","lastrevid":93566366,"modified":"2026-06-05T04:37:11Z","type":"item","id":"Q5958139","labels":{"en":{"language":"en","value":"Tree-shellability of Boolean functions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1715105"}},"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":"Q5958139$5B63E5D1-8AAA-4E0D-8DBF-E149EC9CD541","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e524271f5cc29499114fdf141c8382fcdab21ac7","datavalue":{"value":{"text":"Tree-shellability of Boolean functions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5958139$A97483D6-8CFB-4ADF-BE27-46277E073F83","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"263d04450498d33e3af606fcb88f55419349f2a7","datavalue":{"value":"0985.06008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5958139$4DE92620-39DC-4912-9699-8BE49904BBB0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c793a542fe74160c403f2a788147c209789dba55","datavalue":{"value":"10.1016/S0304-3975(00)00369-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5958139$3894CD23-FCD3-43C8-B166-CF06B70E343A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a7a8afc78a9928844601df88636efbfba2ad3295","datavalue":{"value":{"entity-type":"item","numeric-id":845712,"id":"Q845712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958139$A17C2F00-F768-4419-92C7-9E5A34B7A4F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4da0e7ee76c9c3165e0e82c6be0d6e86ce08bf64","datavalue":{"value":{"entity-type":"item","numeric-id":235243,"id":"Q235243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958139$51DA078E-18B4-4A59-8490-6172A6C330E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9e3df8f5dea429132d015a7ccd360676e3aa3b3d","datavalue":{"value":{"entity-type":"item","numeric-id":673236,"id":"Q673236"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958139$0D8425F6-FB50-4AE4-B615-4CDD3EAE0A0A","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":"Q5958139$6EA9A9CF-1C95-467A-B741-A7CEE06AA868","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"de0bbc1f0efc0eda52d8a37720ec217ae66c93cd","datavalue":{"value":{"time":"+2002-03-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5958139$2A004D01-8BB1-4C6D-B0DF-FBD3163B5A14","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"09f3eb9b2932c3fdc120e877804d57f4cb2d94e9","datavalue":{"value":"06E30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5958139$36764F58-4009-4AAD-BED3-FD0D600B6925","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1e903e68a16880f66ed79a0863889f1b2d3c837c","datavalue":{"value":"94C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5958139$1B8D6EBC-CD5A-4360-A74A-023B3C656131","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"77a2be69b8501d43f1903b4b3c039fb03f37c806","datavalue":{"value":"1715105","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5958139$AA374AB9-F2FA-4C9B-9FD1-94CD0C9B8F68","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cd2b47bef4e2ac9f491e85a467fb9a860d6f9c98","datavalue":{"value":"shellability","type":"string"},"datatype":"string"},"type":"statement","id":"Q5958139$1588FEFB-E065-488C-A478-E4AEC7F08B7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a64d60bbedb028e6cddf82bc5f6aa79a694c629a","datavalue":{"value":"dualization","type":"string"},"datatype":"string"},"type":"statement","id":"Q5958139$0DDAFBB5-F410-4F4F-80FF-460A3F750A39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3036733dd0c7c9cb71fb6a10ff9aa9519c953975","datavalue":{"value":"binary decision tree","type":"string"},"datatype":"string"},"type":"statement","id":"Q5958139$9E82E54F-6970-4143-AE37-D9772C5A5AF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"daa5a720b9303b661dc79e2ba472f49f3f1baadc","datavalue":{"value":"prime implicant","type":"string"},"datatype":"string"},"type":"statement","id":"Q5958139$DE4CE619-A17E-4004-B79C-A5CBF1137A2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0062bff246f10874c360cb4d691bf5c2195f236c","datavalue":{"value":"Boolean function","type":"string"},"datatype":"string"},"type":"statement","id":"Q5958139$EE02E846-E177-4A2E-8900-52801600671D","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":"Q5958139$CF439FEF-0982-44F9-A256-D45D11DA660A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a6b5472f277e92281639750a2de8914a529899e0","datavalue":{"value":{"entity-type":"item","numeric-id":4194709,"id":"Q4194709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958139$1F3FF084-2D2D-4A75-8DEB-7A513E7013F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b17b62e78b4bd9dd5d87934f7686e4fe11426123","datavalue":{"value":{"entity-type":"item","numeric-id":3818100,"id":"Q3818100"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958139$4236D808-1DC8-40D1-8ED3-DB4B9D813F11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a8880c6bd8ba01afada80e9bddea8f294cdec428","datavalue":{"value":{"entity-type":"item","numeric-id":5752613,"id":"Q5752613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958139$B0B9D421-08B1-478F-8120-6918F17C8F72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d546340ddfe5fda8eb7b2c0d584ebd8a3b4ab960","datavalue":{"value":{"entity-type":"item","numeric-id":2508337,"id":"Q2508337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958139$80B287F1-F74A-461D-A674-AFEC4C6BE80B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99b741d5594d753675a751333be331b1f944b889","datavalue":{"value":{"entity-type":"item","numeric-id":4490781,"id":"Q4490781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958139$7B8C436C-6CBE-4741-BB3A-3189AC9E0A35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"907d4c2162f5a596d4cd94b3ebada3731c741642","datavalue":{"value":{"entity-type":"item","numeric-id":4337435,"id":"Q4337435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958139$3EFBD941-EB17-4B47-95B5-7665321B2326","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"54960a44692d6a2e973635c4f5948206d9d9c804","datavalue":{"value":{"entity-type":"item","numeric-id":5664495,"id":"Q5664495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958139$B1E532E8-151C-42B7-8B60-93E5AEE16948","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d480e9df94b7466b2d1a2ed0fa6cca9dbe2d90ab","datavalue":{"value":{"entity-type":"item","numeric-id":1084376,"id":"Q1084376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958139$B51FF64B-E046-4414-AA5F-80A7E95D55C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb0c99e7192a246715f9b3d71a6a972501a71e63","datavalue":{"value":{"entity-type":"item","numeric-id":1845386,"id":"Q1845386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958139$7C723F2D-D351-4359-A472-F2406AAB8447","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f2baff2b3fcd933b421c46ded9fa320ffaaebb6","datavalue":{"value":{"entity-type":"item","numeric-id":4862797,"id":"Q4862797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958139$F6EA1F49-57E6-48CF-9333-AC36865CAED8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b733d3c598f4f60dac05c662888fe6ef36a0cf8","datavalue":{"value":{"entity-type":"item","numeric-id":3837390,"id":"Q3837390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958139$B3CA080C-898F-47C5-8C4A-1033DF2F0588","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"38f139a323512caf5e338044edea6ca99518e769","datavalue":{"value":{"entity-type":"item","numeric-id":4376178,"id":"Q4376178"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958139$B8BE66F7-8762-4FC1-B0D7-9A69E83913E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d6b53860e99ce6968cd8d98dd7f7f3f11538c56","datavalue":{"value":{"entity-type":"item","numeric-id":1089348,"id":"Q1089348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958139$E76A6053-B3DC-4362-B7C0-1C62329A2226","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f05beea0b57926f2aa4fd272d27c6a4391fea4dd","datavalue":{"value":{"entity-type":"item","numeric-id":3822179,"id":"Q3822179"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958139$F8ECDC09-1219-4448-A9B0-FFA99033D7CA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"87ce4a9cb39db4a6263ead3210cc87fa2510ba7f","datavalue":{"value":{"entity-type":"item","numeric-id":4703652,"id":"Q4703652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"68d1cd28af51d2ef242bdc9b2062c194e0121933","datavalue":{"value":{"amount":"+0.9508110880851746","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":"Q5958139$FE08BECE-2A5C-433D-9011-A896635C4864","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d9f0929a16ed2b92849720915d5b3bc73f0fe268","datavalue":{"value":{"entity-type":"item","numeric-id":4490781,"id":"Q4490781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4525c2d75568632084368612288f82301a5b43fb","datavalue":{"value":{"amount":"+0.7788197994232178","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":"Q5958139$378BD24D-72B6-4FB2-958F-62E0642337F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2cbe2e305ab512a703a68da482a18ea104319f78","datavalue":{"value":{"entity-type":"item","numeric-id":2514128,"id":"Q2514128"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"373ba70bf13109ca388607abcee3c23a6a23547c","datavalue":{"value":{"amount":"+0.7356051802635193","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":"Q5958139$7012443B-9399-4F89-A4D7-6DB28856D899","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6bb00f339c2845107f9084d92c83792144fe8310","datavalue":{"value":{"entity-type":"item","numeric-id":3077976,"id":"Q3077976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9da0b95cfedc02a24edd534c4a0a8fc56794990f","datavalue":{"value":{"amount":"+0.7317763566970825","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":"Q5958139$D48ABEC9-BCAB-4AC3-9D87-B9950D7436C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8b9e56eaea993a889125715e182b1960e988e8f2","datavalue":{"value":{"entity-type":"item","numeric-id":5485333,"id":"Q5485333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e45d42e38cdd858ee41c0fb388bf735d9be8b0e0","datavalue":{"value":{"amount":"+0.7170161604881287","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":"Q5958139$4F2FBD7D-D754-41F8-B0B8-0676EEFF2970","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Tree-shellability of Boolean functions","badges":[]}}}}}