{"entities":{"Q5960278":{"pageid":8137080,"ns":120,"title":"Item:Q5960278","lastrevid":93571778,"modified":"2026-06-05T04:37:44Z","type":"item","id":"Q5960278","labels":{"en":{"language":"en","value":"On depth and complexity of formulas in some classes of \\(k\\)-valued logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1727681"}},"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":"Q5960278$36FD9898-D948-4DCD-9401-ACCB18F8D253","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6d87a2da84e78d325b06021552ea20c228931a62","datavalue":{"value":{"text":"On depth and complexity of formulas in some classes of \\(k\\)-valued logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5960278$4BD9F3B6-0E01-4FF5-91FD-DFEC01FB1B69","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d9a4739ebbc1002fdf70fe55271a897da2b93371","datavalue":{"value":"0989.94040","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5960278$D19627B9-1D7B-4250-A43F-FF0A7623C384","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"142a0ee3ebff64e74e891a441432a2058394816b","datavalue":{"value":{"entity-type":"item","numeric-id":240089,"id":"Q240089"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5960278$4CAA731B-69A9-4C9A-8FA2-3D52058A3E3F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6c13805eb53dbd00bf0343bc22d19b4be9e16872","datavalue":{"value":{"entity-type":"item","numeric-id":187667,"id":"Q187667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5960278$F89BA89E-10B4-4B44-8D07-8326CDF0FB2D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"db7163a38f1ea5794255907a422cabdd7de9ea0d","datavalue":{"value":{"time":"+2002-04-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5960278$7DB8C08C-1818-4DD9-B846-3C7D2434B6AA","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"0d2dedfe756edcaf756e174a5dd129bee715a347","datavalue":{"value":"Let \\(\\mathcal A\\) be a finite system of functions from \\(P_k\\), \\( k\\geq 2\\). It is known [see \\textit{V.~R.~Pratt}, 16th Ann. Symp. Found. Comput. Sci., Berkeley, Calif. 1975, 119-121 (1975; Zbl 0469.94017)] that every finite system of functions complete in \\(P_2\\) is uniform. For some precomplete classes of the \\(k\\)-valued logic, the author proves an analytical result. For every finite system of functions \\(\\mathcal A\\) generating one of these classes, constants \\(c\\) and \\(d\\) are found such that, for every function \\(f\\) from \\([\\mathcal A]\\), the depth \\(D(f)\\) and the complexity \\(L(f)\\) of the function \\(f\\) in the class of formulas over \\(\\mathcal A\\) are correlated as  \\[  D(f)\\leq c\\log_2 L(f)+d. \\]","type":"string"},"datatype":"string"},"type":"statement","id":"Q5960278$FFD25673-4A7A-44D8-A3C3-B9182E37EAE0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1e903e68a16880f66ed79a0863889f1b2d3c837c","datavalue":{"value":"94C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5960278$B0D0D68E-BD0D-42CF-BD04-A55D0FAC5643","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3dd073d60798baf99184910a38f7529156b2745f","datavalue":{"value":"1727681","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5960278$C45C7C8B-79DA-4273-940C-7744C4391828","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2400b2c974f8829a7b156fe0eb18b650597ff17d","datavalue":{"value":"classes of \\(k\\)-valued logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5960278$81ED243A-79B3-4743-A424-CDF203C13254","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3e4d362a0cdeb4e071677a2e16181d619d702ffb","datavalue":{"value":"depth and complexity of functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q5960278$99EB7C15-1868-469F-97E0-43259EF2A542","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":"Q5960278$40B59FA8-F53C-4BB0-8A39-A12F99B55E54","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8a39e6b52edf371b6b23fedd30192cbea97ac7d1","datavalue":{"value":{"entity-type":"item","numeric-id":3604270,"id":"Q3604270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0c3164ab16e1db0ff661b0250cc91276e36144f7","datavalue":{"value":{"amount":"+0.924546480178833","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":"Q5960278$CB584DFC-8F6A-4C91-B013-1BA7C6BC15E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"038107ff9279dabcc8e6137af85861e8c4d2406f","datavalue":{"value":{"entity-type":"item","numeric-id":1878547,"id":"Q1878547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3f146aab3a3bfa3d095b6f0af2eff34f4f230b83","datavalue":{"value":{"amount":"+0.8805495500564575","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":"Q5960278$B3CCF18B-C089-4BD2-95B5-F957E392097E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6c7632ce9b9b08475ae27b5e676a58c6be898b5f","datavalue":{"value":{"entity-type":"item","numeric-id":263249,"id":"Q263249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"56a578fb77b6675d1d7a943a7d7bbd43a213c1e9","datavalue":{"value":{"amount":"+0.8757947683334351","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":"Q5960278$D2415CB8-1ECD-4223-8971-A810B8BA67D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"32607f5890f261d2d6df8246f37c000d25c9731f","datavalue":{"value":{"entity-type":"item","numeric-id":355325,"id":"Q355325"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d1e7366055d3a878df27f60fd287b91084c63118","datavalue":{"value":{"amount":"+0.8729817271232605","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":"Q5960278$ED94DB8F-63B5-45F2-AA90-BAA5E0EE2FD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"36e741323d543ba5c5c3e2de5c187e2189e87bd4","datavalue":{"value":{"entity-type":"item","numeric-id":3363860,"id":"Q3363860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9f52e3ae253f73efff78a646837111ece3d11b8e","datavalue":{"value":{"amount":"+0.8607766032218933","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":"Q5960278$E36E3CA6-98AC-4768-B2A9-7200C88FF02F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On depth and complexity of formulas in some classes of \\(k\\)-valued logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_depth_and_complexity_of_formulas_in_some_classes_of_%5C(k%5C)-valued_logic"}}}}}