{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,11]],"date-time":"2026-01-11T11:41:49Z","timestamp":1768131709526,"version":"3.49.0"},"reference-count":9,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2007,4,18]],"date-time":"2007-04-18T00:00:00Z","timestamp":1176854400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Soft Comput"],"published-print":{"date-parts":[[2007,10,29]]},"DOI":"10.1007\/s00500-007-0175-x","type":"journal-article","created":{"date-parts":[[2007,4,18]],"date-time":"2007-04-18T16:48:08Z","timestamp":1176914888000},"page":"393-402","source":"Crossref","is-referenced-by-count":7,"title":["Quine\u2013McCluskey method for many-valued logical functions"],"prefix":"10.1007","volume":"12","author":[{"given":"Milan","family":"Petr\u00edk","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2007,4,18]]},"reference":[{"issue":"4","key":"175_CR1","doi-asserted-by":"crossref","first-page":"228","DOI":"10.1007\/s00500-002-0209-3","volume":"7","author":"M Da\u0148kov\u00e1","year":"2003","unstructured":"Da\u0148kov\u00e1 M, Perfilieva I (2003) Logical approximation II. soft Comput 7(4):228\u2013233","journal-title":"soft Comput"},{"key":"175_CR2","doi-asserted-by":"crossref","unstructured":"Dubrova E (2002) Multiple-valued logic synthesis and optimization. In: Logic synthesis and verification, Kluwer, Dordrecht, pp 89\u2013114","DOI":"10.1007\/978-1-4615-0817-5_4"},{"key":"175_CR3","volume-title":"Introduction to Boolean algebra and logic design","author":"GE Hoernes","year":"1964","unstructured":"Hoernes GE, Heilweil MF (1964) Introduction to Boolean algebra and logic design. McGraw Hill, New York, San Francisco, Toronto, London"},{"key":"175_CR4","unstructured":"Kandel A, Lee SC (1979) Fuzzy functions and decomposition. In: Fuzzy switching and automata: theory and applications. Edward Arnold, London, pp 93\u2013170"},{"key":"175_CR5","volume-title":"Logical systems: exercises","author":"H Kub\u00e1tov\u00e1","year":"1999","unstructured":"Kub\u00e1tov\u00e1 H, Bla\u017eek Z (1999) Logical systems: exercises. CTU, Prague"},{"issue":"12\/s","key":"175_CR6","first-page":"100","volume":"53","author":"M Petr\u00edk","year":"2002","unstructured":"Petr\u00edk M (2002) Svoboda maps in many-valued logic. J Electr Eng 53(12\/s):100\u2013104","journal-title":"J Electr Eng"},{"issue":"12\/s","key":"175_CR7","first-page":"93","volume":"54","author":"M Petr\u00edk","year":"2003","unstructured":"Petr\u00edk M (2003) Finding normal forms using Svoboda maps. J Electr Eng 54(12\/s):93\u201398","journal-title":"J Electr Eng"},{"key":"175_CR8","doi-asserted-by":"crossref","first-page":"163","DOI":"10.2307\/2370324","volume":"43","author":"EL Post","year":"1921","unstructured":"Post EL (1921) Introduction to a general theory of elementary propositions. J Math 43:163\u2013185","journal-title":"J Math"},{"key":"175_CR9","volume-title":"Lecture notes on approximation algorithms","author":"DP Williamson","year":"1998","unstructured":"Williamson DP (1998) Lecture notes on approximation algorithms. IBM Research Division, New York"}],"container-title":["Soft Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00500-007-0175-x.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00500-007-0175-x\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00500-007-0175-x","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,29]],"date-time":"2019-05-29T01:39:51Z","timestamp":1559093991000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00500-007-0175-x"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007,4,18]]},"references-count":9,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2007,10,29]]}},"alternative-id":["175"],"URL":"https:\/\/doi.org\/10.1007\/s00500-007-0175-x","relation":{},"ISSN":["1432-7643","1433-7479"],"issn-type":[{"value":"1432-7643","type":"print"},{"value":"1433-7479","type":"electronic"}],"subject":[],"published":{"date-parts":[[2007,4,18]]}}}