What is the Knowledge Base software that's being used?

The knowledge base is very organized, so I was wondering more about the internals. Some initial questions include how do kb numbers get generated? Also, is the software behind the kb open source?