{"entities":{"Q5878634":{"pageid":7908185,"ns":120,"title":"Item:Q5878634","lastrevid":55436227,"modified":"2026-02-17T16:20:24Z","type":"item","id":"Q5878634","labels":{"en":{"language":"en","value":"Representations of normalized formulas"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7656037"}},"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":"Q5878634$5615ECF4-0BEC-42F0-B8C0-D95B4E03095F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"edf4c5a4f36f9edadf55280f21e46357c02942fc","datavalue":{"value":{"entity-type":"item","numeric-id":891060,"id":"Q891060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5878634$F411CF76-489C-466F-887E-297700B58B95","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8d04dd3e40725c0d6a55744dfb3e1d2c883d5cb4","datavalue":{"value":{"time":"+2023-02-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5878634$D019C298-0752-4514-9073-054CB37A5622","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"792eaf2256d3f0d3ef79546d16d7863563f601ef","datavalue":{"value":"http://mathnet.ru/eng/da1310","type":"string"},"datatype":"url"},"type":"statement","id":"Q5878634$1876ABBF-A42E-4F24-8BE5-F4EF885AD7F8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"419d6f2b09c39920e34f63114ff159a2f0a01812","datavalue":{"value":"03B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5878634$20A9B278-FC7A-4438-AC3F-1A4BC7453554","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e2832a477034fbfc60f03b14c0cd36151ec1f380","datavalue":{"value":"7656037","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5878634$266969C1-7A90-4931-98F9-A9C965C8B822","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0062bff246f10874c360cb4d691bf5c2195f236c","datavalue":{"value":"Boolean function","type":"string"},"datatype":"string"},"type":"statement","id":"Q5878634$3072B555-E9EC-4FE7-8967-51FA77C06F6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fc36891174f8d005226fb6e4961913600be2fa38","datavalue":{"value":"normalized formula","type":"string"},"datatype":"string"},"type":"statement","id":"Q5878634$E891E710-149C-4BC8-9287-F553E9F265FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d6643fcd3cd0dfb587e1de6924ac76c98aae6692","datavalue":{"value":"minimal formula","type":"string"},"datatype":"string"},"type":"statement","id":"Q5878634$D63C0635-3227-4D00-9333-2F2A37D30654","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"921b1f3a1f0a515982de13e0c51819e21cc3f61e","datavalue":{"value":"representation of formula","type":"string"},"datatype":"string"},"type":"statement","id":"Q5878634$CD9ABF39-3F15-4D8F-AB65-2E7441F11BDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e4275774f088ba3d7d1aa87ae4cac0314649cf7e","datavalue":{"value":"\\( \\Pi \\)-scheme","type":"string"},"datatype":"string"},"type":"statement","id":"Q5878634$AAEABC2D-6FB7-4B01-AED8-58769E39DF34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7cf7b61c9a7d848317619ff4f1a328aea483d53b","datavalue":{"value":"\\( \\Pi \\)-partition","type":"string"},"datatype":"string"},"type":"statement","id":"Q5878634$1ABC1321-D081-4021-8D25-C0BF683CC0C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"137d2ddd9d4a4bb81119e8a2e4c4dad4e052319d","datavalue":{"value":"lower bound for complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q5878634$4BC31732-AD0C-4313-BD30-D61BE3F6DC1A","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":"Q5878634$5C97E1F9-E21C-4A9A-BC11-764DD8DE7E58","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a20e0a9e4155b899677d724a7858d21bacba90f","datavalue":{"value":{"entity-type":"item","numeric-id":2547883,"id":"Q2547883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5878634$39478269-0569-49F8-B048-9450C051CFD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"abbf3c25359f4450b134eb47a3b1a4e9ce6d67ef","datavalue":{"value":{"entity-type":"item","numeric-id":5827965,"id":"Q5827965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5878634$96310132-59AB-48C0-80D0-4D4F85BBFC46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21c0990e6be6f469a0a6836973ac77a482ff0d01","datavalue":{"value":{"entity-type":"item","numeric-id":4869817,"id":"Q4869817"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5878634$6B56EF57-1E03-4DE4-97D8-60EC96A31CA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d4bbd2a5afbbb2035c9f8214ff1d5f70fbf49a70","datavalue":{"value":{"entity-type":"item","numeric-id":891988,"id":"Q891988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5878634$C74CF893-4B6C-47CB-B18A-44BBF715228D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ed6254fd941e50d954616144aecfeeeb152f2aa","datavalue":{"value":{"entity-type":"item","numeric-id":4558295,"id":"Q4558295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5878634$13EDBE90-674B-4FEB-90C5-0F8640E24CEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"06428a04b0ba37fbb79f0829e73a705239cdeb68","datavalue":{"value":{"entity-type":"item","numeric-id":3186844,"id":"Q3186844"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5878634$148E1D4F-6EEA-4921-885F-D43A48179D74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"49fc2c595044ac947023829ab4b0d3b30d66fd03","datavalue":{"value":{"entity-type":"item","numeric-id":2550627,"id":"Q2550627"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5878634$DD8A202E-A52F-432D-8BA7-B8A7A7D37525","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e0867e5b8e568040593883afe89ddea2141d6360","datavalue":{"value":{"entity-type":"item","numeric-id":3281059,"id":"Q3281059"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5878634$CE842F66-05CB-48C9-84E1-F7B23F2A1B31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"58f5b23d390891a1d97bd2cd058e1464ac53a0cd","datavalue":{"value":{"entity-type":"item","numeric-id":5396905,"id":"Q5396905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5878634$8D1177C7-E347-4B53-BBC8-5E1A3DD12E29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4307afcfbc582ce25d30e3fa166bed2fb8a9feca","datavalue":{"value":{"entity-type":"item","numeric-id":5263770,"id":"Q5263770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5878634$AEF84CFB-AD03-497A-8471-DFC96C6288D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8a589b103d703e665b055d2ec5df1613f461a30","datavalue":{"value":{"entity-type":"item","numeric-id":2037681,"id":"Q2037681"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5878634$E639F877-C18A-431F-AC3B-FE40247A4755","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8596724c5d932dc6446277102cbe7c7e6388feea","datavalue":{"value":{"entity-type":"item","numeric-id":2638784,"id":"Q2638784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5878634$E137EDF4-2D47-449C-9B9A-E55FB1EFA1F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ad1714db201637d748b47ebbaf99f9008bc5160","datavalue":{"value":{"entity-type":"item","numeric-id":3472058,"id":"Q3472058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5878634$D693DB31-04FD-49B1-A0FD-5C6216707E12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0b13b685ebea75fca73a69c0d8054a0ad9bcc269","datavalue":{"value":{"entity-type":"item","numeric-id":4388862,"id":"Q4388862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5878634$53F217AE-8867-4467-A8EE-0F219DEE2F16","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fe4d7dbc1f6e83c56ed557c659610a2bf3e38665","datavalue":{"value":"10.33048/DAIO.2022.29.751","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5878634$9BFB1E89-B6EF-46D0-AB2B-7C417A6A7590","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e9b4104ee1a32796b211c0ebf7f4af60fd31678d","datavalue":{"value":{"entity-type":"item","numeric-id":3364202,"id":"Q3364202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3bd94946f24d74f046b1e744384a014582497c48","datavalue":{"value":{"amount":"+0.7235227227210999","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":"Q5878634$C74243A8-9429-4CD9-8FF0-F82EB54042E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9dfb3524863d263aeec0c22372a51b4c1d743bff","datavalue":{"value":{"entity-type":"item","numeric-id":3143835,"id":"Q3143835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8efb4ff0f34d4348b941b3872a01a19e7cce985b","datavalue":{"value":{"amount":"+0.7231667637825012","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":"Q5878634$A2604B5A-891F-4802-9773-1D7D153E72AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"91d4ff1b62efe04ea757a5901d5756a3cabdc9c6","datavalue":{"value":{"entity-type":"item","numeric-id":1084377,"id":"Q1084377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1943f7bb01bae5ea8088ea78ffe2d13411624617","datavalue":{"value":{"amount":"+0.7216832041740417","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":"Q5878634$74167140-AC9C-4DB5-9D14-0CEA946679C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"223bc0235494b5d93f1fa7361a6f76465058f12e","datavalue":{"value":{"entity-type":"item","numeric-id":1841879,"id":"Q1841879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0b7696abb75584243d1c0634ef604d1bedcfd7e6","datavalue":{"value":{"amount":"+0.7150988578796387","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":"Q5878634$118A6F8D-0B04-4264-A1DB-702B6FA29FB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"25b21759b4fd7de2bac3c66e558fd5668d4642c0","datavalue":{"value":{"entity-type":"item","numeric-id":4023151,"id":"Q4023151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"400cf240a5a180b82f846c0f15696466c74fe000","datavalue":{"value":{"amount":"+0.7139520645141602","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":"Q5878634$CEE3DD5F-5D3F-4A1C-83B0-E5C728F4E239","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5878634","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5878634"}}}}}