{"entities":{"Q2938491":{"pageid":2949211,"ns":120,"title":"Item:Q2938491","lastrevid":85100153,"modified":"2026-06-03T05:52:54Z","type":"item","id":"Q2938491","labels":{"en":{"language":"en","value":"Enumerating prime implicants of propositional formulae in conjunctive normal form"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6386572"}},"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":"Q2938491$D3D8998A-DCF4-4BA5-9A1F-A3B7EF80B76B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"324513cbc0dcf88730b6d62668b12282259c9396","datavalue":{"value":{"text":"Enumerating Prime Implicants of Propositional Formulae in Conjunctive Normal Form","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2938491$20D24286-48DE-46C4-B693-E929167FCB6C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d26b594186480d60d8633dd168bd11bd0a5bf128","datavalue":{"value":"1432.68327","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2938491$07F6D6B5-155A-4B64-9250-A636E9CC6856","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"73bf4ea4e681a38b48bee972802da7bcb0147e76","datavalue":{"value":"10.1007/978-3-319-11558-0_11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2938491$48CFF1FE-9134-4F1C-83CF-1730F66E03BF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"52131f929e9d2e69942ba82e4ebb686db4e996da","datavalue":{"value":{"entity-type":"item","numeric-id":427558,"id":"Q427558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2938491$46C6F4D2-73CA-44E9-B946-7713B3589051","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"24a1d5a8e56d6b30e8a20d7354b7c9976e279101","datavalue":{"value":{"entity-type":"item","numeric-id":427559,"id":"Q427559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2938491$F5162470-1BB8-46EB-A352-30B469C95FAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0618ef01335eda4cb324f37481152385c7ce02d6","datavalue":{"value":{"entity-type":"item","numeric-id":262132,"id":"Q262132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2938491$3AB61623-6BAD-4A5B-AF77-E8064E9A62F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"41df06f4fe4133fafd7ede4eda94dd022be9bb8e","datavalue":{"value":{"entity-type":"item","numeric-id":1430295,"id":"Q1430295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2938491$C3D291FF-FB43-4B93-8511-94CED944722B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f243a6673bd9cf7abffff5d921f26c940b2015b3","datavalue":{"value":{"entity-type":"item","numeric-id":2835857,"id":"Q2835857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2938491$E05170A7-8420-4EF1-9AD4-BDC79838C024","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"263261338df616964a138c38a6f0c5b7f36f1f12","datavalue":{"value":{"time":"+2015-01-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":"Q2938491$B94AAD1E-6C41-4248-9CE6-0363B57EDAF8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4a5372688a0d668805df5d9ffd1da58833a0f595","datavalue":{"value":"68R05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2938491$E9EBA755-7168-4E73-A2AE-80C583E111AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"419d6f2b09c39920e34f63114ff159a2f0a01812","datavalue":{"value":"03B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2938491$81952034-F6B3-442E-881E-CB23EEEBB12A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a252ac0e16e7cd1b816dd4d8c55ab05955b53869","datavalue":{"value":"94C11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2938491$A4A97119-65F3-4421-A164-99D505ADE5F9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"83f6993ebaf1da5ff3c39819533166429d30cd63","datavalue":{"value":"6386572","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2938491$2E4EBFE4-A0EE-4964-8BF3-D62F2504C2D6","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":"Q2938491$EE1EB00A-FD87-4B34-9B0F-B948802A412B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"87769dde096c11210057b7bc6162b2093f75dc4c","datavalue":{"value":"https://doi.org/10.1007/978-3-319-11558-0_11","type":"string"},"datatype":"url"},"type":"statement","id":"Q2938491$57DC4CD3-FA46-4DA8-8936-2B7A9C10159A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"099ff7f8a63b62f8dfdb494dbe4d1b26f3b81f90","datavalue":{"value":"W149544036","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2938491$61BBA965-34A0-4805-BE0F-91499BF07E74","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f548432e2b644b26d13509fa8dcfeb1cf365e078","datavalue":{"value":{"entity-type":"item","numeric-id":3612453,"id":"Q3612453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2938491$5463640C-7837-4384-A06E-9443FD2DDD51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"74710e9d2e1ae04d62da8162f48ee143c6479921","datavalue":{"value":{"entity-type":"item","numeric-id":4411139,"id":"Q4411139"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2938491$8874AFD7-3AD3-453D-94E9-F49F8F60EC15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fc23fa9db53cabf6cb7341125e31b421198676b4","datavalue":{"value":{"entity-type":"item","numeric-id":1199913,"id":"Q1199913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2938491$353989B9-6F0C-4C8F-A015-BD29443BDC24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22485e2e7f5d751287059d6c89f8749b6a408a20","datavalue":{"value":{"entity-type":"item","numeric-id":5325885,"id":"Q5325885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2938491$9B4EE5A0-A44A-4017-8491-145A7733E602","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0710fd05b19d3044e65785a5dd9b8ae429cd1928","datavalue":{"value":{"entity-type":"item","numeric-id":3830546,"id":"Q3830546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2938491$B37EB1E5-FED7-4A87-BAAF-CC17F56E1D4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a4d41132ba3f484fa35ae298d7e3e344dc8b3c5","datavalue":{"value":{"entity-type":"item","numeric-id":5714743,"id":"Q5714743"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2938491$8EF60211-745A-4D10-8C92-235E632D262C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6462cc0c0bef572dd85a6892c91fc9e0891a9e4b","datavalue":{"value":{"entity-type":"item","numeric-id":1961461,"id":"Q1961461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2938491$348B3CF6-A480-4A9D-B122-ECA2A55B35BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f537da6b8a593b2b18ab381f8c399af916098b7e","datavalue":{"value":{"entity-type":"item","numeric-id":3604009,"id":"Q3604009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2938491$F1B966F5-F978-4664-9954-7CC7876531E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c625dcf0809403f5b84f6d7cdfc8c33766e0658","datavalue":{"value":{"entity-type":"item","numeric-id":2471741,"id":"Q2471741"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2938491$86B63EAD-CA4C-4BA1-8BFB-66F3D53407A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"34d4a490cb0dfd927a764234341c543a41c52b56","datavalue":{"value":{"entity-type":"item","numeric-id":1606302,"id":"Q1606302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2938491$F31454A4-9B5B-458A-83A7-84A297C67FA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d91275bf9130acb7463119521f9d749a9a820d09","datavalue":{"value":{"entity-type":"item","numeric-id":5599129,"id":"Q5599129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2938491$0E7EE749-E377-4FA0-AB6A-B951A2BE0C83","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":"Q2938491$86BF544A-EEE9-4F38-BD09-EE544E59F52D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"363df53d3addb1810ec9823448e01fcd5b6e0581","datavalue":{"value":{"entity-type":"item","numeric-id":5308387,"id":"Q5308387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2938491$73E989BE-484C-4C5B-97FB-DF6C8159588E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"15548ceb1d3cbce731c178ea8af600c14ac3b486","datavalue":{"value":{"entity-type":"item","numeric-id":2938527,"id":"Q2938527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2938491$8AF8D4FA-540F-40EE-9FCF-2D1A9BF57D5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d2c596f441194f665042523a84d61390b03b68f","datavalue":{"value":{"entity-type":"item","numeric-id":5540882,"id":"Q5540882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2938491$354498FA-BA2B-4D1B-8037-25B1A07AEF9F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7765be794efebb7c75576cd0c160347e09d88f28","datavalue":{"value":{"entity-type":"item","numeric-id":1606302,"id":"Q1606302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aea3c5c147109f11e4ab84a0ed52ddc011d382fe","datavalue":{"value":{"amount":"+0.8828921318054199","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":"Q2938491$D6CB0620-F896-48AD-80E5-57756C1457CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4ef8de85a063b189e894d4f314de10fb7741189a","datavalue":{"value":{"entity-type":"item","numeric-id":1367074,"id":"Q1367074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0eaed1f8a2cde50e2b6b5f75cced5090a95885d6","datavalue":{"value":{"amount":"+0.8399695754051208","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":"Q2938491$AEF3EFEC-CAA0-4565-8546-4BBF208D81AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"00627a547c1cdf646339f39d33fb7e3913e9dbff","datavalue":{"value":{"entity-type":"item","numeric-id":1283201,"id":"Q1283201"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"333d29ed8010be6513fe01d72084b6c6a4e3a572","datavalue":{"value":{"amount":"+0.8190032839775085","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":"Q2938491$43529BB6-2D58-442D-BCA3-F2AA71E6E60B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d88e62012da57e08bc2a27a6ed10d659a688f14a","datavalue":{"value":{"entity-type":"item","numeric-id":4282528,"id":"Q4282528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ae1c7023718bdcd90d5e3f9f3752766e3aad9587","datavalue":{"value":{"amount":"+0.8105429410934448","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":"Q2938491$6CC0B90D-2507-466E-B750-117608A882E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"373105376c37507e10d4835337ef68ba9fac72a5","datavalue":{"value":{"entity-type":"item","numeric-id":4464262,"id":"Q4464262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"59532cc1dec4e9c7d84902d1ed3d0babd97b89ff","datavalue":{"value":{"amount":"+0.8105428814888","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":"Q2938491$BDC919D9-3FA3-4A48-8A6A-9E037C92DDD2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Enumerating prime implicants of propositional formulae in conjunctive normal form","badges":[]}}}}}