{"entities":{"Q5405065":{"pageid":7434639,"ns":120,"title":"Item:Q5405065","lastrevid":75671512,"modified":"2026-04-20T14:12:30Z","type":"item","id":"Q5405065","labels":{"en":{"language":"en","value":"Equivalence classes of random Boolean trees and application to the Catalan satisfiability problem"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6276031"}},"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":"Q5405065$BFEEC7E1-F759-4FA3-A91F-5B042AE53F77","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f2da8942bf8be94afe4337b26c40d0dd9754192e","datavalue":{"value":{"text":"Equivalence Classes of Random Boolean Trees and Application to the Catalan Satisfiability Problem","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5405065$829153EA-3C18-4A34-BF4C-65B63B8894EE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2a3aee744aa5164e43644c192c06a478c0ec81f0","datavalue":{"value":"1351.68191","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5405065$BB8C7047-8348-481E-9505-80D57C02D019","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3ee5e483b1aa613b854463316fc0bf96ff7ffd5a","datavalue":{"value":"10.1007/978-3-642-54423-1_41","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5405065$45128F30-36F5-4878-A219-C9B50497EBC7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8b35478b4a24e45fa6a3a10e422c54976753b7ee","datavalue":{"value":{"entity-type":"item","numeric-id":408541,"id":"Q408541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5405065$D9ABAF50-5199-4854-A9C1-F6AC4FA3B04B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ee08c57fd326fe12193e6165af27980343043495","datavalue":{"value":{"entity-type":"item","numeric-id":326827,"id":"Q326827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5405065$AC5BC6FB-3801-462A-914B-F41D563BEF83","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"00d9a1e7fb6ba7e10b2e6daf871f6619ce454c63","datavalue":{"value":{"entity-type":"item","numeric-id":5405022,"id":"Q5405022"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5405065$2AA2772A-5E56-47A6-8D01-F4FEAB0E85CE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e689efeed0c46be7915f5b012baebda52ae8ac8e","datavalue":{"value":{"time":"+2014-03-31T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5405065$96878202-BDCA-4A02-B37E-3682855770C4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4a5372688a0d668805df5d9ffd1da58833a0f595","datavalue":{"value":"68R05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5405065$9DEADBA1-7C12-49C9-8DA3-BD6FEB421B1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d5da87a72c21717089feda882f568938059a9d84","datavalue":{"value":"05C05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5405065$A1830F6F-BAD5-459A-9449-545708FB0431","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4dd6b8847e09c706889ad9ef05dc0040f1c9f982","datavalue":{"value":"05C80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5405065$4D9C3F61-391D-419C-9613-83506F067712","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"09f3eb9b2932c3fdc120e877804d57f4cb2d94e9","datavalue":{"value":"06E30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5405065$45820301-F923-4F5A-875E-2ADEFEACE007","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0dd26fa594336927a7a04e8147a405d69e5da239","datavalue":{"value":"68Q87","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5405065$7BEC4A14-4E22-4640-B24D-A51CEBD5654D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e1a473c2b1c9e8555889fb067b3d97f5de0bb424","datavalue":{"value":"6276031","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5405065$D9816724-96C2-4C58-8A57-F7DA89ABCC30","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fa363ec2f1849e7e649e68bfdbe16d9c9e212faf","datavalue":{"value":"random Boolean expressions","type":"string"},"datatype":"string"},"type":"statement","id":"Q5405065$93723C48-AAF3-424B-ADEC-3E52A74E4762","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3ba9b57c8aa017016096d074e724eb0d87e7253b","datavalue":{"value":"Boolean formulas","type":"string"},"datatype":"string"},"type":"statement","id":"Q5405065$94B6215F-D8C3-4C6F-AC8A-E64D121E2B03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0062bff246f10874c360cb4d691bf5c2195f236c","datavalue":{"value":"Boolean function","type":"string"},"datatype":"string"},"type":"statement","id":"Q5405065$95414937-5F73-4E21-9FA9-A887EE7C0429","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"659c448cf8980671ec0f47ff719ca99db683a8dc","datavalue":{"value":"probability distribution","type":"string"},"datatype":"string"},"type":"statement","id":"Q5405065$4807AA33-9082-433D-901F-09EE96AAFDDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"252f9f9ed9fe8ca406cc19fba38a46c0414791ee","datavalue":{"value":"satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q5405065$D3F5488E-72A7-49A5-B90E-E735E32E5573","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c130d4d8ba196b05e16ed90a178ca34dcbfa704f","datavalue":{"value":"analytic combinatorics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5405065$D7E2BD00-2436-424F-B170-51FA9D4A28C2","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":"Q5405065$44F69A9A-DEA4-4E72-A15C-F7F2B5F01009","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c9752cff6ef564bcf40c3fbd0a94f27cbf568c9a","datavalue":{"value":"https://doi.org/10.1007/978-3-642-54423-1_41","type":"string"},"datatype":"url"},"type":"statement","id":"Q5405065$F47158A7-80E5-459F-B6AC-2C903024E672","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"210f118917f1e19b802eced2bd83ea554aa60cef","datavalue":{"value":"W2150973624","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5405065$38DE98D8-3D76-4614-A894-B526B24D8AE1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c1b364f30cc7faf0f557b9a075aa576d4aedbdb4","datavalue":{"value":{"entity-type":"item","numeric-id":727977,"id":"Q727977"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ef4191a46c8705ac2b844414d7eda44d38180801","datavalue":{"value":{"amount":"+0.8856432437896729","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":"Q5405065$91D4F323-C013-4121-BF5A-BBE7985CEE40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c9a60c3b48700a5ec36967ea7056879b475164bf","datavalue":{"value":{"entity-type":"item","numeric-id":4684326,"id":"Q4684326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"59229ebe506696a1be2a9c49eface2a9fb982fb6","datavalue":{"value":{"amount":"+0.8135647177696228","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":"Q5405065$F3381C87-BAB8-4038-945B-117462A88500","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7bf446590c9adbed51cae7627001cb58285c1222","datavalue":{"value":{"entity-type":"item","numeric-id":4670353,"id":"Q4670353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8c7c67251aea5fd385d1ad3cb74d6e25272aecf8","datavalue":{"value":{"amount":"+0.8031610250473022","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":"Q5405065$5BFF071C-3FFC-4939-A999-096FE4ABD71A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"952900f0086a210af288f1be41a15591e8bfab2c","datavalue":{"value":{"entity-type":"item","numeric-id":2789548,"id":"Q2789548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1a41d5542de63b05d64bc9d32122cbdc7e6c32af","datavalue":{"value":{"amount":"+0.7945818901062012","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":"Q5405065$EA0AD0D2-B27E-44F5-B586-BCD4781518FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e9c12b96c4071b6e5257069001df0addd48804aa","datavalue":{"value":{"entity-type":"item","numeric-id":3569015,"id":"Q3569015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f3a6288af4064d244db6127e79d46a9f97590966","datavalue":{"value":{"amount":"+0.7915159463882446","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":"Q5405065$88792C99-893B-4D5E-A8AE-89A8663CDEE6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Equivalence classes of random Boolean trees and application to the Catalan satisfiability problem","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Equivalence_classes_of_random_Boolean_trees_and_application_to_the_Catalan_satisfiability_problem"}}}}}