{"entities":{"Q634260":{"pageid":636108,"ns":120,"title":"Item:Q634260","lastrevid":63137736,"modified":"2026-04-11T10:49:53Z","type":"item","id":"Q634260","labels":{"en":{"language":"en","value":"Fast computation of the prime implicants by exact direct-cover algorithm based on the new partial ordering operation rule"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5935116"}},"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":"Q634260$6855E62D-F18C-4F49-AD03-0FFE332834A2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c80dd36b9ad1bd1bb1e9de8869fa169d6abc9a84","datavalue":{"value":{"text":"Fast computation of the prime implicants by exact direct-cover algorithm based on the new partial ordering operation rule","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q634260$BA5C1154-1BD0-4326-8BBE-62E533144AAE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cfe5993b81c7f339ab50baf03d86f8cf6de4f600","datavalue":{"value":"1221.65141","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q634260$052E8548-6925-4192-944C-0BF5E0EA42A4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"32512002a9029d880f80dbe076a012fa8e8dbba1","datavalue":{"value":{"entity-type":"item","numeric-id":634258,"id":"Q634258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q634260$D6BB32ED-FCEB-4FFD-A4BB-434EB15B6383","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b547b97ea35fed6514b169b63d59c8d35932665a","datavalue":{"value":{"entity-type":"item","numeric-id":634259,"id":"Q634259"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q634260$04074DCA-5B6B-4A37-A09C-A3DFF7FFCF41","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"5a64fc42d1acf03a4e5b747fd62fb05c72aa8639","datavalue":{"value":{"entity-type":"item","numeric-id":85683,"id":"Q85683"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q634260$ED853E67-6A31-41D3-B9C4-E70232139E3E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"eae8f23e25c6cbe921893b1ecf672f5812151386","datavalue":{"value":{"time":"+2011-08-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q634260$747D9B88-AFA7-4314-B81D-4CA4A801C0AB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0b4fa5b59eb6fe6e43618f9e005f4a49f4390971","datavalue":{"value":"65K05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q634260$37ABDA01-2A3F-4A84-A63D-5036498A7B14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6958ea3363ca9244e0da0201efd237a8410f9a0c","datavalue":{"value":"90C09","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q634260$B7BE0AD1-9AEB-4450-A4D8-9392766F2351","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"af1f459ac3613683373d3afa58dc854f241c770b","datavalue":{"value":"5935116","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q634260$068FD3F2-11E0-4A25-8747-A69C7DA97DE8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe244352823e7814da3d9846c617f41051685646","datavalue":{"value":"two-level logic minimization","type":"string"},"datatype":"string"},"type":"statement","id":"Q634260$71B4983D-733F-4246-A7FF-DB361B7F3865","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4c618cd0c43e685c8bcc22476fffde632e0b60bd","datavalue":{"value":"logic operations","type":"string"},"datatype":"string"},"type":"statement","id":"Q634260$ABFEDC8C-289F-4392-B4C6-D07E56B1D65C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e4aad28a88b86eb208c64956971dd136f76cd1c2","datavalue":{"value":"direct-cover","type":"string"},"datatype":"string"},"type":"statement","id":"Q634260$FF08AD1C-581A-4D82-8A27-E79FE0E8A83B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"25780322d59d9f610eddd9b2647a87a836dbb8b9","datavalue":{"value":"partial ordering operation","type":"string"},"datatype":"string"},"type":"statement","id":"Q634260$D8E3575F-9C79-48D1-A8B9-54919AC40F0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91bc8c5bbba976a2d4a04cff9c97ee9567968b27","datavalue":{"value":"prime implicants","type":"string"},"datatype":"string"},"type":"statement","id":"Q634260$B92003CE-9502-4BFC-BAA4-FA093B56A1D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0490160f88c995667d10b833b20e660407400a30","datavalue":{"value":"exact minimization algorithm (\\texttt{EMA})","type":"string"},"datatype":"string"},"type":"statement","id":"Q634260$E9601AEF-0301-46F8-A74B-F72D9C6E3B8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1d74cb5419439f42eb1ba8891c8722bd3702922d","datavalue":{"value":"numerical examples","type":"string"},"datatype":"string"},"type":"statement","id":"Q634260$096D2949-DB80-4586-949E-16F2B1F82FFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cb5a830579b475e59eaac799be7398a9142f423b","datavalue":{"value":"Boolean functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q634260$2134EE1F-3FA1-405F-8627-4B80C0B9D77E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cce9af93451e456c054b64774979a2e4648ed7db","datavalue":{"value":"\\texttt{ESPRESSO} algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q634260$2B0109B7-6DE5-4767-BE0C-99E6E30BF58E","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":"Q634260$753C0DEF-FB38-4954-9361-2978A46A602E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e9b0389d6a2dc73e6f6cb5eac9cb466abde38dcb","datavalue":{"value":"https://doi.org/10.1016/j.advengsoft.2011.02.009","type":"string"},"datatype":"url"},"type":"statement","id":"Q634260$343F85F1-6FB9-40F1-8CE8-F46A46FEAEE8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"79cb62fc583e94a92a9a2106aa74027d0583ca83","datavalue":{"value":"W2091772820","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q634260$22EAF280-FED5-4AB6-81C9-707EFC72584B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ec7d68a4c49f8836232c80720d1e73c1970ddd7","datavalue":{"value":{"entity-type":"item","numeric-id":4571342,"id":"Q4571342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q634260$A7EB0B30-E86B-4ACA-BBFF-7FD0220A5AE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b04192c2b745e8c38356eba6015c104790fec496","datavalue":{"value":{"entity-type":"item","numeric-id":4823343,"id":"Q4823343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q634260$5739F4FA-0B81-4823-AA1F-5AB1F3FB53AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2b70805b996ac71796cbf64a76b6ecca1430283","datavalue":{"value":{"entity-type":"item","numeric-id":3680754,"id":"Q3680754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q634260$8849EDB9-4FE6-424A-A5C6-28A0772850A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a322072d61e727264c22e3579c7d0b7212edd6f","datavalue":{"value":{"entity-type":"item","numeric-id":5814795,"id":"Q5814795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q634260$BF8D7EF9-3330-4052-9089-048BB3D11082","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8e4ea60b71a805c0ce25e90efd2d64ada4f0d4d8","datavalue":{"value":"10.1016/J.ADVENGSOFT.2011.02.009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q634260$6E2C6FBF-99D8-4701-8222-8C8673B4F193","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e19a83a4f4d2a7c99e6662874628c11748aa12c3","datavalue":{"value":{"entity-type":"item","numeric-id":4362281,"id":"Q4362281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"560e9afb3b1ed6069895eeb5b79aa217b283ed9a","datavalue":{"value":{"amount":"+0.8113090395927429","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":"Q634260$0EB05493-628C-447A-9EC8-A4EB240F6DCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4dd6b4f132bfdcb3430873dc4dda0fc3e0d75bb4","datavalue":{"value":{"entity-type":"item","numeric-id":4870090,"id":"Q4870090"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a88cfc1a0db04315efb417559915689a33d1c975","datavalue":{"value":{"amount":"+0.7815728187561035","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":"Q634260$E48D010F-48E7-4AD9-B591-5E9FA4650164","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5507dafe213ca7eda3c55d822649530376a2ba46","datavalue":{"value":{"entity-type":"item","numeric-id":4007343,"id":"Q4007343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"60e3451477aa905617064cc41d971d827706119a","datavalue":{"value":{"amount":"+0.7777112126350403","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":"Q634260$7F6491CA-3383-4BA1-9A8F-30B1A8CEC766","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a8b109f82dec21501e285b321442ae4f90df42df","datavalue":{"value":{"entity-type":"item","numeric-id":5187205,"id":"Q5187205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9b208b571436e18ddff0ba0379e6d92e54d22565","datavalue":{"value":{"amount":"+0.7716035842895508","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":"Q634260$766B36AE-6EF8-4DF6-8CFD-0B6D1690B590","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0ad8bff263c5a738cee2a34d73db0c65e41e7418","datavalue":{"value":{"entity-type":"item","numeric-id":1190532,"id":"Q1190532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e0a5619b998fcbd0ab6a7faf264749f4711a37ff","datavalue":{"value":{"amount":"+0.7464805841445923","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":"Q634260$663C12E6-A86A-4F5A-90C1-7403F4A2D47F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Fast computation of the prime implicants by exact direct-cover algorithm based on the new partial ordering operation rule","badges":[]}}}}}