{"entities":{"Q5058143":{"pageid":7087719,"ns":120,"title":"Item:Q5058143","lastrevid":94244558,"modified":"2026-06-05T06:19:45Z","type":"item","id":"Q5058143","labels":{"en":{"language":"en","value":"MINIMIZATION OF REPRESENTATIONS OF THE LOGICAL FUNCTION IN SCHAEFFER AND PIERCE BASES"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7626279"}},"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":"Q5058143$51A535C6-B6E4-4F60-A363-3AF61BB62DA2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"06c1b512622eef70df3c79174bad505ca8a64106","datavalue":{"value":{"text":"MINIMIZATION OF REPRESENTATIONS OF THE LOGICAL FUNCTION IN SCHAEFFER AND PIERCE BASES","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5058143$C7ACD295-35E3-4F92-B360-7C4570122888","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"de333202a56b90a93bcbdc82b92f7fba7763f952","datavalue":{"value":{"entity-type":"item","numeric-id":1889476,"id":"Q1889476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5058143$B7919657-8011-41AF-80B5-7A842CC787E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ef6686ab01d0dce52fe0806bb49d3faf60a699da","datavalue":{"value":{"entity-type":"item","numeric-id":5058142,"id":"Q5058142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5058143$4E0D5914-1015-446F-A802-539BBA932301","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"cb2235b30ceac47872b35b44a6e782fa02bebfe9","datavalue":{"value":{"entity-type":"item","numeric-id":2795751,"id":"Q2795751"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5058143$09F279E1-CCA7-4276-950D-4BE05A975802","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f0a25f233647d1bcbaee47b52fc4ae8005a47e7d","datavalue":{"value":{"time":"+2022-12-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5058143$0DD5C154-57CE-40E6-9AFD-5B3E8798B574","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"531afd84e8a105274ea1bfa59011e0cfda8610fa","datavalue":{"value":"http://mathnet.ru/eng/vyurm533","type":"string"},"datatype":"url"},"type":"statement","id":"Q5058143$A555E964-5E78-4AB5-8971-F31966BAF7B3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7a1d4d343889492e30dd853837039fd3cd08322a","datavalue":{"value":"03-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5058143$1DC6E924-65C0-40DD-8BD5-B47F58197840","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"90b7efb4d2d7cd5ac95ba0a69939a9b7d13c1d33","datavalue":{"value":"7626279","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5058143$3E882DEC-48A1-4E22-A5DC-2BF254271951","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5348f6f8a8f4d2df83d9d298efb7e26292e53fc2","datavalue":{"value":"disjunctive monomial","type":"string"},"datatype":"string"},"type":"statement","id":"Q5058143$A3316571-26F6-41BD-BD46-283A08471417","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ec2db4bc5e5b4be8dd15618f9b156d8c7760c354","datavalue":{"value":"conjunctive monomial","type":"string"},"datatype":"string"},"type":"statement","id":"Q5058143$D447EF90-EF14-43A1-87DA-B95847C2CAEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8e1f32f8c4bd6d7e907bdd99f8aa4d786111f93a","datavalue":{"value":"Schaeffer's basis","type":"string"},"datatype":"string"},"type":"statement","id":"Q5058143$DC52F2CD-E26A-4728-BC4B-BF4CA41D07C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b36ca9c86948c98f9e0df3fc73cc7c958678def6","datavalue":{"value":"Pierce's basis","type":"string"},"datatype":"string"},"type":"statement","id":"Q5058143$4619931F-D637-4ACC-A088-40E017C8029F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0468e671ed4afe065979804c7e3fe7dd490fcb8f","datavalue":{"value":"Boolean variable","type":"string"},"datatype":"string"},"type":"statement","id":"Q5058143$64F9CB0E-2D1C-4B1D-8B2E-4BEDE45CDB90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0062bff246f10874c360cb4d691bf5c2195f236c","datavalue":{"value":"Boolean function","type":"string"},"datatype":"string"},"type":"statement","id":"Q5058143$C9EC041B-BF85-4903-AE17-FC5057CAF1EE","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":"Q5058143$3CA9BE5A-5939-4EED-807B-8802B8E5F4C3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"623a7f7a11c2ee900e2907061fe91baffd42a351","datavalue":{"value":"W4388470583","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5058143$D2BC0520-4DCB-49B2-A639-0039A4B8C2E4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"792ab49d1ee1ed7cdcb54d076fed1cf12c300149","datavalue":{"value":"10.14529/MMPH220403","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5058143$A9224EA4-7581-41E2-8B3E-561DF379BDEB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b03f274a7ff7e11d5c6564cf8aee01272f0adc7","datavalue":{"value":{"entity-type":"item","numeric-id":2556312,"id":"Q2556312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"acb7d111ae0a4be175f9f1f47092ccb062c36d18","datavalue":{"value":{"amount":"+0.7618865966796875","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":"Q5058143$DCC40883-4D50-403C-9726-5823E95F2830","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dcc6b2631944024ee2c63e2ab748f320903da748","datavalue":{"value":{"entity-type":"item","numeric-id":355321,"id":"Q355321"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a54579a1e188f6f1de24e20ae27ed3b252e2fd28","datavalue":{"value":{"amount":"+0.7594001889228821","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":"Q5058143$B499A3EF-EEE7-4206-A421-B0908D101B9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1d91504733b92e31d59c844c89eb8d6654dbac18","datavalue":{"value":{"entity-type":"item","numeric-id":5588695,"id":"Q5588695"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"70f6d36bd4aabd552eb72125f710ba911c3338d6","datavalue":{"value":{"amount":"+0.7475141882896423","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":"Q5058143$636CF544-730D-4652-AF29-B8815F3DA9C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e02d392373419bbbd849b43e455e8a45e7356fc0","datavalue":{"value":{"entity-type":"item","numeric-id":3818370,"id":"Q3818370"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"13a898d238bcf4b9e43f98d95c07f3b6a8f14e47","datavalue":{"value":{"amount":"+0.7459598779678345","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":"Q5058143$65C5BEDC-5127-4AF5-8B45-F325D1A54D46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6bd31595ca5f507c57d6f184d929ce969509956b","datavalue":{"value":{"entity-type":"item","numeric-id":5263773,"id":"Q5263773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4e4afa9c16bf8eabfaf7151257198e708415642c","datavalue":{"value":{"amount":"+0.7413566708564758","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":"Q5058143$E09D512F-23E6-4195-9305-118C8B256C6E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"MINIMIZATION OF REPRESENTATIONS OF THE LOGICAL FUNCTION IN SCHAEFFER AND PIERCE BASES","badges":[]}}}}}